-
ark-bls12-377
BLS12-377 配对友好的椭圆曲线
-
ark-bw6-761
BW6-761 配对友好的椭圆曲线
-
ark-groth16
2016 年 Groth zkSNARK 证明系统
-
bulletproofs
使用 Ristretto 的纯 Rust Bulletproofs 实现
-
ark-relations
一阶约束系统
-
triton-vm
一种虚拟机，它具有代数执行表（AET）和算术中间表示（AIR），可用于与 STARK 证明系统结合使用，以允许证明正确...
-
ark-secp256k1
secp256k1 曲线
-
ark-snark
SNARK 特性
-
ark-r1cs-std
约束系统小工具的标准库
-
risc0-zkvm-platform
RISC Zero 零知识 VM
-
dusk-poseidon
在Bls12-381标量域上的Poseidon哈希算法
-
legogroth16
Groth16 zkSNARK证明系统的Legosnark变体
-
json-proof-token
基于新的JOSE工作组草案规范：JSON Web证明（JWP），JSON证明令牌（JPT）和JSON证明算法（JPA）
-
ark-ed-on-mnt4-753
在MNT4-753曲线标量域上定义的扭曲Edwards曲线
-
ark-curve-constraint-tests
测试有限域、椭圆曲线和配对的约束
-
sp1-recursion-gnark-cli
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
ark-ed-on-cp6-782
在CP6-782曲线标量域上定义的扭曲Edwards曲线
-
oberon
无需电子邮件、短信或认证器应用程序的多因素零知识令牌。令牌有效性的证明仅为96字节，而令牌本身仅为48字节
-
sp1-recursion-core
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
circomspect
Circom零知识DSL的静态分析器和代码检查器
-
zkryptium
Rust 零知识证明加密库
-
dusk-hades
基于 Bls12-381 标量场的 Hades252 排列算法
-
elastic-elgamal
带可插拔加密后端的 ElGamal 加密和相关零知识证明
-
sp1-zkvm
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
dusk-safe
域元素 Sponge API
-
sp1-helper
使用构建脚本构建 SP1 程序
-
sp1-lib
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
sppark
零知识模板库
-
risc0-circuit-rv32im
RISC Zero 的 rv32im 电路
-
risc0-tools
RISC Zero 开发工具
-
kzen-paillier
Paillier 部分同态加密方案的纯 Rust 高效库
-
dapol
DAPOL+ 负债证明协议
-
sp1-recursion-gnark-ffi
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
modular_math
U256 的模运算库
-
gnark-bn254-verifier
BN254 曲线的 gnark 验证器
-
fermah
网络
-
proof-of-sql-parser
SQL 解析用于 SQL 执行引擎的证明
-
tfhe-zk-pok
TFHE 的零知识加密证明
-
ark-r1cs-std-zypher
约束系统小工具的标准库
-
ark-grumpkin
Grumpkin 原根椭圆曲线
-
sp1-build
构建 SP1 程序
-
ark-relations-zypher
一阶约束系统
-
risc0-circuit-recursion
RISC Zero 递归电路
-
ark-relations-zkhub
一阶约束系统
-
zki_sieve
SIEVE IR
-
sp1-prover
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
sp1-primitives
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
zk-citadel
Citadel，集成在Dusk Network中的SSI系统
-
sp1-recursion-program
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
zshuffle
加密并洗牌，结果为随机顺序的牌组
-
sp1-sdk
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
risc0-sys
为RISC Zero生成的/本地/HAL代码
-
leo-retriever
Leo编程语言的检索器
-
zk
零知识密码学特性
-
zk-paillier
使用Rust编写的Paillier密码系统零知识证明的集合
-
tari_bulletproofs
使用 Ristretto 的纯 Rust Bulletproofs 实现
-
paillier-zk
Paillier加密方案的ZK证明
-
sp1-recursion-circuit
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
sunscreen_bulletproofs
使用 Ristretto 的纯 Rust Bulletproofs 实现
-
uzkge
支持各种组件和原语的特定应用程序PlonK
-
ark-snark-zypher
SNARK 特性
-
circomspect-program-structure
Circomspect静态分析器的支持crate
-
zmatchmaking
具有可证明的公平性和随机性的PvP游戏的Mathmaking
-
wedpr_l_bulletproofs
使用 Ristretto 的纯 Rust Bulletproofs 实现
-
ark-groth16-zypher
2016 年 Groth zkSNARK 证明系统
-
risc0-r0vm
RISC Zero零知识虚拟机可执行文件
-
leo-disassembler
Leo编程语言的反汇编器
-
zero-plonk
PLONK零知识证明算法的纯Rust实现
-
circomspect-parser
Circomspect静态分析器的支持crate
-
bls_bulletproofs
使用 Ristretto 的纯 Rust Bulletproofs 实现
-
circomspect-program-analysis
Circomspect静态分析器的支持crate
-
paillier-lsc
Paillier 部分同态加密方案的纯 Rust 高效库
-
aeonflux
由代数消息认证码（aMACs）提供的可组合、轻量级、快速基于属性的匿名凭证，具有无限（aeon）重新随机化（flux）表示
-
sp1-server
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
ark-bulletproofs
使用secq256k1和zorro实现的纯Rust Bulletproofs实现
-
zkinterface
zkInterface的实现
-
reverie-zk
2018年KKW中概述的NIZKPoK的有效实现
-
paillier
帕里尔加密方案的纯Rust实现
-
mcircuit
在通用域上处理算术电路的工具
-
bulletproof-kzen
Bulletproofs和Bulletproofs+聚合范围证明，具有多指数验证
-
liserk-shared
liserk零知识数据库的类型
-
zkp
Schnorr证明自动生成实现的工具包
-
air-script
AirScript语言编译器
-
lox-zkp
Schnorr证明自动生成实现的工具包
-
sn_bulletproofs
使用 Ristretto 的纯 Rust Bulletproofs 实现
-
noah-bulletproofs
使用 Ristretto 的纯 Rust Bulletproofs 实现
-
arcturus
机密交易的无知证明
-
plonkup
PLONK零知识证明算法的纯Rust实现
-
air-codegen-winter
AirScript语言的Winterfell代码生成器
-
plonky2_monolith
使用Monolith哈希生成Plonky2证明并编写Plonky2电路
-
snarkos
一个去中心化操作系统
-
liserk-client
liserk零知识数据库的客户端
-
snarkvm
一个去中心化虚拟机
-
risc0-zkvm-verify
RISC Zero零知识虚拟机验证crate
-
light-poseidon
Rust中的Poseidon哈希实现
-
ark-gm17
2017年Groth-Maller zkSNARK证明系统
-
extra-safe
一个特质层次结构，帮助使SAFE API在编译时返回错误
-
risc0-zkvm-serde
RISC Zero零知识虚拟机serde crate
-
zk-paillier-lsc
使用Rust编写的Paillier密码系统零知识证明的集合
-
leo-errors
Leo 编程语言的错误
-
leo-lang
Leo 编程语言
-
aleo-rust
Aleo 程序管理和与 Aleo 网络通信的 Rust SDK
-
snarkos-node-bft
去中心化操作系统的内存池
-
snarkvm-curves
去中心化虚拟机的曲线
-
risc0-zkvm-circuit
RISC Zero 零知识 VM 电路
-
grin_secp256k1zkp
Grin 的分支，包含 Pieter Wuille 的
libsecp256k1库的 Rust 绑定 Zero-Knowledge 扩展。实现了 SECG 椭圆曲线组 secp256k1 的 ECDSA 以及相关工具。 -
zkinterface_bellman
zkInterface 的 Bellman 电路构建和证明系统
-
leo-ast
Leo 编程语言的抽象语法树 (AST)
-
snarkos-node-tcp
去中心化操作系统的 TCP 堆栈
-
snarkos-node
一个去中心化操作系统的节点
-
aleo-wasm
基于 WebAssembly 的 Aleo 开发零知识应用的工具包
-
snarkos-node-router
一个去中心化操作系统的节点路由器
-
bevis-strobe
一个基于 Henry de Valence 的 "Merlin" 的微小闪烁实现，用于与 Bevis 配合使用
-
leo-passes
Leo 编程语言的编译器遍历
-
arkworks-rs/ark-pcd
证明携带数据
-
leo-span
Leo 编程语言的跨度处理
-
liserk-ope
用于 liserk 零知识数据库的 OPE（顺序保持加密）算法
-
mugle_secp256k1zkp
Mugle 的分支，包含 Rust 绑定扩展，用于 Pieter Wuille 的
libsecp256k1库的零知识扩展。实现了 SECG 椭圆曲线组 secp256k1 的 ECDSA 以及相关工具。 -
circomspect-circom-algebra
Circomspect静态分析器的支持crate
-
snarkos-node-metrics
一个去中心化操作系统的节点
-
aleo-development-server
用于本地或远程 Aleo 开发的 REST API 服务器
-
snarkvm-utilities
去中心化虚拟机
-
phoenix-core
Phoenix的核心类型和功能，一个基于零知识证明的隐私保护交易模型
-
sp1-core
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
snarkos-node-bft-events
去中心化操作系统网关的事件
-
snarkvm-algorithms
去中心化虚拟机的算法
-
snarkos-cli
去中心化操作系统的命令行界面
-
snarkvm-synthesizer
去中心化虚拟机的合成器
-
aleo
Aleo
-
snarkvm-ledger-store
去中心化虚拟机的数据存储
-
arkworks-utils
Webb协议的零知识组件和电路的实用工具
-
snarkvm-ledger-block
去中心化虚拟机的区块
-
snarkos-node-router-messages
去中心化操作系统节点的消息
-
snarkvm-synthesizer-program
去中心化虚拟机的程序
-
snarkos-node-sync
去中心化操作系统同步模块
-
arkworks-gadgets
使用Arkworks编写的Webb协议的零知识组件
-
snarkvm-synthesizer-process
去中心化虚拟机的进程
-
air-script-core
AirScript 编译器的核心类型
-
snarkvm-ledger
去中心化虚拟机的节点账本
-
sp1-cli
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
snarkos-node-consensus
去中心化操作系统的节点共识
-
snarkos-account
去中心化操作系统的账户
-
snarkos-node-messages
去中心化操作系统节点的消息
-
air-parser
AirScript 语言的解析器
-
snarkos-node-cdn
去中心化操作系统的 CDN 客户端
-
leo-compiler
Leo 编程语言的编译器
-
snarkvm-debug
去中心化虚拟机，增加了调试信息以跟踪签名和同步
-
sp1-recursion-compiler
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
snarkos-node-sync-communication-service
去中心化操作系统同步模块的通信服务
-
snarkos-node-sync-locators
同步去中心化操作系统的定位器
-
snarkvm-fields
去中心化虚拟机的字段
-
snarkvm-ledger-coinbase
去中心化虚拟机的币基难题
-
arkworks-circuits
使用Arkworks编写的零知识组件构建的Webb协议电路
-
snarkos-node-bft-ledger-service
去中心化操作系统中内存池的账本服务
-
snarkvm-parameters
去中心化虚拟机的参数
-
sp1-derive
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
snarkvm-synthesizer-snark
为去中心化虚拟机编写的SNARK封装器
-
risc0-zkvm-circuit-sys
RISC Zero 零知识虚拟机电路crate
-
snarkos-display
去中心化操作系统的显示
-
ursa
Hyperledger组件共享的加密库
-
risc0-zkvm-host
RISC Zero 零知识虚拟机主机crate
-
ope-simplified
用于 liserk 零知识数据库的 OPE（顺序保持加密）算法
-
sp1-recursion-derive
SP1是一个性能卓越、100%开源、对贡献者友好的zkVM
-
snarkos-node-env
snarkOS的执行环境信息
-
risc0-zkvm-prove
RISC Zero 零知识虚拟机证明组件
-
snarkos-node-rest
去中心化虚拟机的REST API服务器
-
risc0-zkp-sys
RISC Zero 零知识证明系统组件
-
air-ir
AirScript语言的中间表示
-
risc0-zkvm-sys
RISC Zero 零知识虚拟机系统组件
-
leo-input
Leo编程语言的输入解析器
-
snarkvm-circuit
去中心化虚拟机的电路
-
aigc_secp256k1zkp
Aigc的Rust绑定，扩展了Pieter Wuille的libsecp256k1库，实现了SECG椭圆曲线组secp256k1和相关的实用程序。
-
webb-bulletproofs
使用 Ristretto 的纯 Rust Bulletproofs 实现
-
ark-sponge
zkSNARK的加密海绵函数
-
snarkvm-ledger-query
去中心化虚拟机的查询
-
snarkvm-ledger-narwhal-batch-header
去中心化虚拟机中Narwhal风格的内存池的批次头部
-
snarkos-rpc
去中心化操作系统的RPC
-
snarkvm-ledger-committee
去中心化虚拟机的委员会
-
snarkvm-ledger-narwhal-transmission-id
去中心化虚拟机中Narwhal风格内存池的传输ID
-
snarkvm-ledger-narwhal-subdag
去中心化虚拟机中Narwhal风格内存池的子dag
-
snarkvm-ledger-narwhal-batch-certificate
去中心化虚拟机中Narwhal风格内存池的批证书
-
snarkvm-wasm
去中心化虚拟机的WASM
-
credits
用于与credits程序交互的SDK
-
plume_rustcrypto
PLUME：基于ECDSA的nullifier友好签名方案；使用k256库
尝试使用 DuckDuckGo 搜索。