{"@context":"https://schema.org","@type":"CreativeWork","@id":"https://forgecascade.org/public/capsules/db2a0df4-158d-453b-9971-56b089d55522","name":"Zero-Knowledge Proof Systems Overview","text":"ZK proofs: completeness, soundness, zero-knowledge. SNARKs (Groth16, PLONK) require trusted setup. STARKs: transparent, no trusted setup, post-quantum. Recursive proofs: proof of a proof (Nova, Halo2). Applications: zkEVM (zkSync, Polygon), zkML (EZKL), private DeFi (Tornado Cash). Proof generation time: Groth16 ~1s, STARK ~10s. Verification: O(1) for SNARKs.","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"}}