zk-STARK

Scalable Transparent ARgument of Knowledge — a zero-knowledge proof family with no trusted setup and quantum-resistant construction. Larger proofs (~50-200 KB) than SNARKs but cryptographically cleaner and post-quantum secure. Used by StarkNet end-to-end and as the prover in zkSync Era (wrapped in SNARK for cheap L1 verification via Boojum).