Skip to main content
Version: Mainnet

Learning

1. What is zero knowledge proof?​

A zero-knowledge proof allows a "prover" to demonstrate knowledge of certain information to a "verifier" without revealing any of the information itself. It proves the validity of a statement without disclosing the sensitive data behind it, such as proving you are over 21 without actually showing your ID or date of birth.

The key characteristics are:

  • Completeness - If the statement the prover is trying to prove is true, a correct and honest prover will be able to convince an honest verifier of its truth
  • Soundness - If the statement is false, a dishonest prover cannot convince the verifier that it is true
  • Zero-knowledge - No additional information about the statement is revealed. The verifier learns nothing from the proof other than the fact that the statement is true. No additional private information is revealed about the statement or the secret data used to prove it.

2. How do I generate proofs and verify proofs?​

ZK proofs are generated by first converting a computational problem into a math circuit, then using a prover to create a proof of the circuit's validity without revealing the secret inputs. The proof itself is a cryptographic object that asserts the prover knows the secret information without showing it. Afterwards, the proof is sent to a verifier, who uses the public inputs and a corresponding validation key to check the proof’s correctness.

3. What are the use cases of zero knowledge proof?​

These are a few examples, and there are many more:

  • Privacy: ZKPs minimize data exposure, which reduces the risk of data breaches and unauthorized access
  • Security: By verifying information without revealing it, ZKPs create a smaller attack surface for malicious actors
  • Scalability: In blockchain, ZKPs can verify multiple transactions at once, improving efficiency and reducing costs
  • Blockchain Applications: Enhance privacy in transactions and enable scalable solutions like zk-Rollups
  • Identity: Allows for passwordless authentication and simplifies KYC processes by proving a user meets criteria without revealing sensitive information
  • Voting: Can be used to create secure and confidential voting systems.