Die Hokulea-Bibliothek von EigenDA wurde von @VeridiseInc, Spezialisten für formale Verifikation und ZK-Sicherheit, geprüft. Hokulea ermöglicht eine vertrauenslose EigenDA-Derivation für OP Stack-Rollups und unterstützt Integrationen für führende zkVM-Betrugsnachweis-Frameworks 🧵

Die Bewertung umfasste Hokulea (das EigenDA in Kona integriert) und Canoe (die zkVM-Anwendung). Es wurde überprüft, ob Hokulea den AltDA Secure Integration Framework erfüllt, um sicherzustellen, dass die Implementierung die vollständigen und korrekten Anforderungen für vertrauenslose Ableitungen erfüllt. Alle aufgedeckten Probleme wurden behoben.

Rollups können heute Hokulea mit @succinctlabs' OP-Succinct und @boundless_xyz OP-Kailua integrieren

Danke an das Team von @VeridiseInc für ihr tiefes ZK-Wissen und ihre Sorgfalt während dieses Prozesses. Vollständiger Prüfbericht: