載入中…
載入中…
Techub News 消息，ZK 证明软件 Succinct 发推称，其零知识虚拟机（zkVM）SP1 Hypercube 已在主网正式上线。SP1 Hypercube 是完成全部 62 个 RISC-V 操作码形式化验证的 zkVM。借助 SP1，开发者可使用 Rust 等语言编写普通代码，创建可证明的程序。
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本網站所提供的所有信息僅供參考之用。
本網站不保證信息的準確性、有效性、及時性和完整性。
任何依賴於本網站所提供信息的行爲，均由用戶自行承擔風險。
Techub News 消息，ZK 证明软件 Succinct 发推称，其零知识虚拟机（zkVM）SP1 Hypercube 已在主网正式上线。SP1 Hypercube 是完成全部 62 个 RISC-V 操作码形式化验证的 zkVM。借助 SP1，开发者可使用 Rust 等语言编写普通代码，创建可证明的程序。
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
