#consensus #bft #blockchain #cometbft #tendermint

cometbft-light-client-verifier

Implementation of the CometBFT Light Client Verification Algorithm

1 unstable release

0.1.0-alpha.2 Jan 27, 2024

#7 in #cometbft

39 downloads per month
Used in 4 crates (2 directly)

Apache-2.0

710KB
16K SLoC

Crate Docs

See the repo root for build status, license, rust version, etc.

Light Client Verifier

The verification component of the Light Client. This is extracted in order to be able to make use of verification predicates without any of the I/O and dependencies on the Rust standard library (i.e. to facilitate no_std support).

Documentation

See documentation on crates.io.

Dependencies

~4.5–6MB
~116K SLoC