La libreria Hokulea di EigenDA è stata auditata da @VeridiseInc, specialisti nella verifica formale e nella sicurezza ZK. Hokulea consente la derivazione di EigenDA senza fiducia per i rollup OP Stack, supportando integrazioni per i principali framework di prova di frode zkVM 🧵

La valutazione ha coperto Hokulea (che integra EigenDA in Kona) e Canoe (l'applicazione zkVM). Ha verificato Hokulea rispetto al Framework di Integrazione Sicura AltDA, assicurando che l'implementazione soddisfi i requisiti totali e corretti per la derivazione senza fiducia. Tutti i problemi emersi sono stati affrontati.

I rollup possono integrare Hokulea oggi con OP-Succinct di @succinctlabs e OP-Kailua di @boundless_xyz

Grazie al team di @VeridiseInc per la loro profonda esperienza in ZK e la rigorosità durante tutto questo processo. Rapporto di audit completo: