ZK = Проверяемые вычисления FHE = Конфиденциальные вычисления ZK + FHE = Проверяемые конфиденциальные вычисления