Succinct 的零知識虛擬機 SP1 Hypercube 已於主網正式上線

Foresight News 消息，ZK 證明軟體 Succinct 宣布，zkVM（零知識虛擬機）SP1 Hypercube 現已在主網正式上線。SP1 Hypercube 是完成全部 62 個 RISC-V 操作碼形式化驗證的 zkVM。借助 SP1，開發者可以使用 Rust 等語言編寫普通程式碼，創建可證明的程式。