-
risc0-zkp
RISC Zero 零知识证明系统核心包
-
decaf377
专为在 BLS12-377 上使用 SNARK 设计的素阶群
-
reso
可视化像素艺术逻辑电路设计语言
-
quantr
创建和模拟基于门的量子电路
-
quest_bind
Quantum Exact Simulation Toolkit (QuEST) 的包装器
-
gsim
高速数字逻辑仿真
-
digital_test_runner
解析并运行 hnemann 的数字逻辑设计器和电路仿真器中使用的测试
-
risc0-circuit-rv32im
RISC Zero rv32im 电路
-
capy-graph
动态构建算术电路的框架
-
risc0-circuit-recursion
RISC Zero 递归电路
-
halo2-ecc
halo2 电路中的椭圆曲线库
-
halo2-base
嵌入式领域特定语言(eDSL)，用于使用
API编写电路。它简化了电路编程，只需声明约束... -
bevy_logic
Bevy的逻辑门模拟插件
-
rust-witness
使用Rust构建circom证明
-
bra_ket
多线程电路模型量子模拟器，用于状态向量和密度矩阵
-
hfq_rs
使用Polars进行数据帧操作，优化了多线程和性能，用于分析电路文件，确定指定电路元件的工作范围
-
qip
高效的量子计算模拟
-
risc0-circuit-bigint
RISC Zero大整数计算电路
-
keypad
适用于键盘矩阵电路的平台无关驱动程序
-
roqoqo-qir
HQS量子模拟的roqoqo Rust量子计算工具包的QIR接口
-
phoenix-circuits
Phoenix的电路定义，一个基于ZKP的隐私保护事务模型
-
roqoqo-iqm
roqoqo Rust 量子计算工具包的 IQM 接口
-
netlistdb
支持向量网、层次模块、赋值等的异构 VLSI 电路网表数据库
-
rustlogic
逻辑公式的解析和处理基础
-
scale-core
通过 wasm 编译至 SCALE 的底层数据结构和功能
-
rslogicsim
使用 Rust 编写的逻辑门/电路模拟器
-
qoqo_qasm
HQS 量子模拟的 roqoqo_qasm 的 Python 接口
-
roqoqo-qasm
HQS 量子模拟的 roqoqo_qasm 为 roqoqo Rust 量子计算工具包提供的 QASM 接口
-
acvm-backend-barretenberg
一个 ACVM 后端，允许通过 Aztec Lab 的 Barretenberg 库对 ACIR 电路进行证明/验证
-
mcircuit
在通用域上处理算术电路的工具
-
boo-hoo
ZKBoo
-
speedicycle
在无向图上定位固定长度电路，基于 petgraph 构建
-
measures
单位度量及电学计算库
-
lef21
交换格式（LEF）集成电路布局解析器与写入器
-
ff-uint
构建与接口固定大小的整数和有限域
-
qollage
HQS量子模拟的qoqo量子计算工具包的可视化工具
-
halo2-wasm
halo2电路库的Wasm绑定
-
bellperson
zk-SNARK库
-
bellpepper-core
SNARK电路库的核心元素
-
layout21raw
Layout21原始格式集成电路布局
-
zcash_proofs
Zcash zk-SNARK电路和证明API
-
boojum
密码学库
-
xbar
基于迭代器的局部性保持的单侧二叉树 - 横栏开关布线设计算法的实现
-
bellpepper
SNARK电路库的组件
-
bellman_ce
zk-SNARK库
-
zkevm_test_harness
ZKsync Era proving utilities
-
risc0-zkvm-circuit
RISC Zero 零知识虚拟机电路
-
bellman
zk-SNARK库
-
circuit_definitions
ZKsync Era 电路定义
-
snarkvm-circuit-program
去中心化虚拟机的程序电路库
-
circuit_sequencer_api
ZKsync Era 电路 API 用于 sequencer
-
resistor
根据色环计算电阻
-
snarkvm-circuit-types-field
去中心化虚拟机的域电路
-
snarkvm-circuit-types-boolean
去中心化虚拟机的布尔电路
-
snarkvm-circuit-algorithms
去中心化虚拟机的算法电路库
-
snarkvm-circuit-types-integers
去中心化虚拟机的整数电路
-
snarkvm-circuit-account
去中心化虚拟机的账户电路库
-
snarkvm-circuit-types-scalar
去中心化虚拟机的标量电路
-
snarkvm-circuit-types-group
去中心化虚拟机的群电路
-
layout21
集成电路布局
-
tc_save_monger
Turing Complete游戏save_monger库的Rust重实现
-
snarkvm-circuit-collections
去中心化虚拟机的集合电路库
-
snarkvm-circuit-types-address
去中心化虚拟机的地址电路
-
circuit_encodings
ZKsync Era电路编码
-
zkevm_circuits
为EraVM提供的ZKsync Era电路
-
temperature
该包提供温度模拟器
-
allegro-motor-drivers
Allegro微系统电机控制器驱动寄存器
-
snarkvm-circuit-network
去中心化虚拟机的网络电路库
-
positron
解析和执行布尔表达式
-
snarkvm-circuit-environment
去中心化虚拟机的电路环境
-
snarkvm-circuit-types-string
去中心化虚拟机的字符串电路
-
splinter
专注于隐私的分布式应用程序平台，为组织之间提供区块链启发的通信和交易网络环境
-
logic-circus
使用 Rust 编写的开源逻辑电路模拟器
-
rustlogic-march1917
对逻辑公式的简单解析和处理（从 coastalwhite 分支而来）
-
cayenne
Rust 中的 SPICE 电路仿真程序
-
logical
模拟数字电路网络
-
arkworks-utils
Webb 协议的实用程序，用于零知识小工具和电路
-
axiom-core
包含为
AxiomV2Core智能合约生成证明的 ZK 电路。这些电路读取链的 RLP 编码块头，并验证块头是否形成链... -
arkworks-circuits
使用 Arkworks 编写的 Webb 协议的电路，使用零知识小工具
-
risc0-zkvm-circuit-sys
RISC Zero 零知识 VM 电路包
-
risc0-zkvm-circuit-gen
RISC-V 电路（生成版）
-
zkevm-hashes
halo2 中哈希函数的 ZK 小工具。这是 Axiom 对 zkEVM 项目中电路的修改。
-
fawkes-crypto
zk-SNARK 电路构建框架
-
zksync_circuit_breaker
ZKsync 电路断路器
-
snarkvm-circuit-types
去中心化虚拟机的原语电路
-
axiom-eth
构建证明以太坊虚拟机（EVM）数据的 ZK 电路的主库
-
arkworks-setups
Webb 协议的零知识电路 API
-
fawkes-crypto-bellman_ce
zk-SNARK库
-
axiom-query
包含为
AxiomV2Query智能合约生成证明的 ZK 电路。 -
fawkes-crypto-zkbob-bellman_ce
zk-SNARK库
-
libzeropool-zkbob
zk-SNARK电路和zkBob的加密
-
arkworks-r1cs-circuits
使用Arkworks编写的Webb协议的r1cs零知识电路
-
arkworks-r1cs-gadgets
使用Arkworks编写的Webb协议的r1cs零知识组件
-
light-prover-client
与Light协议电路交互
-
light-circuitlib-rs
与Light协议电路交互
尝试使用DuckDuckGo进行搜索。