La bibliothèque Hokulea d'EigenDA a été auditée par @VeridiseInc, spécialistes de la vérification formelle et de la sécurité ZK. Hokulea permet une dérivation EigenDA sans confiance pour les rollups OP Stack, soutenant les intégrations pour les principaux cadres de preuve de fraude zkVM 🧵

L'évaluation a porté sur Hokulea (qui intègre EigenDA dans Kona) et Canoe (l'application zkVM). Elle a vérifié Hokulea par rapport au Cadre d'Intégration Sécurisée AltDA, garantissant que l'implémentation satisfait aux exigences totales et correctes pour une dérivation sans confiance. Tous les problèmes découverts ont été résolus.

Les rollups peuvent intégrer Hokulea aujourd'hui avec OP-Succinct de @succinctlabs et OP-Kailua de @boundless_xyz

Merci à l'équipe de @VeridiseInc pour leur expertise approfondie en ZK et leur rigueur tout au long de ce processus. Rapport d'audit complet :