CitreaのZK回路はビットコイン向けに特別に設計されており、以下の機能を実現します。 - マイナー経済に貢献するビットコインアプリ - ネットワークで検証されるビットコインブリッジ 🧵

シトレアの回路は二つのことを同時に証明しています。 ・実行証明(Citrea取引の正当性を証明) ・ビットコインブロックスペース証明(検証ブリッジであるClementineのためにCitreaの簡潔な証明を生成すること)。

実行証明: 各Citreaブロックのバッチごとに、回路はすべての送信実行および状態遷移を検証します。 出力は以下の通りです: ・初期および最終状態の語根 ・州の差 • Citreaが知る最後のビットコインブロックハッシュ その証拠はビットコインに提出されます。

ブロックスペース証明: 回線はビットコインブロックをスキャンし、過去のすべてのCitrea実行証明とシーケンサーコミットメントを検証します。 その機能は次のとおりです: • シトレアの全歴史を単一の証明として提供すること

その結果: 完全にビットコインに連動したアプリケーション層です。