Les systèmes hybrides FHE+ZK ont un mode de défaillance subtil : prouver une valeur tout en en cryptant une autre. GRECO est la couche qui empêche cette dérive. Une présentation complète dans notre nouvel article sur la cryptographie Enclave, s'inspirant de la construction originale GRECO de @backaes.