Hybride FHE+ZK-systemen hebben een subtiele foutmodus: het bewijzen van één waarde terwijl een andere wordt versleuteld. GRECO is de laag die die afwijking voorkomt. Volledige walkthrough in onze nieuwe Enclave Cryptography-post, gebaseerd op de oorspronkelijke GRECO-constructie van @backaes.