ZK = Computação verificável FHE = Computação Confidencial ZK + FHE = Computação Confidencial Verificável