Ecosystem Brief: The Convergence of Optimistic and Zk Solutions

Key Trends

The Convergence of Optimistic and Zk Solutions

Since the advent of rollups as a scaling solution for blockchains, two competing types have emerged, optimistic and zero-knowledge (zk). Both serve to verify transactions processed on a rollup, each associated with tradeoffs in terms of security, latency, and computational efficiency. Speaking broadly, they are:

Optimistic

Optimistic rollups utilize a "fraud proof" approach, where transaction validity is assumed by default. Batched transactions are compressed and submitted to an L1 without immediate validation. If the transactions are legitimate, no further steps are taken. However, if there is a challenge from a user who detects fraudulent activity, operators are required to present proof that the transactions are valid. This approach allows for significant scalability enhancements by reducing computational needs on-chain but compromises on latency due to the "challenge period" needed to ensure fraud hasn't occurred, which is typically 7 days.

As it stands, Optimistic rollups carry an early-mover advantage over zk-rollups. Projects like Arbitrum and Optimism have benefited from being first to market with their general-purpose optimistic rollup platforms and rollup development frameworks. However, neither are fully production ready and still rely on trust assumptions: Optimism’s fraud-proof system isn’t live, and Arbitrum’s is only operated by whitelisted participants.