Expand description
See the light_client
module for the main documentation.
Re-exports§
pub use tendermint_light_client_verifier as verifier;
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.