Vi er glade for å kunngjøre at @NethermindSec Formal Verification-teamet, ledet av @PetarMax, sammen med @SuccinctLabs, og med sjenerøs støtte fra @ethereumfndn, formelt har verifisert riktigheten av alle kjernebrikkene til RV-64 fra SP1 HyperCube RISC-V zkVM i @leanprover. 1/