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
2023 年区块链科学会议:正式回顾
区块链科学会议(SBC 2023)每年在斯坦福大学举行。当地的ZKM团队出席了会议,与会团队的首席研究顾问杰罗恩·范德格拉夫分享了他的经验,并发表了他对活动和研讨会的见解并发表了评论:
传统 STARK vs Circle
STARK(可扩展的透明知识论证)是埃利·本·萨森及其同事在2018年推出的一种证明系统,与传统的SNARK系统相比,它具有更好的可扩展性和透明度。STARK 的工作原理是将复杂的计算转换为算术电路,然后将其表示为多项式评估问题。为了在计算过程中隐藏中间结果,使用了多项式承诺,同时允许验证者对这些结果进行采样和检查。通过应用低度扩展,将复杂的计算简化为验证低度多项式,然后使用高效的交互式证明协议 FRI 来检查多项式是否为低度多项式。该技术在实现隐私保护和可验证计算方面具有广泛的应用。
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 集成到他们的项目中。借助我们的工具和资源,开发人员可以自由创新,为区块链技术的可能性设定新标准。