sigma-proof-compiler 0.1.0

A Rust library for creating and verifying sigma protocols (zero-knowledge proofs of knowledge) using symbolic computation over elliptic curves
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

use thiserror::Error;

#[derive(Error, Debug)]
pub enum SigmaProofError {
    #[error("SymScalar is not instantiated (contains Var(None))")]
    UninstantiatedScalar,

    #[error("SymPoint is not instantiated (contains Var(None))")]
    UninstantiatedPoint,

    #[error("Failed to deserialize SymWitness: insufficient scalars provided")]
    InsufficientScalars,

    #[error("Failed to deserialize SymInstance: insufficient points provided")]
    InsufficientPoints,

    #[error("Failed to deserialize SymWitness: too many scalars provided (expected {expected}, got {actual})")]
    TooManyScalars { expected: usize, actual: usize },

    #[error("Field '{field}' failed to deserialize")]
    FieldDeserializationFailed { field: String },

    #[error("Proof verification failed: equation check failed")]
    EquationCheckFailed,

    #[error("Issue with proof parameters: psi output length != f output length")]
    PsiOutputLengthMismatch,

    #[error("There are leftover bytes in the proof")]
    TranscriptFinalizationFailed,

    #[error("Transcript error")]
    TranscriptError,

    #[error("Invalid scalar values")]
    InvalidScalarValues,
}

pub type SigmaProofResult<T> = Result<T, SigmaProofError>;