混合 FHE+ZK 系統有一種微妙的失效模式：在加密一個值的同時證明另一個值。 GRECO 是防止這種偏移的層。 在我們的新 Enclave Cryptography 文章中提供完整的步驟，該文章參考了 @backaes 的原始 GRECO 構造。