ZK = Verifiable Compute FHE = Confidential Compute ZK + FHE = Verifiable Confidential Compute