[][src]Enum tendermint_light_client::predicates::errors::VerificationError

pub enum VerificationError {
    HeaderFromTheFuture {
        header_time: Time,
        now: Time,
    },
    ImplementationSpecific(String),
    NotEnoughTrust(VotingPowerTally),
    InsufficientSignersOverlap(VotingPowerTally),
    DuplicateValidator(ValidatorAddress),
    InvalidSignature {
        signature: Vec<u8>,
        validator: Box<Validator>,
        sign_bytes: Vec<u8>,
    },
    InvalidCommitValue {
        header_hash: Hash,
        commit_hash: Hash,
    },
    InvalidNextValidatorSet {
        header_next_validators_hash: Hash,
        next_validators_hash: Hash,
    },
    InvalidValidatorSet {
        header_validators_hash: Hash,
        validators_hash: Hash,
    },
    NonIncreasingHeight {
        got: Height,
        expected: Height,
    },
    NonMonotonicBftTime {
        header_bft_time: Time,
        trusted_header_bft_time: Time,
    },
    NotWithinTrustPeriod {
        expires_at: Time,
        now: Time,
    },
}

The various errors which can be raised by the verifier component, when validating or verifying a light block.

Variants

HeaderFromTheFuture

The header is from the future

Fields of HeaderFromTheFuture

header_time: Time

Time in the header

now: Time

Current time

ImplementationSpecific(String)

Implementation specific error, for the purpose of extensibility

NotEnoughTrust(VotingPowerTally)

Not enough trust because insufficient validators overlap

InsufficientSignersOverlap(VotingPowerTally)

Insufficient signers overlap

DuplicateValidator(ValidatorAddress)

Duplicate validator in commit signatures

InvalidSignature

Invalid commit signature

Fields of InvalidSignature

signature: Vec<u8>

Signature as a byte array

validator: Box<Validator>

Validator which provided the signature

sign_bytes: Vec<u8>

Bytes which were signed

InvalidCommitValue

Invalid commit

Fields of InvalidCommitValue

header_hash: Hash

Header hash

commit_hash: Hash

Commit hash

InvalidNextValidatorSet

Hash mismatch for the next validator set

Fields of InvalidNextValidatorSet

header_next_validators_hash: Hash

Next validator set hash

next_validators_hash: Hash

Validator set hash

InvalidValidatorSet

Hash mismatch for the validator set

Fields of InvalidValidatorSet

header_validators_hash: Hash

Hash of validator set stored in header

validators_hash: Hash

Actual hash of validator set in header

NonIncreasingHeight

Unexpected header of non-increasing height compared to what was expected

Fields of NonIncreasingHeight

got: Height

Actual height of header

expected: Height

Expected minimum height

NonMonotonicBftTime

BFT Time between the trusted state and a header does not increase monotonically

Fields of NonMonotonicBftTime

header_bft_time: Time

BFT time of the untrusted header

trusted_header_bft_time: Time

BFT time of the trusted header

NotWithinTrustPeriod

Trusted state not within the trusting period

Fields of NotWithinTrustPeriod

expires_at: Time

Expiration time of the header

now: Time

Current time

Implementations

impl VerificationError[src]

pub fn context(self, source: impl Into<BoxError>) -> Context<Self>[src]

Add additional context (i.e. include a source error and capture a backtrace). You can convert the resulting Context into an Error by calling .into().

Trait Implementations

impl Clone for VerificationError[src]

impl Debug for VerificationError[src]

impl<'de> Deserialize<'de> for VerificationError[src]

impl Display for VerificationError[src]

impl Error for VerificationError[src]

impl ErrorExt for VerificationError[src]

impl PartialEq<VerificationError> for VerificationError[src]

impl Serialize for VerificationError[src]

impl StructuralPartialEq for VerificationError[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> DeserializeOwned for T where
    T: for<'de> Deserialize<'de>, 
[src]

impl<T> From<T> for T[src]

impl<T> Instrument for T[src]

impl<T> Instrument for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Pointable for T

type Init = T

The type for initializers.

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,