Hybridi-FHE+ZK-järjestelmissä on hienovarainen vikatila: yksi arvo todistetaan ja toinen salataan. GRECO on kerros, joka estää tämän driftin. Täydellinen läpipeluu uudessa Enclave Cryptography -postauksessamme, joka pohjautuu @backaes:n alkuperäiseen GRECO-rakennelmaan.