What Is the Trade-off in Computational Complexity between the Two Rollup Types?

Optimistic Rollups have a low computational cost for submitting transactions, as the Layer 1 chain only needs to verify data availability. However, they incur high complexity during the rare event of a fraud proof verification.

ZK-Rollups have a very high computational cost for generating the zero-knowledge proof off-chain. Once generated, the Layer 1 verification cost is relatively low, making them cheaper per transaction at scale, despite the initial overhead.

Differentiate between Optimistic Rollups and ZK-Rollups
What Is the Fundamental Difference between Optimistic Rollups and ZK-Rollups?
How Do Fraud Proofs in Optimistic Rollups Work to Secure Funds?
What Is the Difference between a ZK-Rollup and an Optimistic Rollup?
What Are the Security Trade-Offs between Optimistic Rollups and ZK-Rollups for Financial Applications?
Is the Overhead Different for ZK-SNARKs versus ZK-STARKs?
What Is the Primary Difference between Optimistic Rollups and ZK-Rollups?
What Is a “Sequencer” in the Context of an Optimistic Rollup?

Glossar