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
.