LibraryScaling2023Design paperCorpus record
zkSync: a validity-proof rollup with an EVM-like virtual machine
zkSync Era. Matter Labs.
zkSync Era asks a settlement contract to accept a proof of an EVM-like transition, not a waiting period and not a promise from the sequencer.
A reading of the project's public design document. Not a copy, not a benchmark, and not an offer.
zkSync Era asks a settlement contract to accept a proof of an EVM-like transition, not a waiting period and not a promise from the sequencer.
- Evidence
- Primary paper
- Re-measured
- No
- Assumptions
- 3
- Records linked
- 4
01 Claim ledger
What the paper is allowed to say
Each row is a sentence already in the study. The status is the same on every row: a model claim, not a live measurement.
Claim 01 · Paper model
The defect
A rollup that only publishes a brand, without saying which virtual machine the proof attests, is a hash with a marketing name.
Claim 02 · Paper model
The proposal
zkSync Era asks a settlement contract to accept a proof of an EVM-like transition, not a waiting period and not a promise from the sequencer.
Claim 03 · Paper model
The mechanism
The sequencer orders transactions off the settlement chain. The proof, not the sequencer's signature, is what the settlement contract is written to accept.
Claim 04 · Paper model
The bound
This note is not a measurement of prover liveness, fees, or how long a withdrawal takes.
02 Three cuts
Observation, model, falsifier
A desk does not stop at the summary. Each claim is cut three ways, using only this study's own assumptions and checks. Nothing here is a new figure.
01 The defect
Observation
What the study says
A rollup that only publishes a brand, without saying which virtual machine the proof attests, is a hash with a marketing name.
Model
What has to hold
The document is the one at the source URL. A marketing page with the same brand is not this text.
Falsifier
What would retire it
What statement does the proof verify: which machine, which previous root, which batch?
02 The proposal
Observation
What the study says
zkSync Era asks a settlement contract to accept a proof of an EVM-like transition, not a waiting period and not a promise from the sequencer.
Model
What has to hold
The proof verifies a statement. It does not choose the sequencer, and it does not move assets on a third chain by itself.
03 The mechanism
Observation
What the study says
The sequencer orders transactions off the settlement chain. The proof, not the sequencer's signature, is what the settlement contract is written to accept.
Model
What has to hold
The proof verifies a statement. It does not choose the sequencer, and it does not move assets on a third chain by itself.
04 The bound
Observation
What the study says
This note is not a measurement of prover liveness, fees, or how long a withdrawal takes.
Model
What has to hold
The proof verifies a statement. It does not choose the sequencer, and it does not move assets on a third chain by itself.
03 Sequence
One action, as an operating tape
- 01The sequencer orders transactions off the settlement chain. The proof, not the sequencer's signature, is what the settlement contract is written to accept.
- 02Users do not re-execute the batch on the settlement layer. They can re-execute only if they are checking the prover against the published data.
- 03A later prover, including a different circuit, is a different object from the virtual machine the proof claims to run.
04 Load-bearing
The argument, and where a pitch drops it
What the name has to mean
The cut
zkSync Era asks a settlement contract to accept a proof of an EVM-like transition, not a waiting period and not a promise from the sequencer.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
A compromised sequencer can reorder or censor before a proof. It cannot, under the validity-proof rule, invent a state the proof rejects.
What actually moves
The cut
Users do not re-execute the batch on the settlement layer. They can re-execute only if they are checking the prover against the published data.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
This note is not a measurement of prover liveness, fees, or how long a withdrawal takes.
What a later deployment may change
The cut
A later prover, including a different circuit, is a different object from the virtual machine the proof claims to run.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
A compromised sequencer can reorder or censor before a proof. It cannot, under the validity-proof rule, invent a state the proof rejects.
05 Register
What has to be true
Cryptography · Not re-measured
The proof verifies a statement. It does not choose the sequencer, and it does not move assets on a third chain by itself.
Model · Not re-measured
The document is the one at the source URL. A marketing page with the same brand is not this text.
Model · Not re-measured
No price, supply, yield, or adoption figure is added by this desk.
06 Divergence
What happened after the paper
A compromised sequencer can reorder or censor before a proof. It cannot, under the validity-proof rule, invent a state the proof rejects.
A later client, parameter set, or reward formula is a different object. Cite this paper for the mechanism. Cite a primary release for the network. This desk has not re-run the proof.
07 Pre-mortem
What to check before you use the idea
- 0 of 3 marked on this browser. A mark is a reading note, not a pass, a rating, or a recommendation.
08 Anatomy
The paper, in the order a builder needs
The problem it names
A rollup that only publishes a brand, without saying which virtual machine the proof attests, is a hash with a marketing name.
What the design proposes
- The sequencer orders transactions off the settlement chain. The proof, not the sequencer's signature, is what the settlement contract is written to accept.
- Users do not re-execute the batch on the settlement layer. They can re-execute only if they are checking the prover against the published data.
- A later prover, including a different circuit, is a different object from the virtual machine the proof claims to run.
How the mechanism is specified
- The sequencer orders transactions off the settlement chain. The proof, not the sequencer's signature, is what the settlement contract is written to accept.
- Users do not re-execute the batch on the settlement layer. They can re-execute only if they are checking the prover against the published data.
- A later prover, including a different circuit, is a different object from the virtual machine the proof claims to run.
What this page does not treat as proven
- This note is not a measurement of prover liveness, fees, or how long a withdrawal takes.
- An EVM-like trace is not the EVM. Bytecode that differs has to be named as a difference.
- A compromised sequencer can reorder or censor before a proof. It cannot, under the validity-proof rule, invent a state the proof rejects.
Why the desk still reads it
zkSync Era asks a settlement contract to accept a proof of an EVM-like transition, not a waiting period and not a promise from the sequencer.
09 Lexicon
Terms, opened into the record
- Validity proof
- A proof that a stated transition holds. It is not a waiting period.
- Settlement root
- The commitment the settlement contract stores. A sequencer's private database is not this root.
10 Repository
Every linked record on this page
Underlined words open a page that already exists: a concept, a protocol profile, a failure record, or another paper. If a word is not underlined, this desk does not have a record for it.
This is Blockchain Lab's reading of a public design paper. It is not the paper, not a copy of it, and not an offer of tokens, equity, custody or a partnership. Later network behaviour can diverge from the text. Nothing here is investment, legal or technical advice.
Research status: Design paper. Last reviewed: 1 October 2026. This is a reading of a public paper, not investment, legal or security advice.