We zijn verheugd aan te kondigen dat het @NethermindSec Formal Verification-team, geleid door @PetarMax, in samenwerking met @SuccinctLabs, en met genereuze steun van @ethereumfndn, de correctheid van alle kern RV-64 chips van de SP1 HyperCube RISC-V zkVM in @leanprover formeel heeft geverifieerd. 1/