halo2
There are 46 repositories under halo2 topic.
darkrenaissance/darkfi
Anonymous. Uncensored. Sovereign.
General-101/Halo-Asset-Blender-Development-Toolset
CE/H2/H3/ODST JMS/JMA/ASS exporter for Blender
zkemail/zk-regex
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.
ronbrogan/OpenH2
Open Source Tools and Engine for Halo 2
ChainSafe/Spectre
ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
anonklub/anonklub
Anonymous Proof of Ethereum Address Ownership
Project-Cartographer/H2Codez
A mod to restore and add functionality to the Halo 2 Editing Kit.
DrPeterVanNostrand/halo2-merkle
Halo2 Merkle tree circuits
HaloMods/Prometheus
Yes, it's *that* Halo tool.
HaloMods/HaloContentToolScripts
Scripts for content tools (eg, 3dsmax) for various Halo games
Daylonz/MCCBounceEnable
A program that alters the tick rate of Halo 2 Classic in Halo:MCC to enable super bouncing.
zkmove/smt-circuit
A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
Project-Cartographer/H2PC_TagExtraction
A application made to extract assets from cache files of H2v using BlamLib by KornnerStudios.
Sindri-Labs/sindri-js
Sindri Zero-Knowledge Proof CLI
zkmove/halo2-verifier.move
A set of tooling of halo2 circuits verification in Move environments
zemse/zk-static-call
prove eth_call result
teddav/halo2-starter
Easy setup for Halo2 ZK circuits
maceip/zknft
zk hacker house taiwan project
num0005/HaloScriptExtended
An extension to the HaloScript language.
cryptape/ckb-bf-zkvm
A BrainFuck zkVM implementation on CKB, using Halo2.
erhant/halo2-vectordb
Verifiable vector similarity queries PoC with Halo2.
shayaantx/h2server-docker
Scripts to run halo2vista dedicated server in docker
YttriumC/Jar4Halo
Halo 博客的Java构建
0xWOLAND/chiquito-vm
Halo2 Virtual Machine using Chiquito
Divide-By-0/halo2-learning-group
Learning halo2
Project-Cartographer/DaeConverter
A command line based app to import and extract Halo 2 Render Model tags
team-byof/zk-face-circuit
🔐🔎🌐 BYOF Halo2 Circuit (ง'̀-'́)ง
teddav/tornado-halo2
Tornado Cash circuits written with Halo2
BattleZips/BattleZips-Halo2
BattleZips V2 - ZK Battleships in the Halo 2 Proving Scheme
C-Kenny/music-visualizer-4-friend
Music Visualizer, written in Processing 3
i-kirito/halo-theme-xazz
Halo主题 | 小A猪崽
Sindri-Labs/sindri-scroll-sdk
Software for running proof generation for the Scroll zkEVM on Sindri.
Snaacky/mccbounce
A super bouncing trainer for Halo 2 Classic on Halo: The Master Chief Collection
AerialDave144/Halo2-Blender-Auto-Lightmap-Generation
Automatic Halo 2 Lightmap Generation (Blender Script)
stephen-fox/entity-plugins
Plugins for Entity, a Halo 2 .map editor (for historical purposes only).
jpraynaud/halo2-digitsum
Simple implementation of a zk-SNARK circuit with Halo 2 proof system.