Struct PredicateVerifier 

pub struct PredicateVerifier<P, C, V> { /* private fields */ }

Predicate verifier encapsulating components necessary to facilitate verification.

Implementations

impl<P, C, V> PredicateVerifier<P, C, V>

where P: VerificationPredicates, C: VotingPowerCalculator, V: CommitValidator,

pub fn new( predicates: P, voting_power_calculator: C, commit_validator: V, ) -> Self

Constructor.

pub fn verify_validator_sets( &self, untrusted: &UntrustedBlockState<'_>, ) -> Verdict

Validates an UntrustedBlockState.

pub fn verify_commit(&self, untrusted: &UntrustedBlockState<'_>) -> Verdict

Verify that more than 2/3 of the validators correctly committed the block.

pub fn validate_against_trusted( &self, untrusted: &UntrustedBlockState<'_>, trusted: &TrustedBlockState<'_>, options: &Options, now: Time, ) -> Verdict

Validate an UntrustedBlockState coming from a client update, based on the given TrustedBlockState, Options and current time.

pub fn check_header_is_from_past( &self, untrusted: &UntrustedBlockState<'_>, options: &Options, now: Time, ) -> Verdict

Ensure the header isn’t from a future time

pub fn verify_commit_against_trusted( &self, untrusted: &UntrustedBlockState<'_>, trusted: &TrustedBlockState<'_>, options: &Options, ) -> Verdict

Check there is enough overlap between the validator sets of the trusted and untrusted blocks.

Trait Implementations

impl<P: Clone, C: Clone, V: Clone> Clone for PredicateVerifier<P, C, V>

fn clone(&self) -> PredicateVerifier<P, C, V>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P: Debug, C: Debug, V: Debug> Debug for PredicateVerifier<P, C, V>

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

Formats the value using the given formatter.

impl<P: Default, C: Default, V: Default> Default for PredicateVerifier<P, C, V>

fn default() -> PredicateVerifier<P, C, V>

Returns the “default value” for a type.

impl<P: PartialEq, C: PartialEq, V: PartialEq> PartialEq for PredicateVerifier<P, C, V>

fn eq(&self, other: &PredicateVerifier<P, C, V>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<P, C, V> Verifier for PredicateVerifier<P, C, V>

where P: VerificationPredicates, C: VotingPowerCalculator, V: CommitValidator,

fn verify_update_header( &self, untrusted: UntrustedBlockState<'_>, trusted: TrustedBlockState<'_>, options: &Options, now: Time, ) -> Verdict

Validate the given light block state by performing the following checks ->

• Validate the untrusted header
  • Ensure the header validator hashes match the given validators
  • Ensure the header next validator hashes match the given next validators
  • Ensure the header matches the commit
  • Ensure commit is valid
• Validate the untrusted header against the trusted header
  • Ensure the latest trusted header hasn’t expired
  • Ensure the header isn’t from a future time
  • Check that the untrusted block is more recent than the trusted state
  • If the untrusted block is the very next block after the trusted block, check that their (next) validator sets hashes match.
  • Otherwise, ensure that the untrusted block has a greater height than the trusted block.
• Check there is enough overlap between the validator sets of the trusted and untrusted blocks.
• Verify that more than 2/3 of the validators correctly committed the block.

NOTE: If the untrusted state’s next_validators field is None, this will not (and will not be able to) check whether the untrusted state’s next_validators_hash field is valid.

NOTE: It is the caller’s responsibility to ensure that trusted.next_validators.hash() == trusted.next_validators_hash, as typically the trusted.next_validators validator set comes from the relayer, and trusted.next_validators_hash is the hash stored on chain.

fn verify_misbehaviour_header( &self, untrusted: UntrustedBlockState<'_>, trusted: TrustedBlockState<'_>, options: &Options, now: Time, ) -> Verdict

Verify a header received in MsgSubmitMisbehaviour. The verification for these headers is a bit more relaxed in order to catch FLA attacks. In particular the “header in the future” check for the header should be skipped.

impl<P: Eq, C: Eq, V: Eq> Eq for PredicateVerifier<P, C, V>

impl<P, C, V> StructuralPartialEq for PredicateVerifier<P, C, V>