Biblioteca Hokulea a EigenDA a fost auditată de @VeridiseInc, specialiști în verificare formală și securitate ZK. Hokulea permite derivarea EigenDA fără încredere pentru rollup-urile OP Stack, susținând integrări pentru principalele cadre zkVM de prevenire a fraudei 🧵

Evaluarea a acoperit Hokulea (care integrează EigenDA în Kona) și Canoe (aplicația zkVM). A verificat Hokulea în raport cu AltDA Secure Integration Framework, asigurând că implementarea îndeplinește cerințele totale și corecte pentru derivarea fără încredere. Toate problemele descoperite au fost rezolvate.

Rollup-urile pot integra Hokulea astăzi cu OP-Succinct & @boundless_xyz OP-Kailua de la @succinctlabs

Mulțumiri echipei @VeridiseInc pentru expertiza profundă și rigoarea ZK pe tot parcursul acestui proces. Raport complet de audit: