Circuits Overview Code decommitter Demux log queue ECRecover Keccak round function L1 messages hasher Log sorter Main VM RAM permutation Sha256 round function Sort decommitments Sorting and deduplication Sorting Storage application Storage sorter