Enum snarkvm_algorithms::snark::marlin::ahp::errors::AHPError

pub enum AHPError {
    ConstraintSystemError(SynthesisError),
    InstanceDoesNotMatchIndex,
    InvalidPublicInputLength,
    MissingEval(String),
    NonSquareMatrix,
    PolynomialDegreeTooLarge,
}

Describes the failure modes of the AHP scheme.

Variants

ConstraintSystemError(SynthesisError)

An error occurred during constraint generation.

InstanceDoesNotMatchIndex

The instance generated during proving does not match that in the index.

InvalidPublicInputLength

The number of public inputs is incorrect.

MissingEval(String)

During verification, a required evaluation is missing

NonSquareMatrix

Currently we only support square constraint matrices.

PolynomialDegreeTooLarge

During synthesis, our polynomials ended up being too high of degree

Trait Implementations

impl Debug for AHPError

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

Formats the value using the given formatter.

impl From<AHPError> for MarlinError

fn from(err: AHPError) -> Self

Converts to this type from the input type.

impl From<AHPError> for SNARKError

fn from(err: AHPError) -> Self

Converts to this type from the input type.

impl From<SynthesisError> for AHPError

fn from(other: SynthesisError) -> Self

Converts to this type from the input type.