Succinct zawsze stawia bezpieczeństwo na pierwszym miejscu. We współpracy z @NethermindSec i @EthereumFndn formalnie zweryfikowaliśmy poprawność ograniczeń RISC-V dla SP1 Hypercube.

4/ W ciągu ostatnich sześciu miesięcy starannie przygotowywaliśmy Hypercube do produkcji. Aby zmaksymalizować bezpieczeństwo, poprosiliśmy Nethermind o formalne zweryfikowanie Hypercube. Otrzymaliśmy również częściowy grant od Ethereum Foundation na ten cel.

5/ Weryfikacja formalna to matematyczna gwarancja, że obwody Hypercube działają dokładnie zgodnie ze specyfikacją. Nethermind jest liderem w tych metodach formalnych i bezpieczeństwie ZK.

6/ Hypercube jest teraz pierwszym zkVM z formalnie zweryfikowanymi ograniczeniami opcode. To także pierwszy raz, kiedy oficjalna specyfikacja RISC-V została użyta w formalnej weryfikacji takiego systemu.