34 releases (17 breaking)
| 0.40.0 | Oct 23, 2024 |
|---|---|
| 0.38.1 | Jul 23, 2024 |
| 0.35.0 | Mar 14, 2024 |
| 0.34.0 | Oct 2, 2023 |
| 0.24.0-pre.1 | Jan 14, 2022 |
#14 in #bft
23,071 downloads per month
Used in 68 crates
(10 directly)
620KB
14K
SLoC
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–6.5MB
~127K SLoC