Anonymous. Uncensored. Sovereign.

CE/H2/H3/ODST JMS/JMA/ASS exporter for Blender

A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.

Open Source Tools and Engine for Halo 2

ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol

Anonymous Proof of Ethereum Address Ownership

A mod to restore and add functionality to the Halo 2 Editing Kit.

Halo2 Merkle tree circuits

Yes, it's *that* Halo tool.

Scripts for content tools (eg, 3dsmax) for various Halo games

A program that alters the tick rate of Halo 2 Classic in Halo:MCC to enable super bouncing.

A Sparse Merkle Tree circuit constructed with Halo2 poseidon.

A application made to extract assets from cache files of H2v using BlamLib by KornnerStudios.

Sindri Zero-Knowledge Proof CLI

A set of tooling of halo2 circuits verification in Move environments

prove eth_call result

Easy setup for Halo2 ZK circuits

zk hacker house taiwan project

An extension to the HaloScript language.

Verifiable vector similarity queries PoC with Halo2.