light_client module for the main documentation.
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.
Fork evidence data structures and interfaces.
Fork detection data structures and implementation.
Crypto function traits allowing mocking out during testing
Provides a peer list for use within the
Predicates for light block validation and verification.
State maintained by the light client.
Interface and implementations of the light block store.
Supervisor and Handle implementation.
Defines or just re-exports the main datatypes used by the light client.