Olemme iloisia voidessamme ilmoittaa, että @PetarMax:n johtama @NethermindSec Formal Verification -tiimi yhdessä @SuccinctLabs:n kanssa ja @ethereumfndn:n avokätisellä tuella on virallisesti varmistanut kaikkien SP1 HyperCube RISC-V zkVM:n RV-64-sirujen oikeellisuuden vuonna @leanprover. 1/