-
libcrux-ml-kem
Libcrux ML-KEM & Kyber 实现版本
-
libcrux
形式化验证的密码学库
-
bao
BLAKE3 验证流
-
libcrux-kem
Libcrux KEM 实现版本
-
libcrux-intrinsics
Libcrux 内置函数 crate
-
libcrux-ecdh
Libcrux ECDH 实现版本
-
libcrux-sha3
Libcrux SHA-3 实现版本
-
libcrux-hkdf
Libcrux HKDF 实现版本
-
libcrux-hmac
Libcrux HMAC 实现版本
-
hacl
使用 HACL 项目形式化验证代码的密码学库
-
evercrypt
使用HACL/Evercrypt形式化验证代码的加密库
-
bao_bin
bao crate的一部分的命令行实用程序
-
hacl-star
HACL*，一个针对Rust的形式化验证加密库（与hacl-c绑定）
-
libjade-sys
libjade的Rust绑定，libjade是一个用jasmin编写的形式化验证加密库
-
sg4
SG4接口的定义和类型
-
形式化
类型，以促进可验证Rust的开发
-
libjade
libjade的Rust绑定，libjade是一个用jasmin编写的形式化验证加密库
-
hpke-rs-evercrypt
使用Evercrypt形式化验证代码的HPKE加密后端
-
mini-wormhole-cosmwasm
一个最小的wormhole实现，仅解析、验证和解码cosmos链上的VAAs（已验证操作批准）
-
minter-utils
SG4接口的定义和类型
尝试使用DuckDuckGo搜索 搜索。