Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-halo2
List of halo2-related resources
https://github.com/adria0/awesome-halo2
Last synced: 4 days ago
JSON representation
-
Gadgets
- DarkFi Halo2 gadgets
- ECC's Halo2 gadgets
- RSA verification circuit
- verifiable encryption based of the hashed ElGamal scheme
- PSE's halo2wrong
- PSE's pairings
- Scrolltech Halo2 aggregator
- Semaphore
- 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 verifier
- Rate limit nullifier
- halo2-utils
-
Projects
- Scroll zkEVM
- Taiko zkEVM
- DarkFi zk assembler and VM
- Axiom Zk processor - provides smart contracts trustless access to historic on-chain data and arbitrary expressive compute
- Deep Learning in Halo 2
- Eigen Trust - A distributed reputation system
- Axiom Zk processor - provides smart contracts trustless access to historic on-chain data and arbitrary expressive compute
- Zcash Protocol NU5: Orchard
- Ethereum Foundation zkEVM
- DelphinusLab's zkWASM
- Proof of solvency
-
Educational
- 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
- Building a Zero Knowledge web app with Halo 2 and Wasm
- Halo2 tutorial source
- Orbis Labs' TinyRAM implementation
- Halo2 tutorial source
-
Others
- Arithmetization of Functional Program Execution via Interaction Nets in Halo 2
- Arithmetization of ∑¹₁ Relations in Halo 2
- Hammster proves Hamming distance in zk, also uses wasm
- Zkbitcoin halo2 test suite, uses wasm
- Vocdoni anonymous voting (wasm)
- Zordle is Wordle, but with zero-knowledge proofs, uses wasm
- Sice HALO2 is PLONK-based see awesome-plonk
-
Protocol
Categories
Sub Categories