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

无-std informalsystems-ics23

默克尔证明验证库 - 实现 Cosmos ICS23 规范

2 个不稳定版本

0.9.0-alpha2022 年 8 月 5 日
0.6.5 2021 年 10 月 22 日

#20#merkle-proof

Apache-2.0

76KB
2K SLoC

Rust 证明验证

代码生成

为了避免构建系统直接依赖 protoc,我已经将 codegen 分离为一个子包。这将根据 proofs.proto 文件生成 rust 的 proofs.rs 文件。现在,主要的构建/测试周期与 protoc 二进制文件无关。

要重新构建 protobuf,只需:cargo protoc(在具有 protoc 路径的 dev 机器上)。除非你修改 protobuf 文件,否则可以忽略此步骤。

格式化

cargofmt

测试

cargotest

代码检查

cargoclippy ----test -W clippy::pedantic

MSRV

最低支持的 Rust 版本 (MSRV) 是 1.51.0。

依赖项

~3.5MB
~63K SLoC