ZK = 検証可能なコンピューティング FHE = コンフィデンシャル コンピューティング ZK + FHE = 検証可能な機密コンピューティング