撰文：Salazar.eth
编译：0x11，ForesightNews
我们都知道zkEVM是什么，但它是如何与以太坊基础层交互的呢？
这是一个对初学者友好的zkEVM工作流程。
Polygon zkEVM主网测试版已完成火龙果升级，预计于9月11日登录主网:9月1日消息，Polygon于X平台（原推特）发文表示，Polygon zkEVM主网测试版已完成首次火龙果升级（Dragon Fruit）。火龙果升级包括最新的EVM操作码PUSH0，使Polygon zkEVM与Solidity v0.8.21兼容。火龙果升级需要升级Polygon.zkEVM.sol共识合约。从今日开始10天的时间锁已被触发。
该版本预计将于9月11日上线主网，开发者从今天开始可以在测试网上检查与测试升级。[2023/9/1 13:11:56]
好吧，对于那些不了解zkEVM的人，可以先阅读这篇贴文。
Aave社区关于在zkEVM主网上部署Aave V3 MVP版本的ARFC提案现已开启投票:3月26日消息，Aave 社区关于在 zkEVM 主网上部署 Aave V3 的 MVP 版本的 ARFC 提案现已开启投票，zkEVM 是由 Polygon 团队开发的 EVM 等效 zk-rollup L2，预计将于 3 月 27 日部署，Aave V3 已成功部署在 ZkEVM 测试网上大约 6 个月。该 ARFC 提案应被视为温度检查，允许开发和风险服务提供商对 zkEVM 网络进行更深入的分析，将于 3 月 29 日 18:00 结束投票。[2023/3/26 13:27:34]
现在，让我们开始吧。
Polygon已开源Polygon zkEVM代码，即将上线公共测试网:金色财经报道，Polygon 已开源 Polygon zkEVM 的代码，并表示即将上线公共测试网，后续会发布更多文档来详细说明细节。据悉，Polygon zkEVM 可为开发人员和用户提供EVM 等效解决方案、高性能 zk 证明机制（zk-proofs）与以太坊主网级别的安全性[2022/7/20 2:26:17]
1/一切皆可模块化；因为那是现在，不是未来。
下图所示，在今天的背景下：我们是用户，RollupOperator是ZKRollup，基础层是以太坊。
2/不同于以太坊L1依赖于智能合约的重新执行——这可能是耗时和资源密集的，zkEVM依赖于zkEVM电路的有效性证明。
3/zkEVM分为执行环境、证明电路、验证者合约三部分。
zkEVM的执行环境类似于EVM，它是程序运行的地方。
4/它需要初始状态和当前交易输出最终状态。
5/证明电路产生ZKP，验证在执行环境中计算的交易的有效性。
它以上述状态作为输入，然后证明者生成一个简洁的有效性证明，以表明状态已正确更新。
6/验证者合约是在以太坊L1上的合约。它接收证明和交易信息，确认交易有效性，并在不重新执行交易的情况下更新状态。
7/与在以太坊第1层上重新执行合约相比，zkEVM方法可以显着降低Gas成本并提高交易速度。
8/依靠zkEVM电路的有效性证明，可以在链下处理交易，并且可以在不重新执行交易的情况下更新状态，这使其成为提高以太坊网络可扩展性的潜力解决方案。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。