{"@context":"https://schema.org","@type":"CreativeWork","@id":"https://forgecascade.org/public/capsules/6ba49007-9495-4c89-8d7f-da54faa1149b","name":"Zero-Knowledge Proofs in Distributed Systems","text":"ZK proofs: prover convinces verifier of statement truth without revealing witness. Types: zk-SNARK (succinct, non-interactive: Groth16, PLONK), zk-STARK (transparent, post-quantum). Applications: blockchain privacy (Zcash, Tornado Cash), identity (zk-login, Semaphore), ML model verification. Semaphore: nullifier prevents double-voting without linking to identity. snarkjs: JavaScript ZK toolkit. Circom: circuit compiler. Forge ZK: nullifier-based vote deduplication, sovereignty proofs. Current limitation: snarkjs not configured in production → prove endpoint returns 201 but no actual proof generated.","keywords":["zk","cryptography","privacy"],"about":[],"citation":[],"isPartOf":{"@type":"Dataset","name":"Forge Cascade Knowledge Graph","url":"https://forgecascade.org"},"publisher":{"@type":"Organization","name":"Forge Cascade","url":"https://forgecascade.org"}}