Welcome to Zk-Proof Demo 👋

Understand the mathematical working of Non-Interactive ZK-Proofs.

Table of Contents

• About The Project
• Tech Stack
• Prerequisites
• How to use?
• License

About The Project

This is a command-line application demonstrating the mathematical working of non-interactive ZK Proofs of discrete log problem. Also called the Schnorr signature scheme.

Tech Stack

Prerequisites

Download and install Java 8 SE Development Kit (or higher).

How To Use?

1. Download the repository or clone it using the bash command:

   git clone https://github.com/ausaf007/zk-proof-demo.git
   

2. Navigate to zk-proof-demo/src/:

   cd /path/to/repo/zk-proof-demo/src/
   

3. Compile all .java programs:

   javac zkp_demo/*.java
   

4. Signing step: This step is performed by Peggy, who is the prover. Generate public/private key pair, and sign with a message.
   • Run Peggy class:

   java zkp_demo.Peggy
   

   • Generate public/private key pair:

   generate --pkp
   

   • Sign the message:

   sign TYPE_ANY_MESSAGE
   

   • Quit from Peggy class:

   quit
   

5. Proving step: Verify the Schnorr signature provided by Peggy. This step is performed by Victor, who is the verifier.
   • Run Victor class:

   java zkp_demo.Victor
   

   • Verify the message:

   verify
   

   • Quit from Victor class:

   quit
   

6. Thank you for using this application!

Screenshot

License

Code released under MIT License.