-
risc0-zkvm
RISC Zero 零知识虚拟机
-
halo2_proofs
无信任设置的快速 PLONK 基于零知识证明系统
-
nova-snark
基于折叠方案的快速递归论证
-
proof_system
包含各种加密原语的证据系统
-
merkle-cbt
基于完全二叉树的高效 Merkle 树和组合 Merkle 证明
-
lsts
大规模类型系统
-
storage-proofs-update
SDR-PoRep CC-Sector 更新的证明
-
bbs_plus
BBS 和 BBS+ 签名和协议，用于证明签名的知识
-
bolero-kani
bolero 的 kani 插件
-
sigma_fun
使 Sigma 协议变得有趣的框架！
-
proof-of-sql-parser
用于证明 SQL 执行引擎的 SQL 解析
-
tfhe-zk-pok
TFHE的加密零知识证明
-
chaum_pedersen_auth
使用Chaum Pedersen算法的ZKP（零知识证明）
-
kzg-commitment
执行KZG多项式承诺方案
-
grovedb-merk
为GroveDB适配的Merkle键/值存储
-
kona-common
为在Fault Proof VMs之上开发客户端程序提供的通用特性和系统接口
-
ssi-data-integrity-suites
为
ssi库提供的Verifiable Credential数据完整性1.0加密套件 -
varisat
基于CDCL的SAT求解器（库）
-
zk
零知识密码学特性
-
rify
基于RIF类似合取规则的RDF推理器。输出某些声明的机器可读证明，可以廉价验证。
-
arecibo
无需信任设置的递归zkSNARKs
-
verkle-tree
Verkle 树，是 Merkle 树的强大升级，提供了更高的效率和更小的证明大小。这个 crate 提供了一个健壮、高性能且易于使用的库，用于创建……
-
kvac
键验证匿名凭证 (KVAC) 和代数 MAC
-
metamath-rs
操作 Metamath 数据库，包括 Metamath 数据库的并行和增量验证器
-
sunscreen_backend
Sunscreen 编译器的后端
-
mm0_util
MM0/MM1 语言工具
-
dax_fetcher_http
dax-rs 的 HTTP 证明获取器
-
const_unit_poc
概念证明：通过 const 泛型实现物理单位
-
darc
动态原子引用计数指针（概念证明）
-
boo-hoo
ZKBoo
-
mm0b_parser
Metamath Zero 的 MMB 二进制格式的解析工具
-
scicrypt
多方计算中的概念实现使用的轻量级加密构建模块
-
triton-profiler
针对 Triton-VM 的通用分析器
-
zkinterface-libsnark
通过 zkInterface 包装 libsnark / gadgetlib
-
nostr-ots
NIP-03：事件的开时间戳证明
-
batsat
Rust 中可扩展的 SAT 求解器
-
halo2-wasm
halo2 电路库的 Wasm 绑定
-
varisat-checker
Varisat SAT 求解器生成的证明的证明检查器
-
proof-of-history
Proof of History 的一个简单、极简的演示实现
-
singleton-trait
具有唯一值的类型的 Singleton 特性和用于零大小所有权的 Erased 类型证明
-
mithril-stm
Mithril 基于股份的阈值多重签名 (STMs)
-
slowlock
使用工作量证明函数处理加密密码的便利包装器
-
sp-statement-store
包含与声明存储相关的原语（polkadot v1.15.0）
-
rs_merkle
Rust 最先进的 Merkle 树库。支持创建和验证证明，多证明，以及高级功能，如树差异，事务性更改和回滚
-
nv
安全的密钥存储
-
maikklein/unreal-reflect
Rust对Unreal Engine 5的集成
-
bevis
无需烦恼的菲亚特-沙米尔
-
fcomm
使用Lurk的函数性承诺
-
junglefowl
一次证明一次残忍地摧毁Rust的类型系统
-
trivial-kernel
为Trivial设计的Metamath Zero内核
-
filecoin-proofs-api
与Filecoin中证明系统交互的API
-
solana-zk-token-proof-program
Solana Zk Token证明程序
-
proof-of-sql
高性能的SQL零知识（ZK）证明器
-
io-arc
具有IO特性委派的Proof of Concept Arc
-
solana-zk-sdk
Solana ZK SDK
-
varisat-internal-proof
Varisat SAT求解器的内部证明格式
-
concordium_base
定义了 Concordium Rust 项目所需的通用类型和功能
-
pallet-atomic-swap
FRAME 原子交换 pallet (polkadot v1.15.0)
-
ssi-data-integrity-core
为
ssi库提供的可验证凭证数据完整性的 1.0 核心实现 -
mmb-types
定义了 Metamath Zero 二进制格式中存在的 opcodes
-
rln
管理、计算和验证 zkSNARK 证明和 RLN 基本操作的 API
-
resource_proof
去中心化网络中节点带宽、CPU 和存储的 '证明'
-
risc0-zkp-hal
RISC Zero 零知识证明系统硬件抽象层 crate
-
sp-transaction-storage-proof
交易存储证明原语（polkadot v1.15.0）
-
rate
用于证明 SAT 求解器不可满足性结果的 Clausal 证明检查器（DRAT，DPR）
-
solana-zk-elgamal-proof-program
Solana Zk ElGamal 证明程序
-
microsoft/electionguard_verify
选举保障 SDK 参考验证器可验证由选举保障 SDK 生成的选举票、计票和证明
-
mcf-config-demo-lib
一个概念验证
-
trivial-verifier
简单的证明验证器 - Metamath Zero 内核的接口
-
ergo-nipopow
Ergo 区块链类型
-
rustreexo
Utreexo
-
groth16-solana
使用 solana alt_bn128 系统调用的 groth16 验证
-
cumulus-primitives-storage-weight-reclaim
回收存储权重。（polkadot v1.15.0）
-
ecvrf-rs
使用 Rust 实现的椭圆曲线 VRF
-
trivial-compiler
用于 Metamath Zero 二进制证明的简单编译器框架
-
sov-risc0-adapter
允许使用 Risc0 与主权 SDK 一起使用的适配器
-
creusot-contracts-dummy
creusot-contracts 的占位符 proc 模块
-
spartan2
高速SNARKs
-
cess-sp-core
CESS存储证明 - 存储证明的核心部分
-
bc4py-plot-cli
bc4py容量证明图文件生成工具
-
rate-proof-utils
子句证明（DRAT，DPR）
-
dax_core
dax-rs的通用数据类型
-
swiftness
CairoVM验证器实现
-
departed
使用已故证明的Ghosts技术提供依赖类型的一些好处
-
miraland-zk-token-proof-program
Miraland Zk Token证明程序
-
nat-poc
natls的重写概念证明
-
zkp_grpc_server
使用Chaum Pedersen算法的gRPC ZKP（零知识证明）服务器
-
bdk-reserves
比特币开发工具包的储备证明
-
lading-throttle
负载测试守护进程
-
dg_xch_pos
Chia区块链的Proof of Space库
-
cumulus-primitives-proof-size-hostfunction
将存储证明大小暴露给运行时的Hostfunction。（polkadot v1.15.0）
-
merkletree-mintlayer
一个具有包含证明实现的Merkle树通用实现，它在mintlayer-core中使用
-
spartan
无需可信设置的快速zkSNARKs
-
gvm
概念验证
-
derivation_tree
描述派生树
-
stark_evm_adapter
一个用于在EVM上验证STARK证明的lib/CLI
-
oz_merkle_rs
一个轻量级的Merkle树实现，旨在无缝集成到OpenZeppelin合同中进行证明验证
-
zksync_proof_data_handler
ZKsync证明数据处理器API
-
mrklt
计算根、生成证明和验证证明的Merkle树库
-
zkp_grpc_client
使用Chaum Pedersen算法通过gRPC使用ZKP（零知识证明）的客户端
-
congruence
闭合
-
varisat-lrat
Varisat SAT求解器的LRAT证明生成
-
dinero-exchange-cli
使用 Dinero 的概念证明命令行界面
-
swiftness_pow
Swiftness - Rust CairoVM 验证器实现
-
light-verifier
Light 协议中使用的 ZKP 验证器
-
mmb-parser
Metamath Zero 二进制证明格式的解析器
-
etf-sdk
调用 etf 密码原语进行加密和证明验证的 API
-
swiftness_proof_parser
Swiftness - Rust CairoVM 验证器实现的 Json 证明解析器
-
cess-sp-porep
CSS 存储证明 - 复制证明
-
oof
加速测试的简单证明方案
-
hocuspocus_rust_crate
将概念发布到 crates.io 的证明
-
nova-scotia
将 Circom 电路编译到 Nova zkSNARK 方案的中间件
-
darkhan
Darkhan 的测试包
-
txoo-bitcoind-client
实现 bitcoind RPC 客户端
-
risc0-zkp-verify
RISC Zero 零知识证明系统验证包
-
fawkes-crypto-bellman_ce
zk-SNARK库
尝试使用 DuckDuckGo 进行搜索。