ves-stark-prover 0.3.3

STARK proof generation for VES compliance proofs
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
52

//! Error types for the VES STARK prover

use thiserror::Error;

/// Errors that can occur during proof generation
#[derive(Debug, Error)]
pub enum ProverError {
    /// Invalid witness data
    #[error("Invalid witness: {0}")]
    InvalidWitness(String),

    /// Constraint violation detected
    #[error("Constraint violation: {0}")]
    ConstraintViolation(String),

    /// Policy validation failed
    #[error("Policy validation failed: {0}")]
    PolicyValidationFailed(String),

    /// Trace generation error
    #[error("Trace generation error: {0}")]
    TraceGenerationError(String),

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

    /// Serialization error
    #[error("Serialization error: {0}")]
    SerializationError(String),

    /// Invalid public inputs
    #[error("Invalid public inputs: {0}")]
    InvalidPublicInputs(String),
}

impl ProverError {
    /// Create an invalid witness error
    pub fn invalid_witness<S: Into<String>>(msg: S) -> Self {
        Self::InvalidWitness(msg.into())
    }

    /// Create a constraint violation error
    pub fn constraint_violation<S: Into<String>>(msg: S) -> Self {
        Self::ConstraintViolation(msg.into())
    }

    /// Create a policy validation error
    pub fn policy_validation_failed<S: Into<String>>(msg: S) -> Self {
        Self::PolicyValidationFailed(msg.into())
    }
}