ZKM 推出 Alpha 测试网
Share on

我们很高兴地宣布推出我们的零知识虚拟机 (zkVM) Alpha 测试网。

我们的主要目标是通过我们的通用zkVM将以太坊建立为安全、可验证计算的全球结算层。这为区块链和非区块链应用程序利用零知识证明技术的许多潜在优势开辟了巨大的可能性,包括利用以太坊结算无与伦比的安全性和去中心化的能力。

我们的 zkVM 的架构将零知识技术与 MIPS(无联锁流水线级的微处理器)处理器架构相结合,创建了独特的可验证计算解决方案。这样可以信任不受信任的计算机生成的计算结果,从而有可能将生成的零知识证明存储在以太坊上。该过程包括运行目标程序来收集中间状态(Execution Trace),将程序及其执行跟踪编码为多项式集(算术化),最后使用加密技术对这些多项式进行承诺。

最初,我们的 zkVM 将能够处理用多种高级语言(例如 Golang)编写的程序,这些程序被编译成 MIPS 可执行文件。然后,该可执行文件被加载到 MIPS 虚拟机中,zkVM 会为验证者生成执行跟踪以创建 ZK 证明。该实现使区块链节点能够通过生成 ZKP 来验证程序的执行,以证明执行的有效性。

我们的协议部署计划分三个阶段;最初的重点是将我们的 zkVM 与 Optimistic Rollups 集成,将其堆栈升级为 Op/zk-Hybrid,然后进一步调整我们的 zkVM 基础架构以使 所有 区块链可以无缝安全地互操作,最终将支持范围扩展到物联网和云计算等非区块链应用程序,从而允许非区块链系统与区块链集成并继承以太坊的结算安全性。

ZKM 是一项开源计划,我们正在寻求开发者的合作和贡献,以构建由我们的 zkVM 支持的、可以测试的应用程序 这里

网站: https://www.zkm.io/

Github https://github.com/zkMIPS

推特: https://twitter.com/ProjectZKM

中号: https://medium.com/@ProjectZKM

优酷: https://www.youtube.com/@ProjectZKM

白皮书: https://www.zkm.io/whitepaper

文档: https://docs.zkm.io/

More articles
你好世界-八月时事通讯
House of ZK在纽约市的区块链科学会议上举办了 “ZK日”。该活动由围绕ZK最新创新的技术研讨会和辩论组成,由ZKM和Aleo共同主办,由IC3、斯坦福CBR和伯克利RDI共同组织。杰罗恩·范·德格拉夫、卢卡斯·弗拉加和亚历克斯·普鲁登等知名专家分享了他们对纠缠汇总、zkMips架构和BitcoinL2 zkVM支持的原生安全等话题的见解,之后以热闹的欢乐时光结束,这是经过一天的密集讨论后社交和放松身心的绝佳机会。
你好世界-五月时事通讯
我们很高兴地宣布,在 Proygon Ventures、Crypto.com、Amber Group、Leland Ventures、Waterdrip Capital、DFG、jSquare、捐赠资本和梅蒂斯基金会 🔥 的支持下,于 2023 年 11 月成功完成了 500 万美元的 Pre-A 轮融资
ZKM 推出 Alpha 测试网

我们很高兴地宣布推出我们的零知识虚拟机 (zkVM) Alpha 测试网。

我们的主要目标是通过我们的通用zkVM将以太坊建立为安全、可验证计算的全球结算层。这为区块链和非区块链应用程序利用零知识证明技术的许多潜在优势开辟了巨大的可能性,包括利用以太坊结算无与伦比的安全性和去中心化的能力。

我们的 zkVM 的架构将零知识技术与 MIPS(无联锁流水线级的微处理器)处理器架构相结合,创建了独特的可验证计算解决方案。这样可以信任不受信任的计算机生成的计算结果,从而有可能将生成的零知识证明存储在以太坊上。该过程包括运行目标程序来收集中间状态(Execution Trace),将程序及其执行跟踪编码为多项式集(算术化),最后使用加密技术对这些多项式进行承诺。

最初,我们的 zkVM 将能够处理用多种高级语言(例如 Golang)编写的程序,这些程序被编译成 MIPS 可执行文件。然后,该可执行文件被加载到 MIPS 虚拟机中,zkVM 会为验证者生成执行跟踪以创建 ZK 证明。该实现使区块链节点能够通过生成 ZKP 来验证程序的执行,以证明执行的有效性。

我们的协议部署计划分三个阶段;最初的重点是将我们的 zkVM 与 Optimistic Rollups 集成,将其堆栈升级为 Op/zk-Hybrid,然后进一步调整我们的 zkVM 基础架构以使 所有 区块链可以无缝安全地互操作,最终将支持范围扩展到物联网和云计算等非区块链应用程序,从而允许非区块链系统与区块链集成并继承以太坊的结算安全性。

ZKM 是一项开源计划,我们正在寻求开发者的合作和贡献,以构建由我们的 zkVM 支持的、可以测试的应用程序 这里

网站: https://www.zkm.io/

Github https://github.com/zkMIPS

推特: https://twitter.com/ProjectZKM

中号: https://medium.com/@ProjectZKM

优酷: https://www.youtube.com/@ProjectZKM

白皮书: https://www.zkm.io/whitepaper

文档: https://docs.zkm.io/