Nous sommes ravis d'annoncer que l'équipe de Vérification Formelle de @NethermindSec, dirigée par @PetarMax, en tandem avec @SuccinctLabs, et avec le soutien généreux de @ethereumfndn, a formellement vérifié la justesse de tous les chips RV-64 de base du SP1 HyperCube RISC-V zkVM dans @leanprover. 1/