Awesome HALO2 
A community-maintained list of halo2-related resources. Feel free to PR.
Join the community Discord at: https://discord.gg/GEJX7SfEuh
Protocol
Projects
- Zcash Protocol NU5: Orchard
- Ethereum Foundation zkEVMA
- Scroll zkEVM
- Taiko zkEVM
- Deep Learning in Halo 2
- DarkFi zk assembler and VM
- Eigen Trust - A distributed reputation system
- Axiom Zk processor - provides smart contracts trustless access to historic on-chain data and arbitrary expressive compute
- Proof of solvency
Gadgets
- ECC's Halo2 gadgets includes Sinsemilla, Similla ECC, SHA256, Posseidon
- PSE's halo2wrong includes field emulation, generic ECC & ECDSA
- PSE's pairings
- Scrolltech Halo2 aggregator
- Semaphore
- DarkFi Halo2 gadgets includes arithmetic, comparisons, and range checks
- nikkolasg's Verkle tree
- DrPeterVanNostrand's Merkle tree
- RSA verification circuit
- halo2-lib, a library of basic gadgets for halo2 development
- verifiable encryption based of the hashed ElGamal scheme
- DelphinusLab's BN256 and BLS12-381 pairings
- FRI
- Rate limit nullifier
Educational
- Orbis Labs' TinyRAM implementation
- Halo and more: exploring incremental verification and SNARKs without pairings
- Sin7Y, Halo Principle Explained
- Sin7Y, Sin7Y Tech Review: Develop Circuits Using Halo 2
- Darkrenaissance's sage implementation
- ZK Meetup Seoul, Deep dive on Halo2 2020
- Zcash: Halo 2 and SNARKs without Trusted Setups 2021
- ZK7: Latest developments in Halo2 2022
- Halo2 tutorial source