Đang tải…
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
（或扫描下方二维码下载）
Mọi thông tin trên trang web này chỉ mang tính tham khảo.
Trang web không bảo đảm tính chính xác, hiệu lực, kịp thời hay đầy đủ của thông tin.
Người dùng tự chịu rủi ro khi hành động dựa trên thông tin của trang web này.
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
（或扫描下方二维码下载）
Mọi thông tin trên trang web này chỉ mang tính tham khảo. Trang web không bảo đảm tính chính xác, hiệu lực, kịp thời hay đầy đủ của thông tin. Người dùng tự chịu rủi ro khi hành động dựa trên thông tin của trang web này.
