Foresight News 消息，ZK 证明软件 Succinct 宣布，zkVM（零知识虚拟机）SP1 Hypercube 现已在主网正式上线。SP1 Hypercube 是完成全部 62 个 RISC-V 操作码形式化验证的 zkVM。借助 SP1，开发者可以、使用 Rust 等语言编写普通代码，创建可证明的程序。