Enum winter_fri::VerifierError

pub enum VerifierError {
    PublicCoinError(RandomCoinError),
    UnsupportedFoldingFactor(usize),
    NumPositionEvaluationMismatch(usize, usize),
    LayerCommitmentMismatch,
    InvalidLayerFolding(usize),
    RemainderTreeConstructionFailed(String),
    RemainderCommitmentMismatch,
    InvalidRemainderFolding,
    RemainderDegreeNotValid,
    RemainderDegreeMismatch(usize),
    DegreeTruncation(usize, usize, usize),
}

Defines errors which can occur during FRI proof verification.

Variants

PublicCoinError(RandomCoinError)

Attempt to draw a random value from a public coin failed.

UnsupportedFoldingFactor(usize)

Folding factor specified for the protocol is not supported. Currently, supported folding factors are: 4, 8, and 16.

NumPositionEvaluationMismatch(usize, usize)

Number of query positions does not match the number of provided evaluations.

LayerCommitmentMismatch

Evaluations at queried positions did not match layer commitment made by the prover.

InvalidLayerFolding(usize)

Degree-respecting projection was not performed correctly at one of the layers.

RemainderTreeConstructionFailed(String)

Failed to construct a Merkle tree out of FRI remainder values.

RemainderCommitmentMismatch

FRI remainder did not match the commitment.

InvalidRemainderFolding

Degree-respecting projection was not performed correctly at the last layer.

RemainderDegreeNotValid

FRI remainder expected degree is greater than number of remainder values.

RemainderDegreeMismatch(usize)

FRI remainder degree is greater than the polynomial degree expected for the last layer.

DegreeTruncation(usize, usize, usize)

Polynomial degree at one of the FRI layers could not be divided evenly by the folding factor.

Trait Implementations

impl Debug for VerifierError

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

Formats the value using the given formatter.

impl Display for VerifierError

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

Formats the value using the given formatter.

impl PartialEq<VerifierError> for VerifierError

fn eq(&self, other: &VerifierError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for VerifierError

impl StructuralEq for VerifierError

impl StructuralPartialEq for VerifierError