ZK Proof System

A high-performance zero-knowledge proof system built with Halo2, providing efficient proof generation and verification capabilities.

Features

• Modular Architecture: Separated into core, commitments, verifier, and bindings modules
• Halo2 Integration: Built on top of the battle-tested Halo2 proving system
• Performance Optimized: Leveraging Rust's zero-cost abstractions
• FFI Bindings: C/C++ and WebAssembly bindings for cross-language support
• Comprehensive Testing: Unit tests, integration tests, and benchmarks
• CI/CD Pipeline: Automated testing and deployment via GitHub Actions

Quick Start

Prerequisites

• Rust 1.70 or higher
• Cargo

Installation

# Clone the repository
git clone https://github.com/amitduabits/zk-proof-system.git
cd zk-proof-system

# Build the project
cargo build --release

# Run tests
cargo test

# Run benchmarks
cargo bench

Project Structure

zk-proof-system/
├── core/               # Core functionality and abstractions
├── commitments/        # Commitment schemes implementation
├── verifier/          # Proof verification logic
├── bindings/          # FFI and WASM bindings
├── Cargo.toml         # Workspace configuration
├── rustfmt.toml       # Code formatting rules
├── .clippy.toml       # Linting configuration
└── .github/           # CI/CD workflows

License

This project is dual-licensed under either:

• Apache License, Version 2.0
• MIT license

at your option.