ZK = 可驗證計算 FHE = 保密計算 ZK + FHE = 可驗證的保密計算