{"id":27970049,"url":"https://github.com/hvuhsg/zkp","last_synced_at":"2025-05-07T21:56:07.177Z","repository":{"id":288502555,"uuid":"962851780","full_name":"hvuhsg/zkp","owner":"hvuhsg","description":"Zero knowledge proof creation and verification ","archived":false,"fork":false,"pushed_at":"2025-04-17T22:51:41.000Z","size":22,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-05-07T21:56:02.825Z","etag":null,"topics":["coloring-graph","zero-knowledge"],"latest_commit_sha":null,"homepage":"","language":"Go","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/hvuhsg.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2025-04-08T19:13:19.000Z","updated_at":"2025-04-17T22:51:44.000Z","dependencies_parsed_at":"2025-04-20T09:33:37.342Z","dependency_job_id":null,"html_url":"https://github.com/hvuhsg/zkp","commit_stats":null,"previous_names":["hvuhsg/zkp"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hvuhsg%2Fzkp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hvuhsg%2Fzkp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hvuhsg%2Fzkp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hvuhsg%2Fzkp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/hvuhsg","download_url":"https://codeload.github.com/hvuhsg/zkp/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252961836,"owners_count":21832193,"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":["coloring-graph","zero-knowledge"],"created_at":"2025-05-07T21:56:06.694Z","updated_at":"2025-05-07T21:56:07.155Z","avatar_url":"https://github.com/hvuhsg.png","language":"Go","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Zero-Knowledge Proof Implementation\n\n[![Go Tests](https://github.com/hvuhsg/zkp/actions/workflows/go-tests.yml/badge.svg?branch=main)](https://github.com/hvuhsg/zkp/actions/workflows/go-tests.yml)\n\nThis project implements a zero-knowledge proof system for graph coloring problems using Go. It provides a way to prove knowledge of a valid graph coloring without revealing the actual coloring solution.\n\n## Overview\n\nThe implementation consists of three main components:\n1. **Proofer**: Creates zero-knowledge proofs for graph coloring solutions\n2. **Verifier**: Validates the proofs without revealing the actual coloring\n3. **Graph Structures**: Implements various graph types and coloring mechanisms\n\n## Features\n\n- Zero-knowledge proof generation for graph coloring\n- Cryptographic commitment scheme using SHA-1\n- Graph serialization and deserialization\n- Comprehensive test suite\n- Benchmarking capabilities\n\n## Project Structure\n\n```\n.\n├── coloring_graph/     # Graph coloring implementation\n├── commitment_graph/   # Commitment scheme for proofs\n├── graph/             # Base graph data structures\n├── proofer.go         # Proof generation\n├── verifier.go        # Proof verification\n├── randomizer.go      # Random number generation for proofs\n└── *_test.go          # Test files\n```\n\n## Requirements\n\n- Go 1.24.1 or higher\n- Dependencies:\n  - github.com/stretchr/testify v1.10.0\n\n## Installation\n\n1. Clone the repository:\n```bash\ngit clone https://github.com/hvuhsg/zkp.git\ncd zkp\n```\n\n2. Install dependencies:\n```bash\ngo mod download\n```\n\n## Usage\n\n### Creating a Proof\n\n```go\n// Create a colored graph\ncoloredGraph := coloringgraph.NewColoringGraph(...)\n\n// Initialize the proofer\nproofer := zkp.NewProofer(coloredGraph)\n\n// Generate a proof\nproof := proofer.CreateProof(length)\n```\n\n### Verifying a Proof\n\n```go\n// Verify a proof\nisValid := proof.Verify()\n```\n\n## Testing\n\nRun the test suite:\n```bash\ngo test ./...\n```\n\nRun benchmarks:\n```bash\ngo test -bench=. ./...\n```\n\n## Security\n\nThis implementation uses SHA-1 for cryptographic commitments. While this is sufficient for demonstration purposes, for production use, consider using a more modern cryptographic hash function.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhvuhsg%2Fzkp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhvuhsg%2Fzkp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhvuhsg%2Fzkp/lists"}