60 results for “topic:halo2”
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
Master Zero-Knowledge Proof (ZKP) by recreating ZKP system from scratch. 从0到1构建零知识证明系统.
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.
Sindri Zero-Knowledge Proof CLI
A application made to extract assets from cache files of H2v using BlamLib by KornnerStudios.
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.
Illustrate the principle and source code of halo2. 图解halo2
Scripts to run halo2vista dedicated server in docker
Tornado Cash circuits written with Halo2
Learning halo2
Write halo2/plonky3 circuit in easy script language, with a visualizer about halo2/plonky2/plonky3
Halo 博客的Java构建
A BrainFuck zkVM implementation on CKB, using Halo2.
Verifiable vector similarity queries with Halo2.
🔐🔎🌐 BYOF Halo2 Circuit (ง'̀-'́)ง
BattleZips V2 - ZK Battleships in the Halo 2 Proving Scheme