ZK = Weryfikowalne Obliczenia FHE = Poufne Obliczenia ZK + FHE = Weryfikowalne Poufne Obliczenia