Enum VerificationError

#[non_exhaustive]
pub enum VerificationError {
    ChallengeMismatch,
    LenMismatch {
        collection: &'static str,
        expected: usize,
        actual: usize,
    },
}

Error verifying base proofs, such as RingProof, LogEqualityProof or ProofOfPossession.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

ChallengeMismatch

Restored challenge scalar does not match the one provided in the proof.

This error most likely means that the proof itself is malformed, or that it was created for a different context than it is being verified for.

LenMismatch

A collection (e.g., number of responses in a RingProof) has a different size than expected.

This error most likely means that the proof is malformed.

Fields

collection: &'static str

Human-readable collection name, such as “public keys”.

expected: usize

Expected size of the collection.

actual: usize

Actual size of the collection.

Trait Implementations

impl Debug for VerificationError

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

Formats the value using the given formatter.

impl Display for VerificationError

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

Formats the value using the given formatter.

impl Error for VerificationError

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.