sp1_verifier/plonk/
error.rs

1use thiserror::Error;
2
3#[derive(Error, Debug)]
4pub enum PlonkError {
5    #[error("Beyond the modulus")]
6    BeyondTheModulus,
7    #[error("BSB22 Commitment number mismatch")]
8    Bsb22CommitmentMismatch,
9    #[error("Challenge already computed")]
10    ChallengeAlreadyComputed,
11    #[error("Challenge not found")]
12    ChallengeNotFound,
13    #[error("DST too large")]
14    DSTTooLarge,
15    #[error("Ell too large")]
16    EllTooLarge,
17    #[error("Inverse not found")]
18    InverseNotFound,
19    #[error("Invalid number of digests")]
20    InvalidNumberOfDigests,
21    #[error("Invalid witness")]
22    InvalidWitness,
23    #[error("Pairing check failed")]
24    PairingCheckFailed,
25    #[error("Previous challenge not computed")]
26    PreviousChallengeNotComputed,
27    #[error("Transcript error")]
28    TranscriptError,
29    #[error("Plonk vkey hash mismatch")]
30    PlonkVkeyHashMismatch,
31    #[error("General error")]
32    GeneralError(#[from] crate::error::Error),
33}
sp1_verifier/plonk/error.rs

sp1_verifier/plonk/
error.rs
