EigenDAのHokulea図書館は、形式的な検証およびZKセキュリティの専門家である@VeridiseIncによって監査されています。 HokuleaはOPスタックロールアップのための信頼レスEigenDA導出を可能にし、主要なzkVM不正防止フレームワーク🧵の統合をサポートします

評価ではHokulea(EigenDAをKonaに統合するもの)とCanoe(zkVMアプリケーション)が含まれていました。 HokuleaをAltDAセキュア統合フレームワークと照らし合わせて検証し、実装が信頼レス導出の完全かつ正しい要件を満たしていることを保証しました。 発見されたすべての問題は対処されています。

ロールアップは今日、ホクレアを@succinctlabsのOP-Succinct & @boundless_xyz OP-Kailuaと統合できます

このプロセスを通じて、ZKに関する深い専門知識と厳格さを尽くしてくださった@VeridiseIncチームに感謝します。 完全な監査報告書: