{"id":19426361,"url":"https://github.com/ausaf007/zk-proof-demo","last_synced_at":"2025-04-24T17:31:04.716Z","repository":{"id":47403940,"uuid":"503019817","full_name":"ausaf007/zk-proof-demo","owner":"ausaf007","description":"Command-line application demonstrating the mathematical working of non-interactive ZK Proofs of discrete log problem. Also called the Schnorr signature scheme. ","archived":false,"fork":false,"pushed_at":"2022-08-13T07:22:20.000Z","size":202,"stargazers_count":4,"open_issues_count":1,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-04-03T08:37:13.611Z","etag":null,"topics":["cryptography","java","learn","non-interactive-zero-knowledge","schnorr-signatures","zk-proofs"],"latest_commit_sha":null,"homepage":"","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ausaf007.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2022-06-13T15:48:21.000Z","updated_at":"2023-04-05T01:13:13.000Z","dependencies_parsed_at":"2022-08-28T17:50:55.403Z","dependency_job_id":null,"html_url":"https://github.com/ausaf007/zk-proof-demo","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ausaf007%2Fzk-proof-demo","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ausaf007%2Fzk-proof-demo/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ausaf007%2Fzk-proof-demo/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ausaf007%2Fzk-proof-demo/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ausaf007","download_url":"https://codeload.github.com/ausaf007/zk-proof-demo/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":250674253,"owners_count":21469185,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["cryptography","java","learn","non-interactive-zero-knowledge","schnorr-signatures","zk-proofs"],"created_at":"2024-11-10T14:07:23.068Z","updated_at":"2025-04-24T17:31:04.387Z","avatar_url":"https://github.com/ausaf007.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ch1 align=\"center\"\u003eWelcome to Zk-Proof Demo 👋\u003c/h1\u003e\n\u003cp align=\"center\"\u003e\n  \n  \u003ca aria-label=\"GitHub issues\" href=\"https://github.com/ausaf007/zk-proof-demo/issues\" target=\"_blank\"\u003e\n    \u003cimg src=\"https://img.shields.io/github/issues/ausaf007/zk-proof-demo?style=for-the-badge\" /\u003e\n  \u003c/a\u003e\n  \u003ca aria-label=\"GitHub license\" href=\"https://github.com/ausaf007/zk-proof-demo/blob/master/LICENSE\" target=\"_blank\"\u003e\n    \u003cimg src= \"https://img.shields.io/badge/LICENSE-MIT-brightgreen?style=for-the-badge\" /\u003e\n  \u003c/a\u003e\n  \u003ca aria-label=\"Build Status\" target=\"_blank\"\u003e\n    \u003cimg src=\"https://img.shields.io/badge/build-passing-brightgreen?style=for-the-badge\" /\u003e\n  \u003c/a\u003e\n  \u003ca aria-label=\"GitHub contributors\" href=\"https://github.com/ausaf007/zk-proof-demo/graphs/contributors\" target=\"_blank\"\u003e\n    \u003cimg src=\"https://img.shields.io/badge/Contributors-1-brightgreen?style=for-the-badge\" /\u003e\n  \u003c/a\u003e\n  \u003ca aria-label=\"linkedin-shield\" href=\"https://www.linkedin.com/in/md-ausaf-rashid/\" target=\"_blank\"\u003e\n    \u003cimg src=\"https://img.shields.io/badge/-LinkedIn-black.svg?style=for-the-badge\u0026logo=linkedin\u0026colorB=555\" /\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\n\u003ch3 align=\"center\"\u003eUnderstand the mathematical working of Non-Interactive ZK-Proofs.\u003c/h3\u003e\n\n\u003c!-- TABLE OF CONTENTS --\u003e\n\u003cdetails open\u003e\n  \u003csummary\u003eTable of Contents\u003c/summary\u003e\n  \u003cul\u003e\n    \u003cli\u003e\u003ca href=\"#about-the-project\"\u003eAbout The Project\u003c/a\u003e\u003c/li\u003e\n    \u003cli\u003e\u003ca href=\"#tech-stack\"\u003eTech Stack\u003c/a\u003e\u003c/li\u003e\n    \u003cli\u003e\u003ca href=\"#prerequisites\"\u003ePrerequisites\u003c/a\u003e\u003c/li\u003e\n    \u003cli\u003e\u003ca href=\"#how-to-use\"\u003eHow to use?\u003c/a\u003e\u003c/li\u003e\n    \u003cli\u003e\u003ca href=\"#license\"\u003eLicense\u003c/a\u003e\u003c/li\u003e\n  \u003c/ul\u003e\n\u003c/details\u003e\n\n## About The Project\n\nThis is a command-line application demonstrating the mathematical working of non-interactive ZK Proofs of discrete log problem. Also called the Schnorr signature scheme.\n\n## Tech Stack\n\n[![](https://img.shields.io/badge/Built_with-Java-red?style=for-the-badge\u0026logo=Java)](https://www.java.com/)\n\n## Prerequisites\n\nDownload and install [Java 8 SE Development Kit](https://www.oracle.com/java/technologies/downloads/#java11) (or higher).  \n\n## How To Use?\n\n1. Download the repository or clone it using the bash command:\n   ``` \n   git clone https://github.com/ausaf007/zk-proof-demo.git\n   ```\n2. Navigate to `zk-proof-demo/src/`:\n   ``` \n   cd /path/to/repo/zk-proof-demo/src/\n   ```\n3. Compile all .java programs:\n   ``` \n   javac zkp_demo/*.java\n   ```\n4. **Signing step**: This step is performed by Peggy, who is the prover. Generate public/private key pair, and sign with a message.\n   * Run Peggy class:\n   ``` \n   java zkp_demo.Peggy\n   ```\n   * Generate public/private key pair:\n   ```\n   generate --pkp\n   ```\n   * Sign the message:\n   ```\n   sign TYPE_ANY_MESSAGE\n   ```\n   * Quit from Peggy class:\n   ```\n   quit\n   ```\n5. **Proving step**: Verify the Schnorr signature provided by Peggy. This step is performed by Victor, who is the verifier.\n   * Run Victor class:\n   ``` \n   java zkp_demo.Victor\n   ```\n   * Verify the message:\n   ```\n   verify\n   ```\n   * Quit from Victor class:\n   ```\n   quit\n   ```\n6. Thank you for using this application!\n\n## Screenshot\n\n![Preview](./screenshot/running-steps.png)\n\n## License\nCode released under [MIT License.](https://github.com/ausaf007/zk-proof-demo/blob/master/LICENSE)","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fausaf007%2Fzk-proof-demo","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fausaf007%2Fzk-proof-demo","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fausaf007%2Fzk-proof-demo/lists"}