What is validity proof?
A cryptographic proof that a batch of transactions was executed correctly, verified by the base chain before the resulting state is accepted.
Not yet verifiedHow we verify
3 min read
In this entry
A cryptographic proof that a batch of transactions was executed correctly, verified by the base chain before the resulting state is accepted.
It is one of the two ways a layer 2 convinces a layer 1 that it did its arithmetic honestly. The other is a fraud proof, which assumes correctness and waits for someone to object. A validity proof assumes nothing, which is why the two designs behave so differently at the moment you want your money back.
The distinction people flatten is between correct execution and safe application. A validity proof establishes the first and says nothing at all about the second.
How it works
The layer 2 executes a batch of transactions off chain, producing a new state root. It then generates a proof that running those transactions against the old state root really does produce the new one. That proof is posted to the base chain, where a verifier contract checks it.
The asymmetry is the whole point. Producing the proof is computationally expensive, taking specialized hardware and often minutes of work. Verifying it is cheap and takes constant time regardless of how many transactions were proved. That is what lets a base chain accept the results of thousands of transactions it never executed.
Because correctness is established immediately, there is no challenge window. An optimistic rollup must wait out a dispute period before a withdrawal to the base chain is final, commonly seven days on the major implementations. A validity proof chain finalizes as soon as a proof is verified, which is a matter of minutes to hours depending on how often the operator submits proofs.
The remaining trust surface is narrow but real: the soundness of the proof system, the correctness of the verifier contract, any trusted setup the scheme requires, and whether a single sequencer can censor or delay you.
Example
Illustrative. You bridge funds back from two layer 2 networks on the same day.
On an optimistic rollup, the withdrawal is initiated, a seven-day challenge window runs, and only then can you claim on the base chain. Third-party liquidity providers will front the funds sooner for a fee, typically a fraction of a percent, which is what most people actually use.
On a validity proof chain, the withdrawal waits only for the next proof to be generated and verified. Depending on the network's proving cadence that is minutes to hours, and no fee-charging intermediary is needed. Same asset, same base chain, and a difference in wait measured in days.
Why it matters when you buy
Layer 2 networks are where most people first encounter cheap transactions, and the exit path is the part that differs. Where you plan to move funds back to the base chain or to an exchange, the proof system determines how long that takes. The chain pages cover settlement behavior by network, and the guide on layer 1 versus layer 2 covers the categories.
Related terms
- zk rollup: the rollup design built on validity proofs
- fraud proof: the optimistic alternative
- zero knowledge proof: the cryptography underneath
- sequencer: who orders transactions before proving
- rollup: the broader scaling category
- finality: what the proof establishes on the base chain
Questions
Is a validity proof the same as a zero-knowledge proof?
Not exactly. Validity proofs are usually built with zero-knowledge proof systems, but the property being used is succinctness rather than privacy. Most rollups publish their transaction data openly and hide nothing.
Why do withdrawals still take time?
Because a proof must be generated and posted, and operators batch that work to control cost. The wait is set by proving cadence rather than by a mandatory dispute period.
Are validity proof chains safer than optimistic ones?
They rely on different assumptions rather than being strictly safer. One depends on the cryptography and verifier being correct, the other on at least one honest party watching and challenging in time.