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.
State Write Reversion Note 1
3.4.
State Write Reversion Note 2
Light (default)
Rust
Coal
Navy
Ayu
AppliedZKP's zkEVM Documentation
Design Notes
Here are some collected documents on design notes of the zkEVM.