Succinct始终将安全放在首位。 我们与@NethermindSec和@EthereumFndn合作，正式验证了SP1 Hypercube的RISC-V约束的正确性。

在过去六个月中，我们费尽心思为 Hypercube 的生产做好准备。 为了最大限度地提高安全性，我们要求 Nethermind 正式验证 Hypercube。我们还从以太坊基金会获得了部分资助，以支持这一工作。

5/ 形式验证是一个数学保证，确保Hypercube的电路行为完全符合规范。 Nethermind是这些形式方法和ZK安全领域的领导者。

6/ Hypercube 现在是第一个具有形式验证操作码约束的 zkVM。这也是第一次在此类系统的形式验证中使用官方的 RISC-V 规范。