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