整个 CEX 就隐私板块撑着，有点神奇，链上一年前的 Rail 又被人翻出来说 V神 的挚爱，可惜又早了太多，不妨看看新周期的新隐私相关项目。 Nethermind 安全形式化验证团队与 Succinct Labs 携手合作，在 Lean 证明助手中正式验证了 SP1 Hypercube RISC-V zkVM 所有核心 RV-64 芯片的正确性。