Succinct始終將安全性放在首位。 我們與@NethermindSec和@EthereumFndn合作，正式驗證了SP1 Hypercube的RISC-V約束的正確性。

在過去六個月中，我們費盡心思地為 Hypercube 的生產做好準備。 為了最大化安全性，我們請 Nethermind 正式驗證 Hypercube。我們還從以太坊基金會獲得了部分資助以支持這項工作。

5/ 形式驗證是一種數學保證，確保Hypercube的電路完全按照規範運作。 Nethermind在這些形式方法和ZK安全性方面是領導者。

6/ Hypercube 現在是第一個具有正式驗證操作碼約束的 zkVM。這也是官方 RISC-V 規範首次用於此類系統的正式驗證。