O Succinct sempre coloca a segurança em primeiro lugar. Em colaboração com @NethermindSec e @EthereumFndn, verificamos formalmente a exatidão das restrições RISC-V para o Hypercubo SP1.

4/ Nos últimos seis meses, preparamos meticulosamente o Hypercube para produção. Para maximizar a segurança, pedimos à Nethermind que verificasse formalmente o Hypercube. Também recebemos uma doação parcial da Ethereum Foundation para esse esforço.

5/ A verificação formal é uma garantia matemática de que os circuitos do Hypercube se comportam exatamente como especificado. A Nethermind é líder nesses métodos formais e na segurança ZK.

6/ O Hypercube é agora o primeiro zkVM com restrições de opcode formalmente verificadas. Esta é também a primeira vez que a especificação oficial do RISC-V é usada na verificação formal de tal sistema.