diff --git a/examples/Cargo.lock b/examples/Cargo.lock
index 59ed0df1ee..685ffef42a 100644
--- a/examples/Cargo.lock
+++ b/examples/Cargo.lock
@@ -3918,7 +3918,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "cc9c68a3f6da06753e9335d63e27f6b9754dd1920d941135b7ea8224f141adb2"
 
 [[package]]
-name = "poseidon2-program"
+name = "poseidon2-merkle-tree-program"
 version = "1.1.0"
 dependencies = [
  "p3-baby-bear",
@@ -3928,7 +3928,7 @@ dependencies = [
 ]
 
 [[package]]
-name = "poseidon2-script"
+name = "poseidon2-merkle-tree-script"
 version = "0.1.0"
 dependencies = [
  "sp1-build",
diff --git a/examples/Cargo.toml b/examples/Cargo.toml
index a8b4b14eaf..f2acc6ad9a 100644
--- a/examples/Cargo.toml
+++ b/examples/Cargo.toml
@@ -33,8 +33,8 @@ members = [
   "ssz-withdrawals/script",
   "tendermint/program",
   "tendermint/script",
-  "poseidon2/program",
-  "poseidon2/script",
+  "poseidon2-merkle-tree/program",
+  "poseidon2-merkle-tree/script",
 ]
 resolver = "2"
 
diff --git a/examples/poseidon2/program/Cargo.toml b/examples/poseidon2-merkle-tree/program/Cargo.toml
similarity index 84%
rename from examples/poseidon2/program/Cargo.toml
rename to examples/poseidon2-merkle-tree/program/Cargo.toml
index e9340d22e9..630a505a68 100644
--- a/examples/poseidon2/program/Cargo.toml
+++ b/examples/poseidon2-merkle-tree/program/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "poseidon2-program"
+name = "poseidon2-merkle-tree-program"
 version = "1.1.0"
 edition = "2021"
 publish = false
diff --git a/examples/poseidon2/program/elf/riscv32im-succinct-zkvm-elf b/examples/poseidon2-merkle-tree/program/elf/riscv32im-succinct-zkvm-elf
similarity index 100%
rename from examples/poseidon2/program/elf/riscv32im-succinct-zkvm-elf
rename to examples/poseidon2-merkle-tree/program/elf/riscv32im-succinct-zkvm-elf
diff --git a/examples/poseidon2-merkle-tree/program/src/main.rs b/examples/poseidon2-merkle-tree/program/src/main.rs
new file mode 100644
index 0000000000..4267d17a72
--- /dev/null
+++ b/examples/poseidon2-merkle-tree/program/src/main.rs
@@ -0,0 +1,100 @@
+#![no_main]
+
+use p3_baby_bear::BabyBear;
+use p3_field::AbstractField;
+use sp1_lib::poseidon_hash::Poseidon2;
+
+sp1_zkvm::entrypoint!(main);
+
+#[derive(Debug, Clone)]
+pub struct MerkleTree {
+    leaves: Vec<BabyBear>,
+    nodes: Vec<BabyBear>, // Flattened array of tree nodes
+}
+
+impl MerkleTree {
+    /// Constructs a new Merkle tree from the given leaves
+    pub fn new(leaves: Vec<BabyBear>) -> Self {
+        assert!(!leaves.is_empty(), "Merkle tree cannot be empty.");
+
+        let mut nodes = leaves.clone(); // Start with leaves
+        let mut current_level = leaves.clone();
+
+        // Build tree from leaves to root
+        while current_level.len() > 1 {
+            let mut next_level = vec![];
+            for i in (0..current_level.len()).step_by(2) {
+                let left = current_level[i];
+                let right = if i + 1 < current_level.len() {
+                    current_level[i + 1]
+                } else {
+                    BabyBear::zero()
+                };
+                let parent = Poseidon2::hash_two(left, right);
+                next_level.push(parent);
+            }
+            nodes.extend(&next_level); // Append the next level to the flattened tree
+            current_level = next_level;
+        }
+
+        MerkleTree { leaves, nodes }
+    }
+
+    /// Returns the Merkle tree root
+    pub fn root(&self) -> BabyBear {
+        self.nodes.last().copied().unwrap_or_else(BabyBear::zero)
+    }
+
+    /// Generates a proof for a given leaf index
+    pub fn generate_proof(&self, index: usize) -> Vec<(BabyBear, bool)> {
+        assert!(index < self.leaves.len(), "Index out of range.");
+
+        let mut proof = vec![];
+        let mut current_index = index;
+
+        let mut level_start = 0;
+        let mut level_size = self.leaves.len();
+
+        // Traverse tree levels upwards
+        while level_size > 1 {
+            let is_left = current_index % 2 == 0;
+            let sibling_index = if is_left { current_index + 1 } else { current_index - 1 };
+
+            if sibling_index < level_size {
+                proof.push((self.nodes[level_start + sibling_index], !is_left));
+            }
+
+            current_index /= 2; // Move to parent index
+            level_start += level_size;
+            level_size = (level_size + 1) / 2; // Compute next level size
+        }
+
+        proof
+    }
+
+    /// Verifies a Merkle proof against the provided root
+    pub fn verify_proof(root: BabyBear, leaf: BabyBear, proof: Vec<(BabyBear, bool)>) -> bool {
+        let mut hash = leaf;
+        for (sibling, is_right) in proof {
+            hash = if is_right {
+                Poseidon2::hash_two(sibling, hash)
+            } else {
+                Poseidon2::hash_two(hash, sibling)
+            };
+        }
+        hash == root
+    }
+}
+
+pub fn main() {
+    let leaves = (0..100).map(BabyBear::from_canonical_u32).collect();
+    let merkle_tree = MerkleTree::new(leaves);
+
+    let index: usize = 67;
+
+    assert!(MerkleTree::verify_proof(
+        merkle_tree.root(),
+        BabyBear::from_canonical_usize(index),
+        merkle_tree.generate_proof(index)
+    ));
+}
diff --git a/examples/poseidon2/script/Cargo.toml b/examples/poseidon2-merkle-tree/script/Cargo.toml
similarity index 80%
rename from examples/poseidon2/script/Cargo.toml
rename to examples/poseidon2-merkle-tree/script/Cargo.toml
index 95ba83702b..4b8c3303b7 100644
--- a/examples/poseidon2/script/Cargo.toml
+++ b/examples/poseidon2-merkle-tree/script/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 version = "0.1.0"
-name = "poseidon2-script"
+name = "poseidon2-merkle-tree-script"
 edition = "2021"
 
 [dependencies]
diff --git a/examples/poseidon2/script/build.rs b/examples/poseidon2-merkle-tree/script/build.rs
similarity index 100%
rename from examples/poseidon2/script/build.rs
rename to examples/poseidon2-merkle-tree/script/build.rs
diff --git a/examples/poseidon2/script/src/main.rs b/examples/poseidon2-merkle-tree/script/src/main.rs
similarity index 90%
rename from examples/poseidon2/script/src/main.rs
rename to examples/poseidon2-merkle-tree/script/src/main.rs
index 543e2b0257..3a968f7967 100644
--- a/examples/poseidon2/script/src/main.rs
+++ b/examples/poseidon2-merkle-tree/script/src/main.rs
@@ -1,5 +1,5 @@
 use sp1_sdk::{include_elf, utils, ProverClient, SP1Stdin};
-pub const ELF: &[u8] = include_elf!("poseidon2-program");
+pub const ELF: &[u8] = include_elf!("poseidon2-merkle-tree-program");
 
 fn main() {
     utils::setup_logger();
diff --git a/examples/poseidon2/program/src/main.rs b/examples/poseidon2/program/src/main.rs
deleted file mode 100644
index bce4e59af8..0000000000
--- a/examples/poseidon2/program/src/main.rs
+++ /dev/null
@@ -1,12 +0,0 @@
-#![no_main]
-
-use p3_baby_bear::BabyBear;
-use p3_field::AbstractField;
-use sp1_lib::poseidon_hash::Poseidon2;
-
-sp1_zkvm::entrypoint!(main);
-
-pub fn main() {
-    let hash = Poseidon2::hash_two(BabyBear::zero(), BabyBear::one());
-    println!("{:?}", hash);
-}