We are delighted to announce that the @NethermindSec Formal Verification team, led by @PetarMax, in tandem with @SuccinctLabs, and with generous support from @ethereumfndn, has formally verified the correctness of all of the core RV-64 chips from the SP1 HyperCube RISC-V zkVM in @leanprover.
1/