EigenDA 的 Hokulea 函式庫已由 @VeridiseInc 審核，該公司專注於形式驗證和 ZK 安全性。 Hokulea 使得對 OP Stack rollups 的無信任 EigenDA 派生成為可能，並支持與領先的 zkVM 欺詐證明框架的整合 🧵

此次評估涵蓋了 Hokulea（將 EigenDA 整合到 Kona 中）和 Canoe（zkVM 應用程序）。 它根據 AltDA 安全整合框架驗證了 Hokulea，確保實施滿足無信任推導的所有正確要求。 所有發現的問題均已得到解決。

Rollups 今天可以與 @succinctlabs 的 OP-Succinct 和 @boundless_xyz 的 OP-Kailua 整合 Hokulea

感謝 @VeridiseInc 團隊在整個過程中展現出的深厚 ZK 專業知識和嚴謹性。 完整的審計報告：