-
filecoin-hashers
Filecoin 中使用的哈希器和它们的抽象
-
halo2_proofs
无需信任设置的快速 PLONK 基零知识证明系统
-
nova-snark
来自折叠方案的快速递归论证
-
libcrux
形式验证的密码学库
-
dleq
单曲线和多曲线离散对数等式证明
-
libcrux-intrinsics
Libcrux 内部函数包
-
franklin-crypto
SNARK 小工具的密码学库
-
fermah
网络
-
rsmonad
Rust 中的 Haskell 风格的 monads
-
ssi-contexts
与可验证凭证、去中心化标识符和链接数据证明相关的 JSON-LD 上下文文件
-
arecibo
无需信任设置的递归 zkSNARKs
-
ssi-ldp
ssi库的链式数据证明
-
commuter
用于测试交换性图的工具，允许在代数系统上进行自动化测试
-
zei
Zei：保密资产
-
fr32
Filecoin证明Fr/32字节转换工具
-
storage-proofs-core
存储证明的核心部分
-
junglefowl
一次证明杀一个Rust的类型系统
-
type-equalities
使用零大小证明观察类型等价性
-
sector-builder
扇区数据库
-
zcash_proofs
Zcash zk-SNARK电路和证明API
-
filecoin-proofs
存储证明的Filecoin特定方面，包括基于C的FFI，用于生成和验证证明
-
storage-proofs-post
时空证明
-
storage-proofs-porep
复制证明
-
zkevm_test_harness
ZKsync 时代证明工具
-
logging-toolkit
日志工具集
-
shivini
Shvini 是一个库，实现了 GPU 加速的 zkSync 证明器
-
same-as
稳定 Rust 中的类型等价
-
dependent_ghost
Matt Noonan 的 'Ghosts of Departed Proofs'
-
fil-proofs-param
Filecoin 参数 CLI 工具
-
spartan2
高速 SNARKs
-
rust-kzg-bn254
提供了一组在 Rust 中生成和交互 bn254 KZG 承诺和证明的函数，旨在支持 EigenDA 滚动集成中的欺诈和有效性证明逻辑
-
smetamath
Metamath 数据库的并行和增量验证器
-
spartan
无可信设置的快速 zkSNARKs
-
vector-commit
用于向量承诺方案的 traits 集合，以及一些 VC 的实现
-
circom-scotia
将 Circom 电路编译到 Bellperson 的中间件
-
halo2_gadgets
Halo 2 的可重用设备和芯片实现
-
cess-fr32
Filecoin证明Fr/32字节转换工具
-
cess-sp-post
CESS 存储证明 - 空间时间证明
-
halo2
[BETA] 无信任设置的快速零知识证明携带数据实现
-
nova-scotia
将 Circom 电路编译到 Nova zkSNARK 方案的中间件
-
merkle-sha3
Sha3-Merkle 是 merkle.rs 的分支，支持在 sha3 中生成包含证明的 Merkle 树
-
storage-proofs
存储证明的实现
-
merkle-tree-rs
生成 Merkle 树和 Merkle 证明
-
darkcontract
具有多个属性和自定义 Schnorr 证明的暗身份和合同
-
one-of-many-proofs
one-of-many 零知识成员证明
-
confidential_identity_v1
保密身份库
-
rsmonad-macros
Rust 中的 Haskell 风格的 monads
-
junglefowl-macros
类型级数学计算的宏
-
cess-proving-system-api
与 CESS 中的证明系统交互的 API
-
bellperson-nonnative
SNARKs的非原生算术
-
cess-proofs
包括基于C的FFI的CESS特定存储证明方面，用于生成和验证证明
尝试使用 DuckDuckGo 进行搜索。