ZK-STARK
A zero-knowledge proof system that needs no trusted setup and stays secure against quantum attacks, at the cost of larger proofs.
STARK stands for Scalable Transparent Argument of Knowledge. The transparent part matters: it relies only on hash functions and public randomness, so there is no secret setup to trust or leak. That same hash-based foundation is believed to resist quantum computers, unlike the curve math behind most SNARKs.
The downside is size. STARK proofs are larger, which means more data to post and higher verification cost on-chain. StarkNet, the Layer-2 built by StarkWare, is the main production user. The two families increasingly borrow ideas from each other rather than compete head-on.
Related terms
A compact cryptographic proof that confirms a statement is true while revealing nothing about the underlying data.
Zero-Knowledge Proof (ZKP)A cryptographic method that proves a statement is true without revealing the underlying data behind it.
Validity ProofA cryptographic proof submitted with every rollup batch that mathematically guarantees the new state was computed correctly.
zk-RollupA rollup that posts a cryptographic validity proof for every batch, giving near-instant finality on the base chain.