整個 CEX 就隱私板塊撐著，有點神奇，鏈上一年前的 Rail 又被人翻出來說 V神 的摯愛，可惜又早了太多，不妨看看新週期的新隱私相關項目。 Nethermind 安全形式化驗證團隊與 Succinct Labs 攜手合作，在 Lean 證明助手中正式驗證了 SP1 Hypercube RISC-V zkVM 所有核心 RV-64 芯片的正確性。