Enum SaapValidationError 

pub enum SaapValidationError {
    NormBoundViolation,
    ChallengeMismatch,
    InvalidAttributeCommitment,
}

Typed verification failure reasons.

Variants

NormBoundViolation

A response coefficient is at or above the rejection bound.

ChallengeMismatch

The recomputed Fiat-Shamir challenge differs from the proof’s.

InvalidAttributeCommitment

A disclosed attribute does not match its commitment.

Trait Implementations

impl Clone for SaapValidationError

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for SaapValidationError

impl Debug for SaapValidationError

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

Formats the value using the given formatter.

impl Eq for SaapValidationError

impl From<SaapValidationError> for IdentityError

fn from(e: SaapValidationError) -> Self

Converts to this type from the input type.

impl From<SaapValidationError> for AethelError

fn from(e: SaapValidationError) -> Self

Converts to this type from the input type.

impl PartialEq for SaapValidationError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SaapValidationError