zk-STARK
What is zk-STARK?
zk-STARKA Zero-Knowledge Scalable Transparent Argument of Knowledge: a post-quantum-friendly zero-knowledge proof system that needs no trusted setup and relies only on collision-resistant hash functions.
A zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) is a non-interactive zero-knowledge proof system whose security relies only on collision-resistant hash functions and information-theoretic techniques (FRI, AIR, low-degree testing). Unlike zk-SNARKs, STARKs require no trusted setup ("transparent"), scale quasi-linearly in prover time, and are believed to be post-quantum secure. The trade-off is much larger proof sizes — typically tens to hundreds of kilobytes — though verification remains polylogarithmic. zk-STARKs underpin Starknet and other Layer-2 rollups, as well as verifiable-computation services for off-chain workloads and ML inference.
● Examples
- 01
Starknet uses zk-STARKs to prove the correctness of off-chain transaction batches against Ethereum.
- 02
Verifiable ML services that prove a model produced a specific output without revealing inputs.
● Frequently asked questions
What is zk-STARK?
A Zero-Knowledge Scalable Transparent Argument of Knowledge: a post-quantum-friendly zero-knowledge proof system that needs no trusted setup and relies only on collision-resistant hash functions. It belongs to the Cryptography category of cybersecurity.
What does zk-STARK mean?
A Zero-Knowledge Scalable Transparent Argument of Knowledge: a post-quantum-friendly zero-knowledge proof system that needs no trusted setup and relies only on collision-resistant hash functions.
How do you defend against zk-STARK?
Defences for zk-STARK typically combine technical controls and operational practices, as detailed in the full definition above.
What are other names for zk-STARK?
Common alternative names include: STARK, Scalable Transparent Argument of Knowledge.