-
schnorrkel
Schnorr VRF、签名等使用 Ristretto 群
-
neptune
Poseidon 在 BLS12-381 上进行哈希以用于 Filecoin
-
ark-groth16
2016 年 Groth zkSNARK 证明系统
-
risc0-zkvm
RISC Zero 零知识虚拟机
-
risc0-zkp
RISC Zero 零知识证明系统核心crate
-
triton-vm
带有代数执行表 (AET) 和算术中间表示 (AIR) 的虚拟机，用于与 STARK 证明系统结合使用，以允许证明正确...
-
decaf377
为在 BLS12-377 上进行 SNARK 设计的素数阶群
-
dusk-poseidon
在 Bls12-381 标量场上进行的 Poseidon 哈希算法
-
curve25519-dalek-v2
ristretto255 和 Curve25519 群运算的纯 Rust 实现
-
acir
虚拟机处理的IR，类似于LLVM IR
-
blitzar
blitzar-sys crate 的高级Rust封装
-
sunscreen
支持Brakerski/Fan-Vercauteren (BFV)方案的完全同态加密（FHE）编译器
-
miden-verifier
Miden VM执行验证器
-
halo2_proofs
基于PLONK的快速零知识证明系统，无需信任设置
-
libpep
PEP原语，提供伪代码化和加密接口
-
proof_system
包含各种加密原语的证明系统
-
brillig_vm
处理Brillig字节码的虚拟机，用于将非确定性引入ACVM
-
oberon
无需电子邮件、短信或认证应用的多因素零知识令牌。令牌有效性的证明仅为96字节，而令牌本身仅为48字节
-
acir_field
ACIR使用的域实现
-
acvm
给定后端/证明系统的ACIR处理虚拟机
-
brillig
用于非确定性的ACIR字节码
-
elastic-elgamal
带有可插拔加密后端的ElGamal加密和相关零知识证明
-
curv-kzen
Curv包含一个用于添加新椭圆曲线的极其简单的接口。使用此库进行通用椭圆曲线密码学
-
bn254_blackbox_solver
针对bn254曲线特定黑盒函数的求解器
-
vb_accumulator
正态和通用双线性映射累加器和成员证明及非成员证明协议
-
kzen-paillier
Paillier部分同态加密方案的纯Rust库，效率高
-
vade
VC和DID引擎
-
dapol
DAPOL+ 负债证明协议
-
bbs_plus
BBS和BBS+签名和证明签名知识的协议
-
proof-of-sql-parser
SQL解析用于SQL执行证明引擎
-
tfhe-zk-pok
TFHE 的加密零知识证明
-
test-dalek-docs
ristretto255 和 Curve25519 群运算的纯 Rust 实现
-
smc_range_proof
基于集合成员检查和和集的域证明
-
sunscreen_backend
Sunscreen 编译器的后端
-
halo2-ecc
halo2 的电路中椭圆曲线库
-
mpvss-rs
公开可验证的秘密共享库
-
chaum_pedersen_auth
使用 Chaum Pedersen 算法的 ZKP(零知识证明)
-
dalek-test-curve-docs
ristretto255 和 Curve25519 群运算的纯 Rust 实现
-
rdf-proofs
Linked Data 的 BBS+ 签名和零知识证明
-
zk
零知识密码学特性
-
sunscreen_curve25519
ristretto255 和 Curve25519 群运算的纯 Rust 实现
-
libsumatracrypt-rs
密码学
-
tari_bulletproofs
使用 Ristretto 的 Bulletproofs 的纯 Rust 实现
-
paillier-zk
Paillier 加密方案的 ZK-证明
-
sunscreen_bulletproofs
使用 Ristretto 的 Bulletproofs 的纯 Rust 实现
-
triptych
Triptych 零知识证明系统的实验性 Rust 实现
-
sunscreen_runtime
Sunscreen 中执行各种 FHE 操作的运行时
-
wedpr_l_bulletproofs
使用 Ristretto 的 Bulletproofs 的纯 Rust 实现
-
arecibo
无信任设置的递归 zkSNARKs
-
ark-groth16-zypher
2016 年 Groth zkSNARK 证明系统
-
zero-plonk
PLONK ZK-Proof 算法的纯 Rust 实现
-
sn_curv
Curv包含一个用于添加新椭圆曲线的极其简单的接口。使用此库进行通用椭圆曲线密码学
-
bls_bulletproofs
使用 Ristretto 的 Bulletproofs 的纯 Rust 实现
-
blitzar-sys
Rust对Blitzar库的绑定
-
paillier-lsc
Paillier部分同态加密方案的纯Rust库，效率高
-
aeonflux
使用代数消息认证码（aMACs）的可组合、轻量级、快速的基于属性的匿名证书，具有无限（aeon）重随机（flux）表示，使用对称可验证加密...
-
zkinterface
zkInterface的实现
-
paillier
Paillier加密方案纯Rust实现
-
sunscreen_compiler_common
包含Sunscreen FHE和ZKP编译器的常用功能
-
signature_bbs_plus
Ockam BBS+签名实现
-
zkp
Schnorr证明自动生成实现的工具包
-
lox-zkp
Schnorr证明自动生成实现的工具包
-
signature_ps
Ockam PS签名实现
-
boo-hoo
ZKBoo
-
sn_bulletproofs
使用 Ristretto 的 Bulletproofs 的纯 Rust 实现
-
generic-ec-zkp
基于
generic-eccrate构建的ZK证明和原语 -
curve25519-dalek-organism
ristretto255 和 Curve25519 群运算的纯 Rust 实现
-
compressed_sigma
压缩Sigma协议和k-Out-Of-n部分知识证明
-
arcturus
机密交易的零知识证明
-
libswifft
提供SWIFFT的C/C++库，SWIFFT是最快的可用安全哈希函数之一，同时也是抗碰撞性，同时方便预像知识零知识证明（ZKPoKP）...
-
curv-lsc
Curv包含一个用于添加新椭圆曲线的极其简单的接口。使用此库进行通用椭圆曲线密码学
-
zkrisc
基于RISC-V和zkSNARK的零知识CPU
-
zkinterface-libsnark
通过zkInterface对libsnark/gadgetlib的包装
-
plonky2_monolith
使用Monolith哈希生成Plonky2证明和编写Plonky2电路
-
bbs
BBS+签名方案
-
halo2-wasm
halo2电路库的Wasm绑定
-
ark-gm17
2017年Groth-Maller zkSNARK证明系统
-
cairo-lang-runner
基本的 cairo 运行器
-
cairo-run
Cairo 编程语言的运行器可执行文件
-
cairo-format
Cairo 编程语言的格式化可执行文件
-
cairo-lang-test-utils
在 Cairo 编译器项目中编写测试
-
cairo-language-server
Cairo 编程语言的语言服务器可执行文件
-
cairo-compile
Cairo 编程语言的编译器可执行文件
-
sunscreen_zkp_backend
包含 Sunscreen 编译器的 ZKP 后端
-
zkp-error-utils
返回
Result::Err的断言宏 -
rln
管理、计算和验证 zkSNARK 证明和 RLN 原语的 API
-
risc0-zkp-hal
RISC Zero 零知识证明系统硬件抽象层 crate
-
compiler-llvm-builder
ZKsync LLVM 框架构建器
-
zkp_grpc_server
使用 chaum pedersen 算法进行 ZKP（零知识证明）的 gRPC 服务器
-
risc0-zkp-core
RISC Zero 零知识证明系统核心crate
-
zkp_grpc_client
使用 chaum pedersen 算法进行 ZKP（零知识证明）的 gRPC 客户端
-
zkmatrix
线性代数的 zk-SNAKR
-
delegatable_credentials
用于开发 DAC（可委托匿名凭证）的方案
-
aries-bbssignatures
Hyperledger Aries 的 BBS+ 签名支持
-
zero-network
零网络隐私保护区块链
-
cryptid
使用 Curve25519 作为群的阈值 ElGamal 密码系统，带有零知识证明
-
risc0-zkp-verify
RISC Zero 零知识证明系统验证 crate
-
zkplmt
线性成员元组库的零知识证明
-
arkworks-r1cs-gadgets
使用 Arkworks 编写的 Webb 协议的 r1cs 零知识小工具
尝试使用 DuckDuckGo 搜索。