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” 黑客之家正准备成为一个非常特别的项目。
传统 STARK vs Circle
STARK(可扩展的透明知识论证)是埃利·本·萨森及其同事在2018年推出的一种证明系统,与传统的SNARK系统相比,它具有更好的可扩展性和透明度。STARK 的工作原理是将复杂的计算转换为算术电路,然后将其表示为多项式评估问题。为了在计算过程中隐藏中间结果,使用了多项式承诺,同时允许验证者对这些结果进行采样和检查。通过应用低度扩展,将复杂的计算简化为验证低度多项式,然后使用高效的交互式证明协议 FRI 来检查多项式是否为低度多项式。该技术在实现隐私保护和可验证计算方面具有广泛的应用。
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/