Perpustakaan Hokulea EigenDA telah diaudit oleh @VeridiseInc, spesialis dalam verifikasi formal dan keamanan ZK. Hokulea memungkinkan derivasi EigenDA tanpa kepercayaan untuk rollup OP Stack, mendukung integrasi untuk kerangka kerja 🧵 bukti penipuan zkVM terkemuka
Penilaian tersebut mencakup Hokulea (yang mengintegrasikan EigenDA ke dalam Kona) dan Canoe (aplikasi zkVM). Ini memverifikasi Hokulea terhadap AltDA Secure Integration Framework, memastikan implementasinya memenuhi persyaratan total dan benar untuk derivasi tanpa kepercayaan. Semua masalah yang terungkap telah ditangani.
Rollup dapat mengintegrasikan Hokulea hari ini dengan OP-Ringkas & @boundless_xyz OP-Kailua @succinctlabs
Terima kasih kepada tim @VeridiseInc atas keahlian dan ketelitian ZK mereka yang mendalam selama proses ini. Laporan Audit Lengkap:
3,15K