De Hokulea-bibliotheek van EigenDA is gecontroleerd door @VeridiseInc, specialisten in formele verificatie en ZK-beveiliging. Hokulea maakt vertrouwenloze EigenDA-afgeleiden mogelijk voor OP Stack rollups, en ondersteunt integraties voor toonaangevende zkVM-fraudeproof-frameworks 🧵

De beoordeling omvatte Hokulea (dat EigenDA in Kona integreert) en Canoe (de zkVM-toepassing). Het verifieerde Hokulea tegen het AltDA Secure Integration Framework, waarbij werd gegarandeerd dat de implementatie voldoet aan de totale en correcte vereisten voor trustless afleiding. Alle ontdekte problemen zijn aangepakt.

Rollups kunnen vandaag Hokulea integreren met @succinctlabs's OP-Succinct & @boundless_xyz OP-Kailua

Bedankt aan het @VeridiseInc team voor hun diepe ZK-expertise en nauwkeurigheid gedurende dit proces. Volledige auditrapport: