这是一个对初学者友好的 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 电路的有效性证明，可以在链下处理交易，并且可以在不重新执行交易的情况下更新状态，这使其成为提高以太坊网络可扩展性的潜力解决方案。
