-
winter-prover
Winterfell STARK 证明器
-
winter-utils
Winterfell STARK 证明器/验证器
-
proof_system
包含各种密码学原语的证明系统
-
p3-uni-stark
Plonky3 的基本 STARKs 端到端证明库
-
winterfell
STARK 证明器和验证器
-
pocket_prover
用于一阶逻辑的快速、蛮力、自动定理证明器
-
bonsai-sdk
Bonsai 软件开发工具包
-
snarkify-sdk
Snarkify Rust SDK，用于简化无服务器证明器开发和部署
-
raa_tt
证明命题演算中的句子
-
pocket_prover-set
PocketProver 的基础逻辑系统，用于推理集合属性
-
cop
高效的 first-order 连接证明
-
miden-prover
Miden VM 证明器
-
proof-of-sql
高性能零知识（ZK）SQL证明器
-
shivini
Shvini是一个实现GPU加速zkSync证明器的库
-
boojum-cuda
为zkSync证明器实现GPU加速的加密功能
-
miden-tx
Miden汇总事务编译器、执行器和证明器
-
zksync-wrapper-prover
ZKsync GPU包装证明器
-
meancop
更高效，但非精简连接证明器
-
groth16
Bellman证明器和验证器
-
ggp-rs
创建通用游戏玩家（GGP）
-
zksync-gpu-prover
ZKsync GPU证明器工具
-
liquid-layout
使用Z3证明器解决UI约束的布局引擎
-
zksync_prover_dal
ZKsync证明器DAL
-
zksync_prover_interface
与ZKsync证明器子系统交互的接口
-
cairo-proof-parser
将不同cairo证明格式进行转换的解析器
-
capacity-commitment-prover
Fluence协议容量承诺证明器的核心项目
-
sov-prover-incentives
用于激励证明者的主权SDK模块
-
pocket_prover-derive
为
pocket_prover派生过程宏 -
cometbls
即将推出™
尝试使用DuckDuckGo进行搜索。