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.