ZK = Computación verificable FHE = Computación confidencial ZK + FHE = Computación confidencial verificable