我们很高兴地宣布推出我们的零知识虚拟机 (zkVM) Alpha 测试网。
我们的主要目标是通过我们的通用zkVM将以太坊建立为安全、可验证计算的全球结算层。这为区块链和非区块链应用程序利用零知识证明技术的许多潜在优势开辟了巨大的可能性,包括利用以太坊结算无与伦比的安全性和去中心化的能力。
我们的 zkVM 的架构将零知识技术与 MIPS(无联锁流水线级的微处理器)处理器架构相结合,创建了独特的可验证计算解决方案。这样可以信任不受信任的计算机生成的计算结果,从而有可能将生成的零知识证明存储在以太坊上。该过程包括运行目标程序来收集中间状态(Execution Trace),将程序及其执行跟踪编码为多项式集(算术化),最后使用加密技术对这些多项式进行承诺。
最初,我们的 zkVM 将能够处理用多种高级语言(例如 Golang)编写的程序,这些程序被编译成 MIPS 可执行文件。然后,该可执行文件被加载到 MIPS 虚拟机中,zkVM 会为验证者生成执行跟踪以创建 ZK 证明。该实现使区块链节点能够通过生成 ZKP 来验证程序的执行,以证明执行的有效性。
我们的协议部署计划分三个阶段;最初的重点是将我们的 zkVM 与 Optimistic Rollups 集成,将其堆栈升级为 Op/zk-Hybrid,然后进一步调整我们的 zkVM 基础架构以使 所有 区块链可以无缝安全地互操作,最终将支持范围扩展到物联网和云计算等非区块链应用程序,从而允许非区块链系统与区块链集成并继承以太坊的结算安全性。
ZKM 是一项开源计划,我们正在寻求开发者的合作和贡献,以构建由我们的 zkVM 支持的、可以测试的应用程序 这里。
Github https://github.com/zkMIPS
推特: https://twitter.com/ProjectZKM
中号: https://medium.com/@ProjectZKM
优酷: https://www.youtube.com/@ProjectZKM
白皮书: https://www.zkm.io/whitepaper
我们很高兴地宣布推出我们的零知识虚拟机 (zkVM) Alpha 测试网。
我们的主要目标是通过我们的通用zkVM将以太坊建立为安全、可验证计算的全球结算层。这为区块链和非区块链应用程序利用零知识证明技术的许多潜在优势开辟了巨大的可能性,包括利用以太坊结算无与伦比的安全性和去中心化的能力。
我们的 zkVM 的架构将零知识技术与 MIPS(无联锁流水线级的微处理器)处理器架构相结合,创建了独特的可验证计算解决方案。这样可以信任不受信任的计算机生成的计算结果,从而有可能将生成的零知识证明存储在以太坊上。该过程包括运行目标程序来收集中间状态(Execution Trace),将程序及其执行跟踪编码为多项式集(算术化),最后使用加密技术对这些多项式进行承诺。
最初,我们的 zkVM 将能够处理用多种高级语言(例如 Golang)编写的程序,这些程序被编译成 MIPS 可执行文件。然后,该可执行文件被加载到 MIPS 虚拟机中,zkVM 会为验证者生成执行跟踪以创建 ZK 证明。该实现使区块链节点能够通过生成 ZKP 来验证程序的执行,以证明执行的有效性。
我们的协议部署计划分三个阶段;最初的重点是将我们的 zkVM 与 Optimistic Rollups 集成,将其堆栈升级为 Op/zk-Hybrid,然后进一步调整我们的 zkVM 基础架构以使 所有 区块链可以无缝安全地互操作,最终将支持范围扩展到物联网和云计算等非区块链应用程序,从而允许非区块链系统与区块链集成并继承以太坊的结算安全性。
ZKM 是一项开源计划,我们正在寻求开发者的合作和贡献,以构建由我们的 zkVM 支持的、可以测试的应用程序 这里。
Github https://github.com/zkMIPS
推特: https://twitter.com/ProjectZKM
中号: https://medium.com/@ProjectZKM
优酷: https://www.youtube.com/@ProjectZKM
白皮书: https://www.zkm.io/whitepaper