🐛 Fix verify proof function by checking if all sibling hashes were used.

LiskArchive · Jul 3, 2023 · 2172a8f · 2172a8f
1 parent 9fee39f
commit 2172a8f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/sparse_merkle_tree/smt.rs b/src/sparse_merkle_tree/smt.rs
@@ -1402,6 +1402,11 @@ impl SparseMerkleTree {
         while !sorted_queries.is_empty() {
             let query = &sorted_queries.pop_front().unwrap();
             if query.is_zero_height() {
+                if next_sibling_hash != sibling_hashes.len() {
+                    return Err(SMTError::InvalidInput(String::from(
+                        "Not all sibling hashes were used",
+                    )));
+                }
                 return Ok(query.hash.clone());
             }