Kortfattet setter alltid sikkerheten først. I samarbeid med @NethermindSec og @EthereumFndn har vi formelt verifisert riktigheten av RISC-V-begrensninger for SP1 Hypercube.

4/ I løpet av de siste seks månedene har vi møysommelig forberedt Hypercube for produksjon. For å maksimere sikkerheten ba vi Nethermind om å formelt verifisere Hypercube. Vi mottok også et delvis tilskudd fra Ethereum Foundation til denne innsatsen.

5/ Formell verifisering er en matematisk garanti for at Hypercubes kretser oppfører seg nøyaktig som spesifisert. Nethermind er ledende innen disse formelle metodene og ZK-sikkerhet.

6/ Hypercube er nå den første zkVM med formelt verifiserte opcode-begrensninger. Dette er også første gang den offisielle RISC-V-spesifikasjonen har blitt brukt i formell verifisering av et slikt system.