Succinct stellt immer die Sicherheit an erste Stelle. In Zusammenarbeit mit @NethermindSec und @EthereumFndn haben wir die Richtigkeit der RISC-V-Beschränkungen für den SP1 Hypercube formell verifiziert.

4/ In den letzten sechs Monaten haben wir Hypercube mühsam für die Produktion vorbereitet. Um die Sicherheit zu maximieren, haben wir Nethermind gebeten, Hypercube formell zu verifizieren. Wir haben auch einen teilweisen Zuschuss von der Ethereum Foundation für dieses Vorhaben erhalten.

5/ Die formale Verifikation ist eine mathematische Garantie, dass die Schaltungen von Hypercube genau wie spezifiziert funktionieren. Nethermind ist ein führendes Unternehmen in diesen formalen Methoden und der ZK-Sicherheit.

6/ Hypercube ist jetzt die erste zkVM mit formal verifizierten Opcode-Beschränkungen. Dies ist auch das erste Mal, dass die offizielle RISC-V-Spezifikation in der formalen Verifizierung eines solchen Systems verwendet wurde.