Enable always_merkelize for all uses of the merkle tree.

OffchainLabs · Apr 30, 2024 · 6f7cafa · 6f7cafa
1 parent 72bc92f
commit 6f7cafa
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/arbitrator/prover/src/lib.rs b/arbitrator/prover/src/lib.rs
@@ -101,7 +101,7 @@ unsafe fn arbitrator_load_machine_impl(
         &libraries,
         binary_path,
         true,
-        false,
+        true,
         false,
         debug_chain,
         debug_chain,
@@ -117,7 +117,7 @@ unsafe fn arbitrator_load_machine_impl(
 pub unsafe extern "C" fn arbitrator_load_wavm_binary(binary_path: *const c_char) -> *mut Machine {
     let binary_path = cstr_to_string(binary_path);
     let binary_path = Path::new(&binary_path);
-    match Machine::new_from_wavm(binary_path, false) {
+    match Machine::new_from_wavm(binary_path, true) {
         Ok(mach) => Box::into_raw(Box::new(mach)),
         Err(err) => {
             eprintln!("Error loading binary: {err}");

diff --git a/arbitrator/prover/src/machine.rs b/arbitrator/prover/src/machine.rs
@@ -1245,11 +1245,11 @@ impl Machine {
         let soft_float = std::fs::read("../../target/machines/latest/soft-float.wasm")?;
         let soft_float = parse(&soft_float, Path::new("soft-float"))?;
 
-        let mut machine = Self::from_binaries(
+        let mut machine: Machine = Self::from_binaries(
             &[soft_float, wasi_stub, user_test],
             bin,
             false,
-            false,
+            true,
             false,
             compile.debug.debug_funcs,
             true,

diff --git a/arbitrator/stylus/src/test/mod.rs b/arbitrator/stylus/src/test/mod.rs
@@ -150,7 +150,7 @@ fn new_test_machine(path: &str, compile: &CompileConfig) -> Result<Machine> {
         &[lib],
         bin,
         false,
-        false,
+        true,
         true,
         compile.debug.debug_funcs,
         true,