ハイブリッドFHE+ZKシステムには微妙な失敗モードがあり、ある値を証明しながら別の値を暗号化します。 GRECOはそのドリフトを防ぐ層です。 新しいEnclave暗号学の投稿で、@backaesのオリジナルGRECO構築を基にした詳細な解説があります。