Zero Knowledge Proofs: Demystified
摘要
This paper provides a comprehensive exploration of the Zero Knowledge Proofs (ZKPs), which is a class of cryptographic protocol whereby a prover persuades a verifier that they have knowledge of a particular information without actually disclosing the information itself. This paper begins by outlining the fundamental characteristics of ZKPs and demonstrating how these qualities provide efficient security and privacy. We follow up in great length on important ZKP constructs, with particular attention to methods like as zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), which provide low verification overhead and succinct proof sizes. Examined as a case study, Zcash uses zk-SNARKs to validate shielded transactions free from sender, receiver, or transaction-amount information. Furthermore, our research on blockchain-based strategy game Dark Forest shows how ZKPs might produce gameplay mechanics on a public ledger akin to a “fog of war”.