zk-STARK
A zero-knowledge proof system that lets someone prove a computation is correct without revealing the underlying data, using transparent, hash-based cryptography.
A zk-STARK, short for zero-knowledge Scalable Transparent Argument of Knowledge, is a cryptographic proof that lets one party show a statement or computation is valid without exposing the private inputs behind it. Unlike some zero-knowledge systems, zk-STARKs do not require a trusted setup, meaning users do not have to rely on secret setup parameters being generated and destroyed safely. They are also designed to scale well for large computations and rely mainly on hash functions, which makes them attractive for long-term security assumptions.
In crypto, zk-STARKs are used to improve privacy and scalability. A blockchain project can use them to prove that thousands of transactions were processed correctly, then post only a compact proof on-chain instead of all the detailed transaction data. Compared with zk-SNARKs, zk-STARK proofs are usually larger, but they avoid trusted setup and are often viewed as more transparent. A practical example is a rollup that batches transactions off-chain and uses a zk-STARK proof so the main blockchain can verify the batch efficiently.
Other terms in Cryptography & Privacy
CoinJoin
A privacy technique that combines multiple users’ cryptocurrency payments into one transaction to make input-output links harder to trace.
Crypto Mixer
A service or protocol that blends cryptocurrency from many users to make transaction trails harder to trace on a public blockchain.
Digital Signature
A digital signature is cryptographic proof that a message or transaction was approved by the holder of a specific private key.
Fully Homomorphic Encryption
A cryptographic method that lets data be processed while still encrypted, so only the key holder can reveal the final result.