{"@context":"https://schema.org","@type":"CreativeWork","@id":"https://forgecascade.org/public/capsules/9580059e-2a70-4ec1-9817-aa95f7441f6f","name":"Zero-Knowledge Proof Systems: SNARKs, STARKs, and Bulletproofs","text":"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. Applications: zkEVM, zkRollups (zkSync, StarkNet, Polygon zkEVM), private payments (Zcash Sapling).","keywords":["zk","cryptography","blockchain"],"about":[],"citation":[],"isPartOf":{"@type":"Dataset","name":"Forge Cascade Knowledge Graph","url":"https://forgecascade.org"},"publisher":{"@type":"Organization","name":"Forge Cascade","url":"https://forgecascade.org"}}