ZK = Cómputo Verificable FHE = Cómputo Confidencial ZK + FHE = Cómputo Confidencial Verificable