ZK-SNARKs: Succinct Non-interactive ARguments of Knowledge. Groth16: 3-element proof, trusted setup required. PLONK: universal SRS, permutation-based argument. Circom+snarkjs ecosystem. ZK-STARKs: no trusted setup, quantum resistant, larger proofs. Polynomial commitment: FRI (Fast Reed-Solomon IOP). Bulletproofs: no trusted setup, logarithmic proof size, range proofs. KZG commitments: constant-size opening, used in EIP-4844 (blob transactions). Recursion: Nova folding scheme, SNARK-in-SNARK....
- zk
- cryptography
- blockchain