Rust 证明验证

代码生成

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

要重新构建 protobuf，只需： cargo protoc (在包含 protoc 的开发机上)。除非您修改 protobuf 文件，否则可以忽略此步骤。

格式化

cargofmt

测试

cargotest

代码检查

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

代码覆盖率

cargollvm-cov

MSRV

最小支持的 Rust 版本 (MSRV) 是 1.60。