Succinct pune întotdeauna securitatea pe primul loc. În colaborare cu @NethermindSec și @EthereumFndn, am verificat oficial corectitudinea constrângerilor RISC-V pentru SP1 Hypercube.

4/ În ultimele șase luni, am pregătit cu migală Hypercube pentru producție. Pentru a maximiza securitatea, am cerut Nethermind să verifice oficial Hypercube. De asemenea, am primit un grant parțial de la Fundația Ethereum pentru acest efort.

5/ Verificarea formală este o garanție matematică că circuitele Hypercube se comportă exact așa cum este specificat. Nethermind este lider în aceste metode formale și securitatea ZK.

6/ Hypercube este acum primul zkVM cu constrângeri de cod operațional verificate oficial. Aceasta este, de asemenea, prima dată când specificația oficială RISC-V a fost utilizată în verificarea formală a unui astfel de sistem.