Encyclopedia Ethereum · Entry 21
Validity rollups: what does the proof prove?
In this article
At a glance
Key facts
A verifier checks a statement about execution
A rollup represents its accounts and other state with a compact cryptographic commitment. After executing a batch, the operator proposes a new commitment and produces a proof linking the old state, the transactions and the resulting state under the rollup’s rules.
An Ethereum verifier contract checks that proof instead of repeating every underlying computation. The security claim concerns the specified computation and the implemented proof system. Bugs in either can undermine the intended result.
Example: proving a balance update
Imagine an account with 10 tokens makes an authorized transfer of 3 tokens. Ignoring fees for this example, the new balance is 7 and the recipient gains 3. A correct proof must be consistent with authorization, sufficient funds and both balance changes under the encoded rules.
It does not establish that the recipient shipped a promised product, that the token has value or that the user understood the signature. Those are different claims. A mathematical proof of execution is powerful precisely because its scope is specific.
A proof is not the data needed to use the chain
Users and independent operators still need enough published data to reconstruct the rollup state. A tiny state commitment cannot tell a user their balance or supply every input needed to prepare an exit. Data availability remains a separate requirement.
The label ZK-rollup does not promise private payments. A proof system may have a zero-knowledge property while the rollup publishes transaction information publicly. Systems that keep reconstruction data outside Ethereum introduce different availability assumptions and are commonly described as validiums rather than rollups.
Proof-based settlement still has stages
An operator must include the transaction, assemble a batch, generate the proof and get it accepted on Ethereum. Ethereum inclusion and finality then matter. A withdrawal can require additional bridge steps. Avoid interpreting the absence of a fraud-proof challenge interval as a guarantee of immediate payment.
Assess the actual deployment: who can submit batches, what happens during an outage, how upgrades work and whether users can exit without cooperation. A sound proof system addresses invalid state changes; it does not by itself guarantee prompt service or eliminate administrative authority.
Direct answers
Questions people ask
Does ZK mean my transactions are private?
No. Rollups can publish transaction information publicly while using validity proofs. Privacy depends on the application and the exact information it reveals.
Are withdrawals always instant?
No. Batching, proof production, Ethereum inclusion and the bridge workflow can all take time. A validity proof removes a particular need for fraud-proof challenges, not all waiting.
Can a validity proof establish that a token is well backed?
Not on its own. It establishes a statement about the encoded computation. Real-world reserve or delivery claims require evidence outside that computation.
Inspect the evidence
The answer and key facts have stable claim links. These records retain the scope and qualification when reused.
A validity rollup executes transactions outside Ethereum and submits a cryptographic proof that a proposed state change follows its rules. Ethereum verifies the proof. The rollup also publishes reconstruction data; proof generation, settlement and withdrawals remain distinct steps.
Scope: Ethereum. Verification: verified · 2026-10-02T15:10:23.134Z.
Link to this claimProof scope: Correct execution of the rules encoded by the proof system
Scope: Ethereum. Verification: verified · 2026-10-02T15:10:23.134Z.
Link to this claimData requirement: A rollup publishes data needed to reconstruct its state
Scope: Ethereum. Verification: verified · 2026-10-02T15:10:23.134Z.
Link to this claimPrivacy: Validity proofs alone do not make transactions confidential
Scope: Ethereum. Verification: verified · 2026-10-02T15:10:23.134Z.
Link to this claimRevision history
- — First publication after primary-source research and independent automated verification.
Source register
Sources and references
Retrieval dates and locators are recorded individually.- Zero-knowledge rollupsethereum.org contributors
Supports validity proofs and public rollup data; no claim that every withdrawal is instant or that every ZK system is private.
Locator: Data availability; validity proofs; withdrawals; EVM compatibility · Version / scope: dcc900ff125891da5b6c723b905a7113cf1bd864 · Retrieved: 2026-10-02T14:35:47.579728+00:00Open source - Data availabilityethereum.org contributors
Supports why a hash is not sufficient to reconstruct data and why availability differs from permanent historical storage.
Locator: Data availability problem; rollups; availability versus retrievability · Version / scope: dcc900ff125891da5b6c723b905a7113cf1bd864 · Retrieved: 2026-10-02T14:35:47.112785+00:00Open source - Scaling overviewethereum.org contributors
Supports rollup execution/settlement roles and distinct security assumptions of sidechains and offchain data systems.
Locator: Layer 2 scaling; rollups; sidechains; validium · Version / scope: dcc900ff125891da5b6c723b905a7113cf1bd864 · Retrieved: 2026-10-02T14:35:47.354550+00:00Open source - Proof of stakeethereum.org contributors
Supports 12-second slots, 32-slot epochs, stake-weighted checkpoint voting and block verification.
Locator: Validators; transaction execution; finality; fork choice · Version / scope: dcc900ff125891da5b6c723b905a7113cf1bd864 · Retrieved: 2026-10-02T14:35:43.818781+00:00Open source
Research and drafting use AI assistance. A separate automated review checks claims against primary sources; no external expert or named human review is implied. Publication, substantive editing, source retrieval and verification are recorded separately. This version was independently checked by an automated reviewer on 2 October 2026.
Editorial method and correctionsDegrees of Satoshi editorial project. “Validity rollups: what does the proof prove?.” Published 2026-10-02; updated 2026-10-02. https://degreesofsatoshi.com/encyclopedia/validity-rollups/