Succinct siempre pone la seguridad en primer lugar. En colaboración con @NethermindSec y @EthereumFndn, hemos verificado formalmente la corrección de las restricciones RISC-V para SP1 Hypercube.

4/ En los últimos seis meses, hemos preparado meticulosamente Hypercube para la producción. Para maximizar la seguridad, pedimos a Nethermind que verificara formalmente Hypercube. También recibimos una subvención parcial de la Fundación Ethereum para este esfuerzo.

5/ La verificación formal es una garantía matemática de que los circuitos de Hypercube se comportan exactamente como se especifica. Nethermind es un líder en estos métodos formales y en la seguridad ZK.

6/ Hypercube es ahora el primer zkVM con restricciones de opcode formalmente verificadas. Esta también es la primera vez que se ha utilizado la especificación oficial de RISC-V en la verificación formal de un sistema de este tipo.