Zero-knowledge cryptography has spent a decade being theoretically exciting and practically unusable. That has finally changed. Starknet, zkSync Era, Linea, Scroll and Polygon zkEVM all ship Type 2-4 ZK rollups in production; Mina runs a ZK-native L1; Aleo is building a privacy-first smart contract chain.
For the background see the ZK rollup glossary entry and the Layer 2 sector.
What ZK actually does
A zero-knowledge proof lets one party prove to another that a statement is true without revealing any information beyond the fact of its truth. Applied to a blockchain, that means a rollup can execute thousands of transactions off-chain, generate a single proof that they were all valid, and post that proof to Ethereum mainnet. The mainnet only verifies the proof — it never re-executes the transactions — so throughput scales by the ratio of transactions per proof.
In practice, the big two ZK applications are:
- Execution scaling (ZK rollups). Starknet, zkSync, Linea, Scroll, and Polygon zkEVM all use validity proofs to settle L2 activity on Ethereum. Fees run 10-100x cheaper than mainnet, with the cryptographic guarantee that the L2 state is correct without needing a fraud-proof challenge window. That’s the structural advantage over optimistic rollups (Arbitrum, Optimism), which rely on a 7-day withdrawal window for challenges.
- Privacy (ZK L1s and apps). Aleo is building a ZK-native smart-contract L1 where application state is shielded by default. Mina compresses its entire chain to roughly 22 KB using recursive proofs. Zcash uses ZK proofs for shielded transactions on a Bitcoin-like monetary asset.
Major projects and how they differ
The ZK landscape clusters into a few distinct bets. Starknet (STRK) uses STARK proofs — transparent (no trusted setup) but larger proof sizes than SNARKs. zkSync (ZK) and Scroll target full EVM equivalence so existing Solidity code ports over without rewrites. Mina (MINA) and Aleo (ALEO) run ZK-native application layers where every transition is proven. Each token accrues value differently: rollup tokens through sequencer fees and future decentralization incentives, L1 tokens through staking and application settlement, proving-network tokens (like Risc Zero’s Boundless, Succinct’s SP1, and Nil Foundation’s =nil;) through paid proof generation.
Risks and things to watch
ZK infrastructure is still maturing. Prover costs are dropping but remain meaningfully higher than optimistic rollup overhead. Proof-system bugs carry real risk — any cryptographic flaw in the underlying circuit could be catastrophic. And the sector token-value capture mechanism is still being worked out: many ZK tokens are effectively governance assets with thin economic ties to the networks they govern. For a clearer picture of where this fits alongside optimistic rollups, see the Layer 2 sector.
Data below is live from CoinGecko.