ZKM 的证明服务:打破证明生成壁垒
Share on

ZKM 很高兴地宣布推出其独家 Proving Service,为开发人员提供访问高性能服务器的权限,这些服务器能够有效地处理生成零知识证明的密集计算需求。该服务专门针对ZKMIPs进行了优化,ZKMIPS是ZKM的专业zkVM软件,旨在促进将ZKP功能集成到各种应用程序中。

zkMips 原生支持 Golang,无需复杂的代码更改即可直接在现有 Golang 环境中简化证明生成。开发人员可以使用原版 Golang 编译器将 Golang 代码编译成 MIPS 指令,并使用 ZKM 的证明服务来证明执行情况。对其他高级语言的支持将在以后的文章中公布。

鼓励开发人员试用 zkMIP,探索使用 zkP 的创新方法,以增强项目中的可扩展性、互操作性或任何其他有益目的。zkPs可以通过在不影响安全性的情况下实现更高效的数据处理来显著提高区块链网络的可扩展性,还可以促进比现有的跨链解决方案更安全、更无摩擦的互操作性。zkMIPs可用于开发区块链或应用程序以利用这些优势,并有可能整合到现有的网络或应用程序中。

查看 “白皮书” 选项卡 zkm.io 获取包含有关 zkMIPS 及其潜在用途的详细信息的论文。

值得注意的是,认证服务处于开发阶段。在将其完全集成到生产环境之前,必须进行全面的测试以确保其符合安全和性能基准。尽管有这些先决条件,但该服务仍可用于创建概念验证应用程序,这使开发人员能够在受控场景中探索和测试 zkMIPS 的功能。

如何参与

由于初始测试阶段的可用性有限,有兴趣访问认证服务的开发人员必须在白名单上申请一席之地。这种选择性访问旨在确保为所有用户提供高效和可靠的服务。可以通过ZKM的申请门户提交申请: zkm.io/申请 

ZKP 的潜在应用是广泛且具有变革性的,ZKM 积极鼓励开发人员创造性地思考如何将 zkMIP 集成到他们的项目中。借助我们的工具和资源,开发人员可以自由创新,为区块链技术的可能性设定新标准。

More articles
ZKM 的投稿者专区
贡献者专区是一个旨在扩大 ZKM 社区的声音和专业知识的平台,邀请专家和发烧友分享他们的见解,加深对 ZK 技术及其应用的集体理解。贡献者专区的主要目标是创建一个充满活力的社区,让成员积极参与知识的共享和创造。该举措旨在:
了解 zkMIPS 的验证架构
TL; DR:zkMIPS 通过五个步骤证明了 MIPS 程序的正确执行:它(1)将程序分成几个段,(2)将每个段的指令分成四个模块表,(3)独立证明来自每个模块表的指令,(4)证明每个段的指令包含在其一个表中,以及(5)递归地证明段序列与程序执行相匹配。第 3 步以 STARK 形式编写,步骤 4 是以 STARK 编写的 LogUp 证明,步骤 5 以 PLONK 证明的形式编写。所有证明步骤均使用 Plonky2 库实现。或者,可以生成最终的 Groth16 证明来验证程序在链上的执行。
ZKM 的证明服务:打破证明生成壁垒

ZKM 很高兴地宣布推出其独家 Proving Service,为开发人员提供访问高性能服务器的权限,这些服务器能够有效地处理生成零知识证明的密集计算需求。该服务专门针对ZKMIPs进行了优化,ZKMIPS是ZKM的专业zkVM软件,旨在促进将ZKP功能集成到各种应用程序中。

zkMips 原生支持 Golang,无需复杂的代码更改即可直接在现有 Golang 环境中简化证明生成。开发人员可以使用原版 Golang 编译器将 Golang 代码编译成 MIPS 指令,并使用 ZKM 的证明服务来证明执行情况。对其他高级语言的支持将在以后的文章中公布。

鼓励开发人员试用 zkMIP,探索使用 zkP 的创新方法,以增强项目中的可扩展性、互操作性或任何其他有益目的。zkPs可以通过在不影响安全性的情况下实现更高效的数据处理来显著提高区块链网络的可扩展性,还可以促进比现有的跨链解决方案更安全、更无摩擦的互操作性。zkMIPs可用于开发区块链或应用程序以利用这些优势,并有可能整合到现有的网络或应用程序中。

查看 “白皮书” 选项卡 zkm.io 获取包含有关 zkMIPS 及其潜在用途的详细信息的论文。

值得注意的是,认证服务处于开发阶段。在将其完全集成到生产环境之前,必须进行全面的测试以确保其符合安全和性能基准。尽管有这些先决条件,但该服务仍可用于创建概念验证应用程序,这使开发人员能够在受控场景中探索和测试 zkMIPS 的功能。

如何参与

由于初始测试阶段的可用性有限,有兴趣访问认证服务的开发人员必须在白名单上申请一席之地。这种选择性访问旨在确保为所有用户提供高效和可靠的服务。可以通过ZKM的申请门户提交申请: zkm.io/申请 

ZKP 的潜在应用是广泛且具有变革性的,ZKM 积极鼓励开发人员创造性地思考如何将 zkMIP 集成到他们的项目中。借助我们的工具和资源,开发人员可以自由创新,为区块链技术的可能性设定新标准。