Arkworks Zero-Knowledge Proof Examples

A collection of educational examples demonstrating zero-knowledge proof (zk-SNARK) implementations using the arkworks library.

Overview

This repository demonstrates how to build and verify zero-knowledge proofs using the Groth16 proving system over the BLS12-381 elliptic curve. Each example is a standalone Rust crate that can be used as a reference for building your own zk-SNARK applications.

Running Tests

Run tests for a specific example:

cd merkle
cargo test

cd ../mul
cargo test

cd ../schnorr
cargo test

⚠️ DISCLAIMER ⚠️

This repository contains educational examples only. NOT audited for production use.