#merkle-proof #spec #step #proto #path #binary #ics23

no-std informalsystems-ics23

Merkle proof verification library - implements Cosmos ICS23 Spec

2 unstable releases

0.9.0-alpha Aug 5, 2022
0.6.5 Oct 22, 2021

#20 in #merkle-proof

Apache-2.0

76KB
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

MSRV

The minimum supported Rust version (MSRV) is 1.51.0.

Dependencies

~3.5MB
~63K SLoC