Citrea はビットコインの最初のロールアップを構築しています。 当社独自のコードベースは監査を受けています。 Citrea のロールアップ インフラストラクチャのプライベート監査は、Sigma Prime (@sigp_io) によって完了しました。 重大な脆弱性は見つかりませんでした。 レポート🧵全文はこちら

シグマプライムは、Citreaの非公開監査を実施しました。 • ビットコイン DA: Citrea のコミットメントと証明を構築および追跡するビットコイン用の特別な DA アダプター Citrea STF:すべてのノードと証明者がビットごとに再現する必要があるコンセンサス クリティカルな状態遷移ロジック。

シグマプライムは、Citreaの非公開監査を実施しました。 • EVM: STF と回路で使用される Citrea の実行エンジン。 • Light Client Prover Circuit:ヘッダー、コミットメント、バッチ証明を 1 つのライトクライアント証明に圧縮する再帰的 SNARK を生成します。

Sigma Prime のセキュリティ評価では、合計 24 の問題が特定されました。 - 5 高い - 6 ミディアム - 4 低い - 9 情報 すべての問題は、Citreaチームによって正常に対処されました。

監査レポートの全文はこちらからご覧ください。

Citrea のロールアップ インフラストラクチャは現在、@cantinaxyz との公開監査競争を受けています。 $80,000+の報酬が8月15日まで開催されます。