Modules
Errors which may be raised when verifying a LightBlock
Crypto function traits allowing mocking out during testing
Light client implementation as per the Core Verification specification.
Predicates for light block validation and verification.
Defines or just re-exports the main datatypes used by the light client.
Structs
Predicate verifier encapsulating components necessary to facilitate verification.
Enums
Represents the result of the verification performed by the verifier component.
Traits
The verifier checks:
Type Definitions
The default production implementation of the PredicateVerifier.