Enclave flytter beregningen fra å være motstridende til å samarbeide.
Mens de fleste systemer antar at personvern er noe enkeltpersoner forsvarer, behandler Enclave personvern som en gruppeeiendom:
- flere krypterte innganger
- ett verifiserbart resultat
- null eksponering
Hybride FHE+ZK-systemer har en subtil feilmodus: å bevise én verdi samtidig som man krypterer en annen.
GRECO er laget som forhindrer denne driften.
Full gjennomgang i vårt nye innlegg om Enclave Cryptography, basert på @backaes sin opprinnelige GRECO-konstruksjon.
Nytt innlegg: det første innlegget i vår Enclave Cryptography-serie.
Den undersøker et kjerneproblem i hybride FHE–ZK-systemer:
hvordan bevise at en chiffertekst faktisk krypterer verdien som refereres til i et ZK-vitne.