Lib.rs

› 关键字 #circuit #elliptic-curve #zero-knowledge-proofs #ecosystem #bn256 #field

##halo2

halo2curves

halo2库的椭圆曲线实现和包装器

v0.7.0 10K #elliptic-curve #halo2 #bls12-381 #ecosystem #bn256 #elements #field
halo2-ecc

halo2的电路中嵌入的椭圆曲线库

v0.4.1 290 #elliptic-curve #circuit #halo2 #zero-knowledge-proofs #bn254 #fields #scalar-field
halo2-base

使用 halo2 API 编写电路的嵌入式领域特定语言 (eDSL)。它简化了电路编程，只需声明约束…

v0.4.1 310 #circuit #halo2 #virtual #lookup-tables #generation #witness #column
snark-verifier

Rust、halo2 和 EVM 的通用（S）NARK 验证器。这是 PSE 版本的分支。

v0.1.7 230 #verifier #halo2 #snark #evm #nark #generic #fork
halo2-wasm

halo2电路库的Wasm绑定

v0.3.4 #zero-knowledge-proofs #wasm-module #wasm-bindings #circuit #halo2 #proof #building
halo2_summarizer

Halo2的MockProver输出的摘要器

v0.1.1 #halo2 #output #summarizer #mock-prover
zkevm-hashes

halo2中哈希函数的ZK小工具。这是Axiom对zkEVM项目中电路的修改。

v0.2.1 170 #circuit #keccak #hash #halo2 #zk-evm #gadget #modification

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