Succinct stelt altijd de veiligheid voorop. In samenwerking met @NethermindSec en @EthereumFndn hebben we de correctheid van de RISC-V beperkingen voor SP1 Hypercube formeel geverifieerd.

4/ In de afgelopen zes maanden hebben we Hypercube zorgvuldig voorbereid op productie. Om de beveiliging te maximaliseren, hebben we Nethermind gevraagd om Hypercube formeel te verifiëren. We hebben ook een gedeeltelijke subsidie van de Ethereum Foundation ontvangen voor deze inspanning.

5/ Formele verificatie is een wiskundige garantie dat de circuits van Hypercube zich precies gedragen zoals gespecificeerd. Nethermind is een leider in deze formele methoden en ZK-beveiliging.

6/ Hypercube is nu de eerste zkVM met formeel geverifieerde opcode-beperkingen. Dit is ook de eerste keer dat de officiële RISC-V specificatie is gebruikt in de formele verificatie van een dergelijk systeem.