Succinct met toujours la sécurité en premier. En collaboration avec @NethermindSec et @EthereumFndn, nous avons formellement vérifié la justesse des contraintes RISC-V pour le SP1 Hypercube.

4/ Au cours des six derniers mois, nous avons préparé avec soin Hypercube pour la production. Pour maximiser la sécurité, nous avons demandé à Nethermind de vérifier formellement Hypercube. Nous avons également reçu une subvention partielle de la part de la Fondation Ethereum pour cet effort.

5/ La vérification formelle est une garantie mathématique que les circuits d'Hypercube se comportent exactement comme spécifié. Nethermind est un leader dans ces méthodes formelles et la sécurité ZK.

6/ Hypercube est maintenant le premier zkVM avec des contraintes d'opcode formellement vérifiées. C'est également la première fois que la spécification officielle RISC-V a été utilisée dans la vérification formelle d'un tel système.