ZK = Komputasi yang Dapat Diverifikasi FHE = Komputasi Rahasia ZK + FHE = Komputasi Rahasia yang Dapat Diverifikasi