zkEVM 的核心就是电路化 EVM

1. 交易执行 → 电路约束
   • 每一条 EVM opcode（加减乘除、存储读写、条件跳转、堆栈操作等）
   • 都映射成 电路约束（R1CS 或 QAP）
2. 状态转化 → 电路验证
   • 每次状态变化（账户余额、合约存储、合约代码、内存）
   • 都通过 Merkle 树约束 转换成可验证的 witness
3. 最终结果
   • 执行交易后的新状态根（state root）
   • 可以用 zkSNARK / zkSTARK proof 验证，无需在链上重演交易

🔹 直观理解

用户交易 tx
    │
    ▼
 zkEVM 执行 EVM 指令
    │
    ▼
每条指令映射成电路约束
    │
    ▼
状态变化映射成电路约束（Merkle proof）
    │
    ▼
生成 witness → 链下生成 zkProof
    │
    ▼
链上 verifier 验证 proof → 更新 state root

所以，zkEVM 的本质就是把智能合约的逻辑执行和状态变化“翻译”成数学电路，然后用零知识证明验证执行正确性，这样就可以大幅节省链上 Gas。