Crate veilocity_prover 

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?;

Re-exports

pub use error::ProverError;

pub use prover::CircuitType;

pub use prover::NoirProver;

pub use prover::Proof;

pub use witness::DepositWitness;

pub use witness::FullTransferWitness;

pub use witness::TransferWitness;

pub use witness::WithdrawWitness;

pub use witness::TREE_DEPTH;

Modules

error

Error types for the prover crate

prover

Noir proof generation using Barretenberg

witness

Witness generation for ZK circuits