Succinct始终将安全放在首位。 我们与@NethermindSec和@EthereumFndn合作,正式验证了SP1 Hypercube的RISC-V约束的正确性。
在过去六个月中,我们费尽心思为 Hypercube 的生产做好准备。 为了最大限度地提高安全性,我们要求 Nethermind 正式验证 Hypercube。我们还从以太坊基金会获得了部分资助,以支持这一工作。
5/ 形式验证是一个数学保证,确保Hypercube的电路行为完全符合规范。 Nethermind是这些形式方法和ZK安全领域的领导者。
6/ Hypercube 现在是第一个具有形式验证操作码约束的 zkVM。这也是第一次在此类系统的形式验证中使用官方的 RISC-V 规范。
41.74K