Succinct mette sempre la sicurezza al primo posto. In collaborazione con @NethermindSec e @EthereumFndn, abbiamo formalmente verificato la correttezza dei vincoli RISC-V per SP1 Hypercube.

4/ Negli ultimi sei mesi, abbiamo preparato con grande attenzione Hypercube per la produzione. Per massimizzare la sicurezza, abbiamo chiesto a Nethermind di verificare formalmente Hypercube. Abbiamo anche ricevuto un finanziamento parziale dalla Ethereum Foundation per questo sforzo.

5/ La verifica formale è una garanzia matematica che i circuiti di Hypercube si comportano esattamente come specificato. Nethermind è un leader in questi metodi formali e nella sicurezza ZK.

6/ Hypercube è ora il primo zkVM con vincoli di opcode formalmente verificati. Questa è anche la prima volta che la specifica ufficiale RISC-V è stata utilizzata nella verifica formale di un sistema del genere.