Skip to content

README.md

Latest commit

 

History

History
71 lines (51 loc) · 2.91 KB

README.md

File metadata and controls

71 lines (51 loc) · 2.91 KB

ZK Research Cohort Implementations

This repository contains Rust implementations of various Zero-Knowledge Proof (ZKP) protocols and polynomial primitives, developed as part of a ZK Research Cohort. The implementations are built using the Arkworks ecosystem, specifically targeting the BN254 elliptic curve.

📚 Overview

The project is organized as a workspace with two primary crates:

  • polynomials: Provides the mathematical foundations, including custom implementations of polynomial structures.
  • protocols: Contains the core ZK protocols and cryptographic schemes built on top of the polynomial primitives.

✨ Implemented Primitives

🧮 Polynomials (/polynomials)

Foundational structures required for the protocols:

  • Multilinear Polynomials: Implementation of polynomials in multiple variables where the degree in each variable is at most 1. Crucial for the Sumcheck protocol.
  • Univariate Polynomials: Basic operations for single-variable polynomials.

🔐 Protocols (/protocols)

Interactive and non-interactive protocols:

  • Sumcheck Protocol: A fundamental interactive proof system that allows a prover to convince a verifier of the sum of a multivariate polynomial over a Boolean hypercube.
  • GKR (Goldwasser-Kalai-Rothblum): A protocol for verifying computations expressed as layered arithmetic circuits (IP for log-depth circuits).
  • Shamir's Secret Sharing: A threshold scheme to split a secret into parts, where the secret can only be reconstructed when a sufficient number of parts are combined.
  • Fiat-Shamir Transform: A technique used to convert public-coin interactive protocols (like Sumcheck and GKR) into non-interactive Zero-Knowledge arguments.

🛠️ Tech Stack

  • Language: Rust
  • Crypto Library: Arkworks
    • ark-bn254: For the BN254 elliptic curve (commonly used in Ethereum ZK applications).
    • ark-ff: For finite field arithmetic.
  • Utilities: rand for randomness, sha3 for hashing (likely used in the Fiat-Shamir implementation).

🚀 Getting Started

Prerequisites

Ensure you have Rust and Cargo installed. You can install them via rustup.rs.

Installation

  1. Clone the repository:

    git clone https://github.com/psychemist/zk_implementations.git
cd zk_implementations

  2. Build the project:

    cargo build

Running Tests

The repository includes unit tests for both the polynomial arithmetic and the cryptographic protocols.

Run all tests:

cargo test

Run tests for a specific crate:

# Test only the protocols
cargo test -p protocols

# Test only the polynomial implementations
cargo test -p polynomials

⚠️ Disclaimer

These implementations are intended for educational and research purposes. They have not been audited and are not intended for production use.