Stručnost vždy klade bezpečnost na první místo. Ve spolupráci se společností @NethermindSec a @EthereumFndn jsme formálně ověřili správnost omezení RISC-V pro SP1 Hypercube.

4/ Posledního půl roku jsme PrexCube pečlivě připravovali do výroby. Abychom maximalizovali bezpečnost, požádali jsme společnost Nethermind o formální ověření Hypercube. Na toto úsilí jsme také obdrželi částečný grant od Ethereum Foundation.

5/ Formální verifikace je matematickou zárukou, že obvody Hypercube se chovají přesně tak, jak je specifikováno. Nethermind je lídrem v těchto formálních metodách a ZK bezpečnosti.

6/ Hypercube je nyní první zkVM s formálně ověřenými omezeními operačního kódu. Je to také poprvé, kdy byla oficiální specifikace RISC-V použita při formálním ověření takového systému.