Module tendermint_light_client::predicates
source · Expand description
Predicates for light block validation and verification.
Structs§
- Production predicates, using the default implementation of the
VerificationPredicates
trait.
Traits§
- Defines the various predicates used to validate and verify light blocks.