Knihovna Hokulea společnosti EigenDA byla auditována @VeridiseInc, specialisty na formální ověřování a bezpečnost ZK. Hokulea umožňuje bezúvěřivé odvození EigenDA pro rollupy OP Stack a podporuje integrace pro přední frameworky 🧵 pro ochranu proti podvodům zkVM

Hodnocení zahrnovalo Hokulea (která integruje EigenDA do Kona) a Canoe (aplikaci zkVM). Ověřil Hokulea vůči AltDA Secure Integration Framework, čímž zajistil, že implementace splňuje úplné a správné požadavky na důvěryhodnou derivaci. Všechny odhalené problémy byly vyřešeny.

Rollupy mohou dnes integrovat Hokulea s @succinctlabs's OP-Succinct & @boundless_xyz OP-Kailua

Děkujeme týmu @VeridiseInc za jejich hlubokou odbornost v ZK a důslednost během celého procesu. Kompletní auditní zpráva: