blanksquare-v2-monorepo

A privacy-focused zkSNARK application using Noir circuits and Solidity verifiers.

Prerequisites

Before you begin, ensure you have the following tools installed:

Required Tools

• Noir - Zero-knowledge circuit language and compiler
• Foundry - Ethereum development toolkit for testing Solidity verifiers
• pnpm - Fast, disk space efficient package manager

Optional Tools

• Barretenberg CLI - Zero-knowledge proof backend (optional, can be used for advanced workflows)

Getting Started

Running Tests

To compile circuits, generate verifiers, create proofs, and run verification tests:

# Install dependencies
pnpm i

# Compile Noir circuits
pnpm compile-circuits

# Generate Solidity verifiers from circuits
pnpm generate-solidity-verifiers

# Generate mock proofs for testing
pnpm generate-mock-proofs

# Run Foundry tests to verify proofs
pnpm test-verifiers

Development Workflow

1. Edit circuits in circuits/ directory
2. Compile with pnpm compile-circuits
3. Generate verifiers with pnpm generate-solidity-verifiers
4. Create test proofs with pnpm generate-mock-proofs
5. Run tests with pnpm test-verifiers