新しい投稿:エンクレイブ暗号シリーズの最初のエントリーです。 本書は、ハイブリッドFHE–ZKシステムにおける核心的な課題を検証しています。 暗号文がZK証人で参照される値を実際に暗号化していることを証明する方法。