Enum Groth16Error 

pub enum Groth16Error {
    SetupError,
    ProvingError,
    VerificationError,
    CircuitError(CircuitError),
    SerializationError,
}

Represents all possible errors that can occur during Groth16 operations.

This enum provides a comprehensive set of errors that might occur during setup, proving, verification, and other related operations.

Variants

SetupError

Occurs when the setup phase fails, typically due to invalid parameters or insufficient randomness.

ProvingError

Occurs when proof generation fails, usually due to invalid witness or constraint system issues.

VerificationError

Occurs when proof verification fails, indicating either an invalid proof or mismatched public inputs.

CircuitError(CircuitError)

Wraps an error from the underlying circuit implementation. This can occur during constraint generation or witness computation.

SerializationError

Occurs when serialization or deserialization of proofs, keys, or other data structures fails.

Trait Implementations

impl Debug for Groth16Error

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Groth16Error

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for Groth16Error

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<CircuitError> for Groth16Error

fn from(source: CircuitError) -> Self

Converts to this type from the input type.