-
winter-verifier
Winterfell STARK 验证器
-
winter-utils
Winterfell STARK 推理/验证器
-
kani-verifier
Rust 的位精确模型检查器
-
miden-verifier
Miden 虚拟机执行验证器
-
winterfell
STARK 推理和验证器
-
risc0-groth16
RISC Zero Groth16
-
getrandom_or_panic
实现了一个 RngCore，除非存在 getrandom 否则将引发恐慌
-
creusot-contracts
Creusot 的合约和逻辑助手
-
rustls-platform-verifier-android
rustls-platform-verifier crate 的内部 JVM 支持组件。您不应直接依赖于此。
-
sfio-rustls-config
Step Function I/O 中使用的 Rustls 的配置例程
-
email-verifier
验证电子邮件地址
-
sdjwt
为发行者、持有者和验证者提供SD-JWT支持
-
swiftness_stark
Swiftness - Rust CairoVM 验证器实现
-
verify_string
验证字符串
-
sokoban
一个通用的sokoban解决方案验证器
-
metamath-rs
操作Metamath数据库，包括Metamath数据库的并行和增量验证器
-
okta-jwt-verifier
一个用于在Rust中处理Okta JWT的辅助库
-
acvm-backend-barretenberg
一个ACVM后端，允许使用Aztec Lab的Barretenberg库对ACIR电路进行证明/验证
-
derper-verifier
用于自定义Tailscale derpers的--verify-clients-url功能的验证器
-
snark-verifier
Rust、halo2和EVM的通用(S)NARK验证器。这是PSE版本的分支。
-
selective-disclosure-jwt
选择性披露JWT
-
图灵机AI
图灵机棋盘游戏工具和AI
-
pkce
生成PKCE代码验证器和挑战
-
fez
用于构建和解析RPM的纯Rust库
-
blake3-tree
加速的Blake3
-
kanga-rpm-rs
用于构建和解析RPM文件的纯Rust库
-
phone-number-verifier
Rust语言的电话号码验证库
-
trivial-verifier
平凡证明验证器 - Metamath Zero内核的接口
-
ceetle
计算树逻辑（CTL）验证器
-
eth-signature-verifier
使用ERC-6492的通用以太坊签名验证
-
groth16-solana
使用solana alt_bn128 syscalls进行groth16验证
-
swiftness_air
Swiftness - Rust CairoVM 验证器实现
-
groth16
Bellman的证明器和验证器
-
验证器
提供常见软件验证器原语的宏
-
速度
CairoVM 验证器实现
-
deevee
指定验证者签名
-
smetamath
Metamath 数据库的并行和增量验证器
-
randomx-rust-wrapper
RandomX Rust 包装器，旨在用于Fluence Capacity Commitment 验证器
-
swiftness_fri
Swiftness - Rust CairoVM 验证器实现
-
swiftness_transcript
Swiftness - Rust CairoVM 验证器实现
-
sov-stf-runner
运行Sovereign SDK rollups及其验证器
-
zksync_tee_verifier
ZKsync 库，用于 TEE 验证
-
swiftness_pow
Swiftness - Rust CairoVM 验证器实现
-
light-verifier
Light 协议中使用的ZKP证明验证器
-
swiftness_proof_parser
Swiftness 的Json证明解析器 - Rust CairoVM 验证器实现
-
swiftness_commitment
Swiftness - Rust CairoVM 验证器实现
-
solana_libra_bytecode_verifier
Libra字节码验证器
-
zksync_tee_verifier_input_producer
ZKsync TEE验证器输入生产者
-
flatbuffers-verifier
由cfbc生成的flatbuffers验证器的支持库
-
rust-idcard
中国身份证验证器
-
momoka
rs客户端
-
slack-http-verifier
验证来自Slack的HTTP请求签名
尝试使用DuckDuckGo搜索搜索。