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

Type Definitions