Rust Cryptol 客户端

目的

此包是一个用于连接并交互运行中的 cryptol-remote-api 实例的实用工具集合。

保证

此项目使用多种机制来提高其保证。

• 使用 #![forbid(unsafe_code)] 确保使用安全的 Rust，
• 使用 clippy 检查器在严格级别，
• 使用 rust 格式化器 确保代码遵循 Rust 风格，
• 每个公共函数都有一个正负测试，
• 上述工具由 CI 用于强制执行此项目的不变量。

本地测试

假设 Docker 可用，可以通过首先启动 cryptol-remote-api 来测试该项目。

$ docker run --rm -it -p 49352:49352 ghcr.io/galoisinc/cryptol-remote-api:nightly +RTS -N -RTS http --host 0.0.0.0 --port 49352 / --max-occupancy 1000

接下来，可以运行以下命令来测试此项目

$ CRYPTOL_SERVER_URL="http://0.0.0.0:49352" cargo test
$ CRYPTOL_SERVER_URL="http://0.0.0.0:49352" cargo test --example sha384

此外，还可以按照以下方式运行提供的 SHA-384 示例

$ CRYPTOL_SERVER_URL="http://0.0.0.0:49352" cargo run --example sha384 "0x12345678"