状态证明

本文提出一种基于FOCIL的L2强制交易机制，无需修改状态转移函数或新交易类型。用户通过L1智能合约提交带状态证明的交易，L2操作者从合约中拉取包含列表并强制包含在区块中。该方案通过EIP-1559基础费用和剪枝函数提供抗审查性，并讨论了账户证明节点等实现细节。

本文档详细介绍了 ZKEVM 的设计和实现，包括状态证明和 EVM 证明两个主要部分。状态证明负责验证状态操作的正确性，而 EVM 证明则验证 EVM 指令的正确执行，以及状态证明与 EVM 指令的一致性。此外，文章还深入探讨了Bus Mapping、存储、内存、堆栈等关键概念，并提供了一些伪代码示例，清晰阐述了 ZKEVM 的运作原理。