fix: load miden-stdlib for the blake3 example

assembly/src/lib.rs

@@ -31,6 +31,7 @@ pub mod testing;
 mod tests;
 
 /// Re-exported for downstream crates
+pub use vm_core::mast;
 pub use vm_core::utils;
 
 pub use self::{

assembly/src/library/mod.rs

@@ -161,6 +161,12 @@ impl Library {
     }
 }
 
+impl From<Library> for MastForest {
+    fn from(value: Library) -> Self {
+        value.mast_forest
+    }
+}
+
 impl Serializable for Library {
     fn write_into<W: ByteWriter>(&self, target: &mut W) {
         self.write_into_with_options(target, AstSerdeOptions::default())
@@ -495,6 +501,12 @@ impl KernelLibrary {
     }
 }
 
+impl From<KernelLibrary> for MastForest {
+    fn from(value: KernelLibrary) -> Self {
+        value.library.mast_forest
+    }
+}
+
 impl Serializable for KernelLibrary {
     fn write_into<W: ByteWriter>(&self, target: &mut W) {
         self.write_into_with_options(target, AstSerdeOptions::default())

miden/src/examples/blake3.rs

@@ -21,11 +21,16 @@ pub fn get_example(n: usize) -> Example<DefaultHost<MemAdviceProvider>> {
         n, expected_result
     );
 
+    let mut host = DefaultHost::default();
+    host.load_mast_forest(StdLibrary::default().into());
+
+    let stack_inputs =
+        StackInputs::try_from_ints(INITIAL_HASH_VALUE.iter().map(|&v| v as u64)).unwrap();
+
     Example {
         program,
-        stack_inputs: StackInputs::try_from_ints(INITIAL_HASH_VALUE.iter().map(|&v| v as u64))
-            .unwrap(),
-        host: DefaultHost::default(),
+        stack_inputs,
+        host,
         expected_result,
         num_outputs: 8,
     }

miden/src/tools/mod.rs

@@ -38,8 +38,7 @@ impl Analyze {
         // fetch the stack and program inputs from the arguments
         let stack_inputs = input_data.parse_stack_inputs().map_err(Report::msg)?;
         let mut host = DefaultHost::new(input_data.parse_advice_provider().map_err(Report::msg)?);
-        let stdlib = StdLibrary::default();
-        host.load_mast_forest(stdlib.as_ref().mast_forest().clone());
+        host.load_mast_forest(StdLibrary::default().into());
 
         let execution_details: ExecutionDetails = analyze(program.as_str(), stack_inputs, host)
             .expect("Could not retrieve execution details");

stdlib/src/lib.rs

@@ -2,7 +2,7 @@
 
 extern crate alloc;
 
-use assembly::{library::Library, utils::Deserializable};
+use assembly::{library::Library, mast::MastForest, utils::Deserializable};
 
 // STANDARD LIBRARY
 // ================================================================================================
@@ -22,6 +22,12 @@ impl From<StdLibrary> for Library {
     }
 }
 
+impl From<StdLibrary> for MastForest {
+    fn from(value: StdLibrary) -> Self {
+        value.0.into()
+    }
+}
+
 impl Default for StdLibrary {
     fn default() -> Self {
         let bytes = include_bytes!(concat!(env!("OUT_DIR"), "/assets/std.masl"));

stdlib/tests/mem/mod.rs

@@ -31,7 +31,7 @@ fn test_memcopy() {
         assembler.assemble_program(source).expect("Failed to compile test source.");
 
     let mut host = DefaultHost::default();
-    host.load_mast_forest(stdlib.as_ref().mast_forest().clone());
+    host.load_mast_forest(stdlib.into());
 
     let mut process = Process::new(
         program.kernel().clone(),