Halo 2 Community Showcase
summary
Halo2 is already forked 132 times and used by 203 projects with 22 contributors and shows concrete extensions: a zkEVM fork replaces the inner product commitment with KZG commitments to match Ethereum precompiles and implements a multi-phase prover to combine randomized byte chunks; community work adds cross-circuit lookups and dynamic lookup tables, higher‑level arithmetizations like Orbis’s Sigma1_1, tooling such as DarkFi’s zk‑assembler and browser demos like zk‑wordle, and a roadmap focused on enabling recursion and curve‑cycle generic circuits.
AI-written summary · about
chapters (8)
- 0:00Intro
- 1:53halo2: not just a zcash library
- 4:50polynomial commitment scheme abstraction
- 11:25"fast prover" / "fast verifier" configurations
- 20:02Orbis Specification Language (Orbis Labs)
- 24:46applications
- 28:09halo2: roadmap
- 34:05Halo 2 Ecosystem Discord
related talks
26mState of ZK
45mDesign a Proof Of Solvency protocol with Halo2 Workshop
54mHalo2 circuit changes for Zcash Shielded Asset and Atomic Swaps
36mPanel Discussion
24mZK: Accelerating DA Interop
20mImportance of Data Protection & ZK for Scaling Web3 Adoption
31mZK Stack and the Rise of the Rollup-State
17mZK for the Enterprise - Quod Erit Demonstrandum (What Will Need to be Proven)