Halo2-merkle

This project is still really early and unfinished was just a attempt to learn halo2 and it's tools

This project aimed to create a merkle tree proof that can be verified using halo2. It uses poseidon hash function as a halo2 chip for efficient computation. But this project just has poseidon hash function working and I wish do add verifiable merkle trie implementation as soon as possible. The project uses KZG as its commitment scheme instead of IPA by using the halo2 fork by privacy-scaling-explorations.

This repo was just used to learn halo2 and creating arithmetization tables using halo2 so contains a lot of copy pasted code from a lot of public repos

The project is made using PSE(Privacy and scaling explorations) version of halo2 that introduces a new commitment scheme. And it implements the zero-knowledge friendly poseidon hash function.

resources

https://eprint.iacr.org/2019/458.pdf

halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.git" } halo2_gadgets = { git = "https://github.com/privacy-scaling-explorations/halo2.git" } halo2curves = { git = "https://github.com/privacy-scaling-explorations/halo2curves.git" }