セロがValidiumsとOptimiumsタブに戻ってきました!🔄 Jello ハードフォークでは、@Celo @eigen_da V2 ブリッジDACert検証器とともに、ZK証明付きのOP @SuccinctLabs LiteをCeloメインネットに導入する新たなネットワークアップグレードを導入しました。 実際に何が変わった⬇️のかを分解して見てみましょう

州の検証🔴→ 🟢 Celoは現在、不正証明とZK証明の両方をサポートし、チェーンを監視するアクターが状態が誤っていることを証明できるようになっています。

詐欺証明(1R、ZK) 🔸 単一ラウンド(1R)詐欺証明は、紛争を解決するために単一の取引で済みます 🔸 ZK証明は状態遷移の正しさを証明するために用いられます これにより、検証可能な状態および状態遷移の正確性が可能になります。

データの利用可能性🔴→ 🟡 証明構築や状態導出は現在、EigenDAに掲載されたデータに完全に依存しています。

外部DA 🔸 シーケンサーはトランザクションデータをEigenDA v2に公開します。 🔸 トランザクションデータのルートは、EigenDAオペレーターによって署名されたDACert Verifierのデータルートと照合されます。