#merkle-proof #spec #verification #step #file #path #ics23

no-std ics23-blake3

Merkle proof verification library - implements Cosmos ICS23 Spec

1 unstable release

0.9.1 Jan 4, 2023

#23 in #merkle-proof


Used in jmt-blake3

Apache-2.0

86KB
2K SLoC

Rust Proof Validation

Codegen

To avoid direct dependencies on protoc in the build system, I have separated codegen into a sub-crate. This will generate the rust proofs.rs file from the proofs.proto file. The rest of the main build/test cycle is now independent of the protoc binary.

To rebuild protobuf, simply: cargo protoc (on a dev machine with protoc in path). Unless you modify the protobuf file, you can ignore this step.

Formatting

cargo fmt

Testing

cargo test

Linting

cargo clippy -- --test -W clippy::pedantic

Code Coverage

cargo llvm-cov

MSRV

The minimum supported Rust version (MSRV) is 1.56.1.

Dependencies

~4MB
~89K SLoC