Expand description

See the light_client module for the main documentation.

Re-exports§

Modules§

  • DSL for building light clients and supervisor
  • Components used by the Light Client.
  • Predicates used in components contracts.
  • Toplevel errors raised by the light client.
  • Supervisor and Handle implementation.
  • Light client implementation as per the Core Verification specification.
  • Crypto function traits allowing mocking out during testing
  • Predicates for light block validation and verification.
  • State maintained by the light client.
  • Interface and implementations of the light block store.
  • Defines or just re-exports the main datatypes used by the light client.