Crate cometbft_light_client

See the light_client module for the main documentation.

Re-exports

• pub use cometbft_light_client_verifier as verifier;

Modules

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