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