Here are
43 public repositories
matching this topic...
Anonymous. Uncensored. Sovereign.
Easy setup for Halo2 ZK circuits
Sindri Zero-Knowledge Proof CLI
Updated
Jun 6, 2024
TypeScript
CE/H2/H3/ODST JMS/JMA/ASS exporter for Blender
Updated
Jun 5, 2024
Python
CPA-secure SNARK-friendly encryption circuit for halo2
Updated
May 23, 2024
Rust
Anonymous Proof of Ethereum Address Ownership
Updated
Jun 7, 2024
TypeScript
Yet Another Zero Knowledge Benchmark
Simple implementation of a zk-SNARK circuit with Halo 2 proof system.
Updated
Apr 14, 2024
Rust
ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
zk hacker house taiwan project
Updated
Mar 14, 2024
Solidity
Aleo-Style Schnorr in Halo2
Updated
Mar 14, 2024
Solidity
A set of tooling of halo2 circuits verification in Move environments
Updated
May 31, 2024
Move
some basic utils for halo2
Updated
Feb 19, 2024
Rust
Tornado Cash circuits written with Halo2
Halo2 Virtual Machine using Chiquito
Updated
Oct 12, 2023
Rust
Updated
Mar 25, 2024
Rust
Verifiable vector similarity queries PoC with Halo2.
Updated
Oct 12, 2023
Rust
Music Visualizer, written in Processing 3
Updated
Oct 7, 2023
Processing
Updated
Aug 31, 2023
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.