EigenDAs Hokulea-bibliotek har blitt revidert av @VeridiseInc, spesialister på formell verifisering og ZK-sikkerhet. Hokulea muliggjør tillitsløs EigenDA-utledning for OP Stack-sammenrullinger, og støtter integrasjoner for ledende zkVM-svindelsikre rammeverk 🧵

Vurderingen omfattet Hokulea (som integrerer EigenDA i Kona) og Canoe (zkVM-applikasjonen). Den verifiserte Hokulea mot AltDA Secure Integration Framework, og sikret at implementeringen oppfyller de totale og korrekte kravene for tillitsløs utledning. Alle avdekkede problemer er tatt tak i.

Rollups kan integrere Hokulea i dag med @succinctlabs sin OP-Succinct & @boundless_xyz OP-Kailua

Takk til @VeridiseInc-teamet for deres dype ZK-ekspertise og grundighet gjennom hele prosessen. Full revisjonsrapport: