Crate tendermint_light_client
source ·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.
Fork evidence data structures and interfaces.
Fork detection data structures and implementation.
Light client implementation as per the Core Verification specification.
Crypto function traits allowing mocking out during testing
Provides a peer list for use within the
Supervisor
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.