Merge branch 'main' into next

Author: bobbinth

CHANGELOG.md

@@ -18,6 +18,10 @@
 - [BREAKING] Removed `PartialEq`/`Eq` for AEAD `SecretKey` in non-test builds, fix various hygiene issues in dealing with secret keys ([#849](https://github.com/0xMiden/crypto/pull/849)).
 - Added `PublicKey::from_der()` for ECDSA public keys over secp256k1 ([#855](https://github.com/0xMiden/crypto/pull/855)).
 
+## 0.22.4 (2026-03-03)
+
+- Make `SmtLeaf::get_value` public ([#872](https://github.com/0xMiden/crypto/pull/872)).
+
 ## 0.22.3 (2026-02-23)
 
 - Refactored to introduce a unified `Felt` type for on-chain and off-chain code ([#819](https://github.com/0xMiden/crypto/pull/819)).

Cargo.lock

@@ -667,7 +667,7 @@ proptest! {
         let has_real_changes = update_entries.iter().any(|(key, value)| {
             match initial_entries.iter().find(|(init_key, _)| init_key == key) {
                 Some((_, init_value)) => init_value != value,
-                None => true,
+                None => *value != EMPTY_WORD,
             }
         });
 

miden-crypto/src/merkle/smt/full/concurrent/tests.rs

@@ -124,6 +124,35 @@ impl SmtLeaf {
     // PUBLIC ACCESSORS
     // ---------------------------------------------------------------------------------------------
 
+    /// Returns the value associated with `key` in the leaf, or `None` if `key` maps to another
+    /// leaf.
+    pub fn get_value(&self, key: &Word) -> Option<Word> {
+        // Ensure that `key` maps to this leaf
+        if self.index() != (*key).into() {
+            return None;
+        }
+
+        match self {
+            SmtLeaf::Empty(_) => Some(EMPTY_WORD),
+            SmtLeaf::Single((key_in_leaf, value_in_leaf)) => {
+                if key == key_in_leaf {
+                    Some(*value_in_leaf)
+                } else {
+                    Some(EMPTY_WORD)
+                }
+            },
+            SmtLeaf::Multiple(kv_pairs) => {
+                for (key_in_leaf, value_in_leaf) in kv_pairs {
+                    if key == key_in_leaf {
+                        return Some(*value_in_leaf);
+                    }
+                }
+
+                Some(EMPTY_WORD)
+            },
+        }
+    }
+
     /// Returns true if the leaf is empty
     pub fn is_empty(&self) -> bool {
         matches!(self, Self::Empty(_))
@@ -254,35 +283,6 @@ impl SmtLeaf {
     // HELPERS
     // ---------------------------------------------------------------------------------------------
 
-    /// Returns the value associated with `key` in the leaf, or `None` if `key` maps to another
-    /// leaf.
-    pub(in crate::merkle::smt) fn get_value(&self, key: &Word) -> Option<Word> {
-        // Ensure that `key` maps to this leaf
-        if self.index() != (*key).into() {
-            return None;
-        }
-
-        match self {
-            SmtLeaf::Empty(_) => Some(EMPTY_WORD),
-            SmtLeaf::Single((key_in_leaf, value_in_leaf)) => {
-                if key == key_in_leaf {
-                    Some(*value_in_leaf)
-                } else {
-                    Some(EMPTY_WORD)
-                }
-            },
-            SmtLeaf::Multiple(kv_pairs) => {
-                for (key_in_leaf, value_in_leaf) in kv_pairs {
-                    if key == key_in_leaf {
-                        return Some(*value_in_leaf);
-                    }
-                }
-
-                Some(EMPTY_WORD)
-            },
-        }
-    }
-
     /// Inserts key-value pair into the leaf; returns the previous value associated with `key`, if
     /// any.
     ///