1.
Introduction
2.
Circuit Architecture
2.1.
EVM Circuit
2.1.1.
Opcode Fetching
2.1.2.
Multi-Step Implementation
2.2.
Tx Circuit
2.3.
State Circuit
2.4.
Bytecode Circuit
2.5.
ECDSA Circuit
2.6.
Keccak Circuit
2.7.
Merkle Patricia Tree Circuit
3.
Design Notes
3.1.
Random Linear Combination
3.1.1.
Full Runnable Code
3.2.
Recursion
3.3.
Reversible Write Reversion Note 1
3.4.
Reversible Write Reversion Note 2
Light (default)
Rust
Coal
Navy
Ayu
zkEVM (Community Edition) Documentation
Design Notes
Here are some collected documents on design notes of the zkEVM.