Enum sp_trie::VerifyError

source · [−]

pub enum VerifyError<HO, CE> {
    DuplicateKey(Vec<u8, Global>),
    ExtraneousNode,
    ExtraneousValue(Vec<u8, Global>),
    ExtraneousHashReference(HO),
    InvalidChildReference(Vec<u8, Global>),
    ValueMismatch(Vec<u8, Global>),
    IncompleteProof,
    RootMismatch(HO),
    DecodeError(CE),
}

Expand description

Errors that may occur during proof verification. Most of the errors types simply indicate that the proof is invalid with respect to the statement being verified, and the exact error type can be used for debugging.

Variants

`DuplicateKey(Vec<u8, Global>)`

The statement being verified contains multiple key-value pairs with the same key. The parameter is the duplicated key.

`ExtraneousNode`

The proof contains at least one extraneous node.

`ExtraneousValue(Vec<u8, Global>)`

The proof contains at least one extraneous value which should have been omitted from the proof.

`ExtraneousHashReference(HO)`

The proof contains at least one extraneous hash reference the should have been omitted.

`InvalidChildReference(Vec<u8, Global>)`

The proof contains an invalid child reference that exceeds the hash length.

`ValueMismatch(Vec<u8, Global>)`

The proof indicates that an expected value was not found in the trie.

`IncompleteProof`

The proof is missing trie nodes required to verify.

`RootMismatch(HO)`

The root hash computed from the proof is incorrect.

`DecodeError(CE)`

One of the proof nodes could not be decoded.

Trait Implementations

source

impl<HO, CE> Debug for Error<HO, CE> where
HO: Debug,
CE: Debug,

source

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

Formats the value using the given formatter. Read more

source

impl<HO, CE> Display for Error<HO, CE> where
HO: Debug,
CE: Error,

source

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

Formats the value using the given formatter. Read more

source

impl<HO, CE> Error for Error<HO, CE> where
HO: Debug,
CE: 'static + Error,

source

pub fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any. Read more

source

fn backtrace(&self) -> Option<&Backtrace>

🔬 This is a nightly-only experimental API. (backtrace)

Returns a stack backtrace, if available, of where this error occurred. Read more

1.0.0 · source

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

source

impl<HO, CE> PartialEq<Error<HO, CE>> for Error<HO, CE> where
HO: PartialEq<HO>,
CE: PartialEq<CE>,

source

pub fn eq(&self, other: &Error<HO, CE>) -> bool

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

source

pub fn ne(&self, other: &Error<HO, CE>) -> bool

This method tests for !=.

source

impl<HO, CE> Eq for Error<HO, CE> where
HO: Eq,
CE: Eq,

source

impl<HO, CE> StructuralEq for Error<HO, CE>

source

impl<HO, CE> StructuralPartialEq for Error<HO, CE>

Auto Trait Implementations

impl<HO, CE> RefUnwindSafe for Error<HO, CE> where
CE: RefUnwindSafe,
HO: RefUnwindSafe,

impl<HO, CE> Send for Error<HO, CE> where
CE: Send,
HO: Send,

impl<HO, CE> Sync for Error<HO, CE> where
CE: Sync,
HO: Sync,

impl<HO, CE> Unpin for Error<HO, CE> where
CE: Unpin,
HO: Unpin,

impl<HO, CE> UnwindSafe for Error<HO, CE> where
CE: UnwindSafe,
HO: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> Downcast for T where
T: Any,

source

pub fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>ⓘ
Notable traits for Box<W, Global>
`impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<R> Read for Box<R, Global> where R: Read + ?Sized, impl<I, A> Iterator for Box<I, A> where I: Iterator + ?Sized, A: Allocator, type Item = ::Item;impl<F, A> Future for Box<F, A> where F: Future + Unpin + ?Sized, A: Allocator + 'static, type Output = <F as Future>::Output;`

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait. Read more

source

pub fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait. Read more

source

pub fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s. Read more

source

pub fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s. Read more

source

impl<T> DowncastSync for T where
T: Any + Send + Sync,

source

pub fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send + 'static>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait. Read more

source