Succinct always puts security first. In collaboration with @NethermindSec and @EthereumFndn, we’ve formally verified the correctness of RISC-V constraints for SP1 Hypercube.

4/ Over the last six months, we’ve painstakingly prepared Hypercube for production. To maximize security, we asked Nethermind to formally verify Hypercube. We also received a partial grant from the Ethereum Foundation toward this effort.

5/ Formal verification is a mathematical guarantee that Hypercube’s circuits behave exactly as specified. Nethermind is a leader in these formal methods and ZK security.

6/ Hypercube is now the first zkVM with formally verified opcode constraints. This is also the first time that the official RISC-V specification has been used in formal verification of such a system.