Kortfattad sätter alltid säkerheten först. I samarbete med @NethermindSec och @EthereumFndn har vi formellt verifierat att RISC-V-begränsningarna för SP1 Hypercube är korrekta.

4/ Under de senaste sex månaderna har vi noggrant förberett Hypercube för produktion. För att maximera säkerheten bad vi Nethermind att formellt verifiera Hypercube. Vi fick också ett partiellt bidrag från Ethereum Foundation för denna insats.

5/ Formell verifiering är en matematisk garanti för att Hypercubes kretsar beter sig exakt som specificerat. Nethermind är ledande inom dessa formella metoder och ZK-säkerhet.

6/ Hypercube är nu den första zkVM med formellt verifierade opcode-begränsningar. Detta är också första gången som den officiella RISC-V-specifikationen har använts för formell verifiering av ett sådant system.