Here are
19 public repositories
matching this topic...
Anonymous. Uncensored. Sovereign.
Updated
Sep 19, 2024
Rust
ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
Halo2 Merkle tree circuits
Updated
May 28, 2021
Rust
A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
Updated
Mar 25, 2024
Rust
Easy setup for Halo2 ZK circuits
Verifiable vector similarity queries PoC with Halo2.
Updated
Oct 12, 2023
Rust
A BrainFuck zkVM implementation on CKB, using Halo2.
Halo2 Virtual Machine using Chiquito
Updated
Oct 12, 2023
Rust
Tornado Cash circuits written with Halo2
🔐🔎🌐 BYOF Halo2 Circuit (ง'̀-'́)ง
Updated
May 21, 2023
Rust
Updated
Mar 28, 2023
Rust
BattleZips V2 - ZK Battleships in the Halo 2 Proving Scheme
Simple implementation of a zk-SNARK circuit with Halo 2 proof system.
Updated
Apr 14, 2024
Rust
some basic utils for halo2
Updated
Feb 19, 2024
Rust
Updated
Aug 31, 2023
Rust
Use zkprover in multi-process mode to accelerate zkevm and improve HA & stability
Updated
Jul 13, 2023
Rust
Yet Another Zero Knowledge Benchmark
CPA-secure SNARK-friendly encryption circuit for halo2
Updated
May 23, 2024
Rust
Improve this page
Add a description, image, and links to the
halo2
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
halo2
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.