Profile exports for the transaction kernel (1/2)

.gitignore

@@ -22,3 +22,4 @@ env/
 node_modules/
 *DS_Store
 *.iml
+bin/bench-transaction/bench-tx-vm-profile.json

CHANGELOG.md

@@ -15,6 +15,7 @@
 - [BREAKING] Added `get_asset` and `get_initial_asset` kernel procedures and removed `get_balance`, `get_initial_balance` and `has_non_fungible_asset` kernel procedures ([#2369](https://github.com/0xMiden/miden-base/pull/2369)).
 - Introduced `TokenMetadata` type to encapsulate fungible faucet metadata ([#2344](https://github.com/0xMiden/miden-base/issues/2344)).
 - Added `StandardNote::from_script_root()` and `StandardNote::name()` methods, and exposed `NoteType` `PUBLIC`/`PRIVATE` masks as public constants ([#2411](https://github.com/0xMiden/miden-base/pull/2411)).
+- Added VM profile export functionality to benchmark transaction execution, enabling detailed cycle counting and trace length analysis ([#2391](https://github.com/0xMiden/miden-base/pull/2391)).
 
 ### Changes
 

bin/bench-note-checker/benches/benchmarks.rs

@@ -22,8 +22,13 @@ fn note_checker_benchmarks(c: &mut Criterion) {
                 setup_mixed_notes_benchmark(MixedNotesConfig { failing_note_count: failing_count })
                     .expect("failed to set up mixed notes benchmark");
 
-            b.to_async(tokio::runtime::Builder::new_current_thread().enable_all().build().unwrap())
-                .iter(|| async { black_box(run_mixed_notes_check(&setup).await) });
+            b.to_async(
+                tokio::runtime::Builder::new_current_thread()
+                    .enable_all()
+                    .build()
+                    .expect("failed to build tokio runtime"),
+            )
+            .iter(|| async { black_box(run_mixed_notes_check(&setup).await) });
         });
     }
 

bin/bench-transaction/Cargo.toml

@@ -24,9 +24,11 @@ miden-tx        = { workspace = true }
 
 # External dependencies
 anyhow     = { workspace = true }
+chrono     = { features = ["serde"], version = "0.4" }
 serde      = { features = ["derive"], workspace = true }
 serde_json = { features = ["preserve_order"], package = "serde_json", version = "1.0" }
 tokio      = { features = ["macros", "rt"], workspace = true }
 
 [dev-dependencies]
 criterion = { features = ["async_tokio", "html_reports"], version = "0.6" }
+tempfile  = { version = "3.19" }