sp1-verifier 6.1.0

Verifier for SP1 Groth16 and Plonk 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

use bn::{CurveError, FieldError, GroupError};
use thiserror::Error;

#[derive(Error, Debug)]
pub enum Error {
    // Input Errors
    #[error("Invalid witness")]
    InvalidWitness,
    #[error("Invalid x length")]
    InvalidXLength,
    #[error("Invalid data")]
    InvalidData,
    #[error("Invalid point in subgroup check")]
    InvalidPoint,

    // Conversion Errors
    #[error("Failed to get Fr from random bytes")]
    FailedToGetFrFromRandomBytes,

    // External Library Errors
    #[error("BN254 Field Error: {0}")]
    Field(FieldError),
    #[error("BN254 Group Error: {0}")]
    Group(GroupError),
    #[error("BN254 Curve Error: {0}")]
    Curve(CurveError),

    // SP1 Errors
    #[error("Invalid program vkey hash")]
    InvalidProgramVkeyHash,
}