A Succinct coloca sempre a segurança em primeiro lugar. Em colaboração com @NethermindSec e @EthereumFndn, verificámos formalmente a correção das restrições RISC-V para o Hypercube 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 subvenção parcial da Ethereum Foundation para este esforço.

5/ A verificação formal é uma garantia matemática de que os circuitos do Hypercube se comportam exatamente como especificado. A Nethermind é uma líder nestes 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 RISC-V foi utilizada na verificação formal de um sistema desse tipo.