Lib.rs

› 关键字 #circuit #type #generation #circom #macro #virtual #lookup-tables #halo2

##witness

halo2-base

嵌入式特定领域语言（eDSL），用于使用 halo2 API 编写电路。它简化了电路编程，只需声明约束...

v0.4.1 400 #circuit #halo2 #virtual #lookup-tables #generation #witness #column
cisness

运行时两个类型相同的“活见证”

v1.1.0 #type #witness #type-id #equality #dispatch #types #no-alloc
rust-witness

在 Rust 中构建 circom 见证

v0.1.0 110 #witness #circom #macro #generate #transpile #circuit #wasm
bellpepper-core

SNARK 电路库的核心元素

v0.4.0 53K #circuit #snark #bellpepper #traits #structures #input #witness
cks_accumulator

基于配对的累积器，来自论文《基于双线性映射的累积器及其用于匿名凭证的高效撤销》

v0.1.2 #accumulator #pairing #anonymous-credentials #witness #paper #maps #indices
numwit

为正数或负数（但不为零）提供见证类型和操作

v0.1.0 #positive #negative #numbers #operations #witness #zero #output

尝试使用 DuckDuckGo 进行搜索。搜索 DuckDuckGo.