#codegen #ibc #cosmos #merkle #rest #verification #spec #proof #generate

ics23

Merkle proof verification library - implements Cosmos ICS23 Spec

5 unstable releases

0.6.5 Apr 19, 2021
0.6.4 Mar 31, 2021
0.6.0 Mar 23, 2020
0.5.0 Aug 27, 2019
0.4.0 Aug 22, 2019

#514 in Magic Beans

Download history 389/week @ 2021-06-01 432/week @ 2021-06-08 507/week @ 2021-06-15 338/week @ 2021-06-22 268/week @ 2021-06-29 588/week @ 2021-07-06 444/week @ 2021-07-13 464/week @ 2021-07-20 398/week @ 2021-07-27 258/week @ 2021-08-03 384/week @ 2021-08-10 519/week @ 2021-08-17 275/week @ 2021-08-24 271/week @ 2021-08-31 370/week @ 2021-09-07 412/week @ 2021-09-14

581 downloads per month
Used in 5 crates (via ibc)

Apache-2.0

60KB
1.5K 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

Dependencies

~2.5MB
~43K SLoC