Veilocity Prover

Witness generation and proof creation using Noir/Barretenberg.

This crate provides:

• Witness generation for deposit, withdrawal, and transfer circuits
• Proof generation using Barretenberg (bb CLI)
• Proof verification
• Solidity verifier generation

Usage

use veilocity_prover::{NoirProver, DepositWitness};

let prover = NoirProver::default_paths();

// Create witness
let witness = DepositWitness::new(commitment, amount, secret);

// Generate proof
let proof = prover.prove_deposit(&witness).await?;