Merkle CLI Tool

A simple Merkle tree CLI tool written in Rust. Useful for learning about Merkle proofs and preparing inputs for Zero-Knowledge (ZK) circuits - Noir

---

🛠️ Usage

1. 🔧 Initialize Merkle Root

Generate and print the Merkle root from a file of addresses:

cargo run -- init --input addresses.txt

Example output:

✅ Merkle Root: 305d54b0adc42b781c25681011a8ee1ed74e7f0fb1b47fcba44351d9495a02ce

---

2. 🧾 Generate Merkle Proof

Generate and print the Merkle proof for a specific address:

cargo run -- proof --input addresses.txt --address 0x7777777777777777777777777777777777777777

Example output:

🧾 Proof for '0x7777777777777777777777777777777777777777':
  [0] 8910... → right
  [1] 4b06... ← left
  [2] b92c... ← left
💾 Proof saved to proof.json

---

3. ✅ Verify a Proof

Using a proof file generated above:

cargo run -- verify   --address 0x7777777777777777777777777777777777777777   --root 305d54b0adc42b781c25681011a8ee1ed74e7f0fb1b47fcba44351d9495a02ce   --proof-file proof.json

Expected output:

🔎 Verification result: true

---

🎯 Next Steps

You can now use the generated proof.json and root in your Noir or Circom ZK circuits to prove membership inside a Merkle tree on-chain or privately.