Enum trie_db::proof::VerifyError

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

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>)

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

Tuple Fields of DuplicateKey

0: Vec<u8>

ExtraneousNode

The proof contains at least one extraneous node.

ExtraneousValue(Vec<u8>)

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

Tuple Fields of ExtraneousValue

0: Vec<u8>

ExtraneousHashReference(HO)

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

Tuple Fields of ExtraneousHashReference

0: HO

InvalidChildReference(Vec<u8>)

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

Tuple Fields of InvalidChildReference

0: Vec<u8>

ValueMismatch(Vec<u8>)

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

Tuple Fields of ValueMismatch

0: Vec<u8>

IncompleteProof

The proof is missing trie nodes required to verify.

RootMismatch(HO)

The root hash computed from the proof is incorrect.

Tuple Fields of RootMismatch

0: HO

DecodeError(CE)

One of the proof nodes could not be decoded.

Tuple Fields of DecodeError

0: CE

Trait Implementations

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

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

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

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

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

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

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

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

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

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

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

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

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

This method tests for !=.

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

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

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