Zk-MerkleTree

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.

🔍 Audits

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?

⚠️ Disclaimer

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.

📚 Useful Resources

• 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

✌️ License

MIT