Pause Anim
Generate ZK Proof
Reset
Consensus Layer
Execution / Storage Layer
STATE ROOT
VERIFY
ZK PROOF
Target State
Block Header
Merkle Root
Hash Node L
Hash Node R
State A
State B
State C
EMPTY SLOT
SNARK Proof
Message Leaf
Drag leaf to empty slot