zk-rollup

A zk-rollup is a rollup that proves its off-chain transactions are correct by attaching a compact cryptographic validity proof to every batch it posts to the main chain. Instead of asking the world to trust the batch and watch for fraud, it hands the base chain a short mathematical certificate that the new state follows from the old one by the rules. The base chain checks that certificate and, if it holds, accepts the batch as final, no waiting and no disputes required.

The proof itself is a zero-knowledge proof (often a zk-SNARK or zk-STARK): a way to demonstrate that a computation was performed correctly without revealing all the inputs, and crucially in a form that is tiny and quick to verify even though the computation behind it was huge. Producing the proof is expensive and slow; checking it is cheap and fast. That asymmetry is the whole point, because the expensive part happens once, off-chain, while the cheap check is what the busy base chain has to do.

Compare it to a teacher who, instead of re-solving a thousand exam problems, is handed a single sealed answer key that can be verified to match the official solutions in seconds. Because correctness is proven up front, zk-rollups offer fast finality and let users withdraw to the base chain almost immediately, rather than waiting out a challenge window as optimistic rollups do. This makes them a strong long-term answer to scaling, with the same proof machinery also unlocking privacy-preserving applications.