Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/adria0/awesome-halo2
List of halo2-related resources
https://github.com/adria0/awesome-halo2
List: awesome-halo2
Last synced: about 2 months ago
JSON representation
List of halo2-related resources
- Host: GitHub
- URL: https://github.com/adria0/awesome-halo2
- Owner: adria0
- Created: 2022-06-15T20:12:30.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-02-06T07:37:00.000Z (11 months ago)
- Last Synced: 2024-05-20T08:01:56.727Z (7 months ago)
- Size: 68.4 KB
- Stars: 180
- Watchers: 4
- Forks: 19
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- ultimate-awesome - awesome-halo2 - List of halo2-related resources. (Other Lists / Monkey C Lists)
README
# Awesome HALO2 [](https://github.com/sindresorhus/awesome)
A community-maintained list of halo2-related resources.
Feel free to PR.
Join the community Discord at: https://discord.gg/GEJX7SfEuh
Also check the fantastic https://halo2.club coordinated by @therealyingtong
## Protocol
- [ZCash Rust implementation](https://github.com/zcash/halo2)
- [PSE's halo2 version with KZG instead IPA](https://github.com/privacy-scaling-explorations/halo2)
- [halo2-ce](https://github.com/halo2-ce/halo2/)
- [The halo2 book](https://zcash.github.io/halo2/)
## Projects
- [Zcash Protocol NU5: Orchard](https://github.com/zcash/orchard)
- [Ethereum Foundation zkEVM](https://github.com/privacy-scaling-explorations/zkevm-specs)
- [Scroll zkEVM](https://github.com/scroll-tech)
- [Taiko zkEVM](https://github.com/taikoxyz)
- [Deep Learning in Halo 2](https://github.com/jasonmorton/halo2deeplearning/)
- [DarkFi zk assembler and VM](https://github.com/darkrenaissance/darkfi/tree/master/src/zk)
- [Eigen Trust - A distributed reputation system](https://github.com/eigen-trust/eigen-trust)
- [Axiom Zk processor - provides smart contracts trustless access to historic on-chain data and arbitrary expressive compute](https://github.com/axiom-crypto/)
- [DelphinusLab's zkWASM](https://github.com/DelphinusLab/zkWasm)
- [Proof of solvency](https://github.com/summa-dev/summa-solvency)
## Gadgets
- [ECC's Halo2 gadgets](https://github.com/zcash/halo2/tree/main/halo2_gadgets) includes Sinsemilla, Similla ECC, SHA256, Poseidon
- [PSE's halo2wrong](https://github.com/privacy-scaling-explorations/halo2wrong) includes field emulation, generic ECC & ECDSA
- [PSE's pairings](https://github.com/privacy-scaling-explorations/pairing)
- [Scrolltech Halo2 aggregator](https://github.com/scroll-tech/halo2-snark-aggregator)
- [Semaphore](https://github.com/akinovak/halo2-semaphore)
- [DarkFi Halo2 gadgets](https://github.com/darkrenaissance/darkfi/tree/master/src/zk/gadget) includes arithmetic, comparisons, and range checks
- [nikkolasg's Verkle tree](https://github.com/nikkolasg/halo2-circuits)
- [DrPeterVanNostrand's Merkle tree](https://github.com/DrPeterVanNostrand/halo2-merkle)
- [RSA verification circuit](https://github.com/SoraSuegami/halo2_rsa)
- [halo2-lib, a library of basic gadgets for halo2 development](https://github.com/axiom-crypto/halo2-lib)
- [verifiable encryption based of the hashed ElGamal scheme](https://github.com/timoth-y/halo2-encryption)
- [DelphinusLab's BN256 and BLS12-381 pairings](https://github.com/DelphinusLab/halo2ecc-s)
- [FRI verifier](https://github.com/maxgillett/halo2-fri-gadget)
- [Rate limit nullifier](https://github.com/akinovak/halo2-rln)
- [halo2-utils](https://github.com/zemse/halo2-utils)
## Educational
- [Orbis Labs' TinyRAM implementation](https://github.com/Orbis-Tertius/tiny-ram-halo2)
- [Halo and more: exploring incremental verification and SNARKs without pairings](https://vitalik.ca/general/2021/11/05/halo.html)
- [Sin7Y, Halo Principle Explained](https://medium.com/@sin7y/halo-principle-explained-fa5a2e2767cd)
- [Sin7Y, Sin7Y Tech Review: Develop Circuits Using Halo 2](https://medium.com/@sin7y/sin7y-tech-review-develop-circuits-using-halo-2-829e2f26856)
- [Darkrenaissance's sage implementation](https://github.com/darkrenaissance/darkfi/blob/master/script/research/halo/halo2.sage)
- [ZK Meetup Seoul, Deep dive on Halo2 2020](https://www.youtube.com/watch?v=YlTt12s7vGE)
- [Zcash: Halo 2 and SNARKs without Trusted Setups 2021](https://www.youtube.com/watch?v=KdkVTEHUxgo)
- [ZK7: Latest developments in Halo2 2022](https://www.youtube.com/watch?v=V1RgGn1GtqM)
- [Halo2 tutorial source](https://github.com/icemelon/halo2-tutorial/)
- [Building a Zero Knowledge web app with Halo 2 and Wasm](https://medium.com/@yujiangtham/building-a-zero-knowledge-web-app-with-halo-2-and-wasm-part-1-80858c8d16ee)
## Others
- [Arithmetization of Functional Program Execution via Interaction Nets in Halo 2](https://eprint.iacr.org/2022/1211.pdf)
- [Arithmetization of ∑¹₁ Relations in Halo 2](https://eprint.iacr.org/2022/777.pdf)
- [Zordle is Wordle, but with zero-knowledge proofs, uses wasm](https://github.com/nalinbhardwaj/zordle)
- [Hammster proves Hamming distance in zk, also uses wasm](https://github.com/ytham/hammster/tree/main)
- [Vocdoni anonymous voting (wasm)](https://github.com/vocdoni/halo2-francise-proof-wasm)
- [Sice HALO2 is PLONK-based see awesome-plonk](https://github.com/fluidex/awesome-plonk)
- [Zkbitcoin halo2 test suite, uses wasm](https://zkbitcoin.com/zk)