feat(mmr): prototype Mountain Merkle Belt benchmarks

CHANGELOG.md

@@ -7,6 +7,7 @@
 - [BREAKING] Extracted `BackendReader`, allowing `LargeSmtForest<S>` to work with read-only storage backends ([#986](https://github.com/0xMiden/crypto/pull/986)).
 - [BREAKING] Refactored `miden-lifted-stark::domain` around a uniform `Coset` trait shared by `TwoAdicSubgroup` and `TwoAdicCoset`, slimmed the `LiftedDomain` surface (drops dead getters, removes silently-dispatched `points`/`bit_reversed_points`/`vanishing_at` in favour of explicit `trace_subgroup()` / `lde_coset()` access), made `LiftedDomain` constructors fallible, moved selector logic onto `LiftedDomain`, and changed `log_blowup` to return `u8` ([#993](https://github.com/0xMiden/crypto/pull/993)).
 - Added `MerkleFrontier` as append-only `len + peaks` state with a raw Merkle root, append support, legacy `MmrPeaks` conversion, and standard Merkle proof bridging that authenticates `(len, root)` during verification ([#984](https://github.com/0xMiden/crypto/pull/984)).
+- Added internal Merkle Mountain Belt prototype benchmarks for evaluating append, opening, summary, and recency-sensitive proof verification tradeoffs ([#1028](https://github.com/0xMiden/crypto/pull/1028)).
 
 ## 0.25.0 (2026-05-01)
 

miden-crypto/Cargo.toml

@@ -44,6 +44,11 @@ harness           = false
 name              = "mmr"
 required-features = ["std"]
 
+[[bench]]
+harness           = false
+name              = "mmr_belt"
+required-features = ["internal"]
+
 [[bench]]
 harness           = false
 name              = "partial_mt"