What Is a zk-Rollup?

A zk-rollup scales a blockchain by executing many transactions off the main chain and posting a single validity proof back to it. The proof — a zero-knowledge proof — lets the base chain accept the batch as correct without re-executing it, inheriting the base chain’s security while cutting the cost per transaction. It is one of two dominant rollup designs, alongside optimistic rollups, which assume validity and allow challenges rather than proving it upfront.

Mechanism
Off-chain execution, on-chain validity proof
Contrast
Optimistic rollups assume validity, allow challenges
Benefit
Base-chain security at lower cost per transaction

Why the proof is the whole point

An optimistic rollup is cheap but assumes transactions are valid and waits out a challenge window before funds can be withdrawn. A zk-rollup replaces that assumption with mathematics: the validity proof is checked when the batch is posted, so correctness is established immediately rather than contested later.

For machine-to-machine commerce, where an agent will not wait out a multi-day challenge window, immediate finality backed by a proof is the property that matters.

Related standards

Ethereum — zk-rollups

Questions

Is a zk-rollup the same as a sidechain?

No. A sidechain has its own security; a rollup posts data and a proof to the base chain and inherits its security.

What is the trade-off?

Generating the validity proof is computationally expensive, which is the cost paid for immediate, trustless finality.

Keep reading

related
What Is a Zero-Knowledge Proof?
related
What Is a Smart Contract?
related
What Is a Merkle Tree?
related
What Is Restaking?
referenced by
zk-Rollup vs Optimistic Rollup: What’s the Difference?
Trust & the Record
Verify, Don’t Trust: Verification for AI Agents
Trust & the Record
Provenance for Autonomous Actions
Trust & the Record
How Is AI Agent Reputation Earned and Verified?
Trust & the Record
Zero-Trust Architecture for AI Agents
Trust & the Record
What Is Agent Attestation?
Trust & the Record
What Is a Trust Graph for Agents?
Trust & the Record
What Is a Blockchain Oracle?
Trust & the Record
What Is Confidential Computing?
Trust & the Record
TEEs vs Zero-Knowledge Proofs: Two Roads to Privacy
Trust & the Record
What Is Public-Key Cryptography?
Trust & the Record
What Is a Digital Signature?
Trust & the Record
What Is a Cryptographic Hash Function?
Trust & the Record
What Is Mutual TLS (mTLS)?
Trust & the Record
What Is a Sybil Attack?
Trust & the Record
What Is Certificate Transparency?
Trust & the Record
Symmetric vs Asymmetric Encryption: What’s the Difference?
Trust & the Record
Hashing vs Encryption: What’s the Difference?

By Michael Gord · published 2026-10-09 · part of the Agentic Encyclopedia. Dates are the day of publication; events are cited at their own dates.