La biblioteca Hokulea de EigenDA ha sido auditada por @VeridiseInc, especialistas en verificación formal y seguridad ZK. Hokulea permite la derivación EigenDA sin confianza para los rollups de OP Stack, soportando integraciones para los principales marcos zkVM a prueba de fraude 🧵

La evaluación abarcó Hokulea (que integra EigenDA en Kona) y Canoe (la aplicación zkVM). Verificó Hokulea frente al Marco de Integración Segura AltDA, asegurando que la implementación cumple con los requisitos totales y correctos para la derivación sin confianza. Todos los problemas descubiertos han sido abordados.

Los rollups pueden integrar Hokulea hoy con OP-Succinct y @boundless_xyz OP-Kailua de @succinctlabs

Gracias al equipo de @VeridiseInc por su profunda experiencia y rigor en ZK durante todo este proceso. Informe completo de auditoría: