A circom circuit implementation of a Merkle Tree. With this circuit you can prove that a list of leaves computes to a given merkle root.
This code is not audited and should be used for educational purposes only. If you get wreck'd, it's not my fault.
To become an auditor, submit a PR with your name added to the list below and a link to your audit. All audits must be performed on the main branch.
Audited By:
- could be you?
This is my first serious attempt at creating a circom circuit. I'm sure there are many ways to improve this implementation. Please feel free to open an issue or PR if you have any suggestions.
- Zk Programming Lecture
- Zk Workshop - Intuition + Programming
- zk-starter - Circom template repo
- Tornado Cash
- Circom Docs
- Murky - Solidity merkle tree implementation
- circomlib - Library circom circuit primitives
MIT