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.