Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Unofficial Scroll ZK EVM Code Review
Search
Cheng JIANG
September 15, 2023
Research
0
100
Unofficial Scroll ZK EVM Code Review
Cheng JIANG
September 15, 2023
Tweet
Share
More Decks by Cheng JIANG
See All by Cheng JIANG
XCM_V2概览与去中心化的Liquid_Staking方案.pdf
alexcj96
0
80
Dive into Scroll ZkEVM
alexcj96
0
110
Other Decks in Research
See All in Research
Fairer and More Scalable Reader-Writer Locks by Optimizing Queue Management
starpos
0
100
Generative Models 2025
takahashihiroshi
19
7.2k
公立高校入試等に対する受入保留アルゴリズム(DA)導入の提言
shunyanoda
0
4.8k
学生向けアンケート<データサイエンティストについて>
datascientistsociety
PRO
0
1.9k
20250502_ABEJA_論文読み会_スライド
flatton
0
150
Mechanistic Interpretability:解釈可能性研究の新たな潮流
koshiro_aoki
1
130
LLM-as-a-Judge: 文章をLLMで評価する@教育機関DXシンポ
k141303
3
780
Self-supervised audiovisual representation learning for remote sensing data
satai
3
170
(NULLCON Goa 2025)Windows Keylogger Detection: Targeting Past and Present Keylogging Techniques
asuna_jp
1
480
Sosiaalisen median katsaus 03/2025 + tekoäly
hponka
0
1.1k
SSII2025 [TS3] 医工連携における画像情報学研究
ssii
PRO
2
910
Transparency to sustain open science infrastructure - Printemps Couperin
mlarrieu
1
140
Featured
See All Featured
Writing Fast Ruby
sferik
628
61k
Rebuilding a faster, lazier Slack
samanthasiow
81
9k
How to train your dragon (web standard)
notwaldorf
92
6k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
6
660
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
160
15k
Measuring & Analyzing Core Web Vitals
bluesmoon
7
460
Stop Working from a Prison Cell
hatefulcrawdad
269
20k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
252
21k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
Documentation Writing (for coders)
carmenintech
71
4.8k
Being A Developer After 40
akosma
91
590k
Transcript
Unofficial Scroll ZK EVM Code Review https://linktr.ee/alexcj96
Summary - Why ZK EVM works? - Architecture - Tech
stack comparaison - Arithmetization - Trace generation - Gate configuration - Circuit tools - Some opcode gadgets - Public input circuit - Synthesize - Combining with halo2 - Observation
Why ZK EVM works? ❖ EVM is a State Machine
❖ Public-key cryptography ➢ Verify txs all represent users' intention ❖ Blockchain consensus ➢ Verifier ➢ Previous state root ❖ MPT ➢ Verify initial state ➢ Verify new root ❖ ZK ➢ Succinctness ➢ Lookup Arguments ❖ Ethereum as a DA Layer
Architecture
Tech stack comparaison
Arithmetization
Trace generation - flow (scroll has simplified this)
Trace generation - types (simplified)
Gate configuration - flow
Gate configuration - gadgets Add cb constraints etc
Gate configuration - lookup
Circuit tools - cell manager
Circuit tools - constraint builder
Circuit tools - constraint builder
Circuit tools - utils
Some opcode gadgets - AddSub
Some opcode gadgets - ReturnRevert (simplified)
Public input circuit
Public input circuit
Synthesize
Combining with halo2
Combining with halo2
Observation - Scroll doesn’t support self destruct EVM opcode -
Scroll’s MPT tree uses poseidon circuit - Scroll uses chain_id and block_number to calculate block_hash!!! - Scroll still uses SuperCircuit which is very zk-unfriendly - Don’t read PSE’s code, it’s not production ready!!! - …
Thanks!