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”.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Zero Knowledge Proofs: Demystified

  • Haïdar Ally Deenmahomed,
  • Roopesh Kevin Sungkur,
  • Avinash Mungur

摘要

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”.