veilocity-prover 0.1.4

ZK proof generation for Veilocity using Noir circuits
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

//! Error types for the prover crate

use thiserror::Error;

/// Errors that can occur during proof generation
#[derive(Error, Debug)]
pub enum ProverError {
    /// Witness generation failed
    #[error("Failed to generate witness: {0}")]
    WitnessGeneration(String),

    /// Proof generation failed
    #[error("Failed to generate proof: {0}")]
    ProofGeneration(String),

    /// Proof verification failed
    #[error("Proof verification failed: {0}")]
    ProofVerification(String),

    /// Invalid input provided
    #[error("Invalid input: {0}")]
    InvalidInput(String),

    /// IO error
    #[error("IO error: {0}")]
    Io(#[from] std::io::Error),

    /// Serialization error
    #[error("Serialization error: {0}")]
    Serialization(#[from] serde_json::Error),

    /// Circuit not found
    #[error("Circuit not found: {0}")]
    CircuitNotFound(String),

    /// Command execution failed
    #[error("Command execution failed: {0}")]
    CommandFailed(String),

    /// Insufficient balance
    #[error("Insufficient balance: have {have}, need {need}")]
    InsufficientBalance { have: u128, need: u128 },

    /// Invalid Merkle proof
    #[error("Invalid Merkle proof")]
    InvalidMerkleProof,

    /// Circuit compilation required
    #[error("Circuit needs to be compiled first. Run: cd circuits && nargo compile")]
    CircuitNotCompiled,
}