LibraryScaling2023Design paperCorpus record
Polygon zkEVM: a validity rollup in the zkEVM family
Polygon zkEVM. Polygon Labs.
Polygon zkEVM publishes a validity rollup aimed at Ethereum-like execution, with a prover stack the docs distinguish from Polygon's earlier proof-of-stake chain.
A reading of the project's public design document. Not a copy, not a benchmark, and not an offer.
Polygon zkEVM publishes a validity rollup aimed at Ethereum-like execution, with a prover stack the docs distinguish from Polygon's earlier proof-of-stake chain.
- Evidence
- Primary paper
- Re-measured
- No
- Assumptions
- 3
- Records linked
- 6
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
Polygon the proof-of-stake chain and Polygon zkEVM are different systems. A bridge to one is not a bridge to the other.
Claim 02 · Paper model
The proposal
Polygon zkEVM publishes a validity rollup aimed at Ethereum-like execution, with a prover stack the docs distinguish from Polygon's earlier proof-of-stake chain.
Claim 03 · Paper model
The mechanism
The sequencer orders a batch. A validity proof attests the transition. The settlement contract on Ethereum is the acceptance.
Claim 04 · Paper model
The bound
This note does not score equivalence.
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
Polygon the proof-of-stake chain and Polygon zkEVM are different systems. A bridge to one is not a bridge to the other.
Model
What has to hold
You are reading the Polygon zkEVM node repository. The old overview URL now redirects to the CDK, which is a different document. The PoS chain is out of scope.
Falsifier
What would retire it
Is the deployment you mean zkEVM, the PoS chain, or a CDK chain?
02 The proposal
Observation
What the study says
Polygon zkEVM publishes a validity rollup aimed at Ethereum-like execution, with a prover stack the docs distinguish from Polygon's earlier proof-of-stake chain.
Model
What has to hold
You are reading the Polygon zkEVM node repository. The old overview URL now redirects to the CDK, which is a different document. The PoS chain is out of scope.
Falsifier
What would retire it
Is the deployment you mean zkEVM, the PoS chain, or a CDK chain?
03 The mechanism
Observation
What the study says
The sequencer orders a batch. A validity proof attests the transition. The settlement contract on Ethereum is the acceptance.
Model
What has to hold
No price, supply, yield, or adoption figure is added by this desk.
04 The bound
Observation
What the study says
This note does not score equivalence.
Model
What has to hold
You are reading the Polygon zkEVM node repository. The old overview URL now redirects to the CDK, which is a different document. The PoS chain is out of scope.
03 Sequence
One action, as an operating tape
- 01The sequencer orders a batch. A validity proof attests the transition. The settlement contract on Ethereum is the acceptance.
- 02The prover stack, including any use of Plonky-family proofs, is a component. Replacing it requires replacing the verifier.
- 03Equivalence to the EVM is a documented matrix, not a word in the title.
04 Load-bearing
The argument, and where a pitch drops it
What the name has to mean
The cut
Polygon zkEVM publishes a validity rollup aimed at Ethereum-like execution, with a prover stack the docs distinguish from Polygon's earlier proof-of-stake chain.
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
It does not describe the Polygon PoS chain.
What actually moves
The cut
The prover stack, including any use of Plonky-family proofs, is a component. Replacing it requires replacing the verifier.
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 later client, parameter or reward formula is a different object from this paragraph.
What a later deployment may change
The cut
Equivalence to the EVM is a documented matrix, not a word in the title.
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 does not score equivalence.
05 Register
What has to be true
Model · Not re-measured
You are reading the Polygon zkEVM node repository. The old overview URL now redirects to the CDK, which is a different document. The PoS chain is out of scope.
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
No proving cost is stated.
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
Polygon the proof-of-stake chain and Polygon zkEVM are different systems. A bridge to one is not a bridge to the other.
What the design proposes
- The sequencer orders a batch. A validity proof attests the transition. The settlement contract on Ethereum is the acceptance.
- The prover stack, including any use of Plonky-family proofs, is a component. Replacing it requires replacing the verifier.
- Equivalence to the EVM is a documented matrix, not a word in the title.
How the mechanism is specified
- The sequencer orders a batch. A validity proof attests the transition. The settlement contract on Ethereum is the acceptance.
- The prover stack, including any use of Plonky-family proofs, is a component. Replacing it requires replacing the verifier.
- Equivalence to the EVM is a documented matrix, not a word in the title.
What this page does not treat as proven
- This note does not score equivalence.
- It does not describe the Polygon PoS chain.
- No proving cost is stated.
Why the desk still reads it
Polygon zkEVM publishes a validity rollup aimed at Ethereum-like execution, with a prover stack the docs distinguish from Polygon's earlier proof-of-stake chain.
09 Lexicon
Terms, opened into the record
- Verifier
- The contract that accepts the proof. A prover change without a verifier change is a mismatch.
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.