Crate tendermint_light_client[][src]

Expand description

See the 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.

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.