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

La evaluación cubrió Hokulea (que integra EigenDA en Kona) y Canoe (la aplicación zkVM). Se verificó Hokulea contra el Marco de Integración Segura de AltDA, asegurando que la implementación satisface 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 de @succinctlabs y OP-Kailua de @boundless_xyz

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