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专业知识和严谨态度。 完整审计报告：