Z radością ogłaszamy, że zespół ds. formalnej weryfikacji @NethermindSec, kierowany przez @PetarMax, we współpracy z @SuccinctLabs oraz z hojnym wsparciem od @ethereumfndn, formalnie zweryfikował poprawność wszystkich rdzeni chipów RV-64 z SP1 HyperCube RISC-V zkVM w @leanprover. 1/