zk-STARK (Zero-Knowledge Scalable Transparent ARgument of Knowledge) differs from zk-SNARK by being quantum-resistant and not requiring a trusted setup, but at the cost of larger proof sizes.
A zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) is a cryptographic proof that allows one party to prove to another that they know a value without revealing the value itself.
A zero-knowledge proof is a cryptographic method by which one party can prove to another that a statement is true without revealing any information beyond the validity of the statement itself.
zk-STARK: Cryptographic proof for privacy and scalability, proving knowledge without revealing the value.
Zero-knowledge proof: Cryptographic method proving a statement true without revealing info. Enhances privacy and security in blockchain.
A zk-Rollup is a Layer 2 solution that bundles transfers using zero-knowledge proofs for scalability and privacy by validating transaction batches.