#consensus #bft #tendermint #cosmos #blockchain

tendermint-light-client-verifier

Implementation of the Tendermint Light Client Verification Algorithm

27 releases

0.35.0 Mar 14, 2024
0.34.0 Oct 2, 2023
0.33.0 Jul 24, 2023
0.30.0 Mar 7, 2023
0.24.0-pre.1 Jan 14, 2022

#424 in Magic Beans

Download history 2576/week @ 2023-12-21 2786/week @ 2023-12-28 3783/week @ 2024-01-04 5218/week @ 2024-01-11 5026/week @ 2024-01-18 5976/week @ 2024-01-25 14961/week @ 2024-02-01 5334/week @ 2024-02-08 5771/week @ 2024-02-15 5473/week @ 2024-02-22 4055/week @ 2024-02-29 6867/week @ 2024-03-07 6451/week @ 2024-03-14 5278/week @ 2024-03-21 5015/week @ 2024-03-28 4378/week @ 2024-04-04

22,062 downloads per month
Used in 41 crates (10 directly)

Apache-2.0

605KB
13K 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

~6.5MB
~131K SLoC