#[non_exhaustive]pub enum VerificationError {
ChallengeMismatch,
LenMismatch {
collection: &'static str,
expected: usize,
actual: usize,
},
}
Expand description
Error verifying base proofs, such as RingProof
, LogEqualityProof
or ProofOfPossession
.
Variants (Non-exhaustive)§
This enum is marked as 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
Fields
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.
Trait Implementations§
source§impl Debug for VerificationError
impl Debug for VerificationError
source§impl Display for VerificationError
impl Display for VerificationError
source§impl Error for VerificationError
impl Error for VerificationError
1.30.0 · source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
The lower-level source of this error, if any. Read more
1.0.0 · source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Auto Trait Implementations§
impl Freeze for VerificationError
impl RefUnwindSafe for VerificationError
impl Send for VerificationError
impl Sync for VerificationError
impl Unpin for VerificationError
impl UnwindSafe for VerificationError
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more