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/ Durante los últimos seis meses, hemos preparado minuciosamente Hypercube para la producción. Para maximizar la seguridad, le 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 líder en estos métodos formales y seguridad ZK.

6/ Hypercube es ahora la primera zkVM con restricciones de código de operación verificadas formalmente. Esta es también la primera vez que se utiliza la especificación oficial RISC-V en la verificación formal de dicho sistema.