[−][src]Trait tendermint_light_client::components::verifier::Verifier
The verifier checks:
a) whether a given untrusted light block is valid, and b) whether a given untrusted light block should be trusted based on a previously verified block.
Implements
- [TMBC-VAL-CONTAINS-CORR.1]
- [TMBC-VAL-COMMIT.1]
Required methods
pub fn verify(
&self,
untrusted: &LightBlock,
trusted: &LightBlock,
options: &Options,
now: Time
) -> Verdict
[src]
&self,
untrusted: &LightBlock,
trusted: &LightBlock,
options: &Options,
now: Time
) -> Verdict
Perform the verification.
Implementors
impl Verifier for ProdVerifier
[src]
pub fn verify(
&self,
untrusted: &LightBlock,
trusted: &LightBlock,
options: &Options,
now: Time
) -> Verdict
[src]
&self,
untrusted: &LightBlock,
trusted: &LightBlock,
options: &Options,
now: Time
) -> Verdict