zkEVM 如何与以太坊 L1 交互？

撰文：Salazar.eth

编译：0x11，Foresight News

我们都知道 zkEVM 是什么，但它是如何与以太坊基础层交互的呢？

这是一个对初学者友好的 zkEVM 工作流程。

好吧，对于那些不了解 zkEVM 的人，可以先阅读这篇贴文。

现在，让我们开始吧。

1/ 一切皆可模块化；因为那是现在，不是未来。

下图所示，在今天的背景下：我们是用户，Rollup Operator 是 ZK Rollup，基础层是以太坊。

2/ 不同于以太坊 L1 依赖于智能合约的重新执行——这可能是耗时和资源密集的，zkEVM 依赖于 zkEVM 电路的有效性证明。

3/ zkEVM 分为执行环境、证明电路、验证者合约三部分。

zkEVM 的执行环境类似于 EVM，它是程序（智能合约）运行的地方。

4/ 它需要初始状态（任何交易执行之前的系统状态）和当前交易输出最终状态（指区块链在所有待办交易被处理和验证之后的状态）。

5/ 证明电路产生 ZKP，验证在执行环境中计算的交易的有效性。

它以上述状态作为输入，然后证明者生成一个简洁的有效性证明，以表明状态已正确更新。

6/ 验证者合约是在以太坊 L1 上的合约。它接收证明和交易信息，确认交易有效性，并在不重新执行交易的情况下更新状态。

7/ 与在以太坊第 1 层上重新执行合约相比，zkEVM 方法可以显着降低 Gas 成本并提高交易速度。

8/ 依靠 zkEVM 电路的有效性证明，可以在链下处理交易，并且可以在不重新执行交易的情况下更新状态，这使其成为提高以太坊网络可扩展性的潜力解决方案。