EigenDAs Hokulea-bibliotek har granskats av @VeridiseInc, specialister på formell verifiering och ZK-säkerhet. Hokulea möjliggör förtroendelös EigenDA-härledning för OP Stack-sammanslagningar och stödjer integrationer för ledande zkVM-bedrägerisäkra ramverk 🧵

Bedömningen omfattade Hokulea (som integrerar EigenDA i Kona) och Canoe (zkVM-applikationen). Den verifierade Hokulea mot AltDA Secure Integration Framework, vilket säkerställer att implementeringen uppfyller de totala och korrekta kraven för trustless härledning. Alla upptäckta problem har åtgärdats.

Rollups kan integrera Hokulea idag med @succinctlabs:s OP-Succinct & @boundless_xyz OP-Kailua

Tack till @VeridiseInc-teamet för deras djupa ZK-expertis och noggrannhet genom hela processen. Fullständig revisionsrapport: