Rust证明验证

代码生成

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

要重新构建 protobuf，只需： cargo protoc（在具有 protoc 的开发机器上）。除非你修改 protobuf 文件，否则可以忽略此步骤。

格式化

cargofmt

测试

cargotest

代码检查

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

代码覆盖率

cargollvm-cov

MSRV

最低支持的 Rust 版本（MSRV）是 1.56.1。