EigenDA:n Hokulea-kirjastoa on auditoinut @VeridiseInc, joka on erikoistunut viralliseen varmennukseen ja ZK-turvallisuuteen. Hokulea mahdollistaa luottamuksettoman EigenDA-johdannaisuuden OP Stack -rollupeille, tukien integraatioita johtaville zkVM-petosten suojakehyksille 🧵
Arviointi kattoi Hokulean (joka integroi EigenDA:n Konaan) ja Canoe (zkVM-sovellus). Se tarkisti Hokulean AltDA:n Secure Integration Frameworkin mukaisesti, varmistaen että toteutus täyttää luottamuksettoman johdannaisuuden kokonaisvaatimukset ja oikeat. Kaikki paljastuneet ongelmat on ratkaistu.
Rollupit voivat integroida Hokulean tänään @succinctlabs:n OP-Succinctin ja @boundless_xyz OP-Kailuan kanssa
Kiitos @VeridiseInc-tiimille heidän syvästä ZK-asiantuntemuksestaan ja vaativuudestaan koko prosessin ajan. Koko tilintarkastusraportti:
3,14K