Initial implementation of wasmbinary to wat

arbitrator/jit/src/arbcompress.rs

@@ -1,6 +1,8 @@
 // Copyright 2022-2024, Offchain Labs, Inc.
 // For license information, see https://github.com/nitro/blob/master/LICENSE
 
+#![allow(clippy::too_many_arguments)]
+
 use crate::caller_env::{JitEnv, JitExecEnv};
 use crate::machine::Escape;
 use crate::machine::WasmEnvMut;

arbitrator/prover/Cargo.toml

@@ -37,6 +37,9 @@ wasmparser.workspace = true
 num-derive = "0.4.1"
 num-traits = "0.2.17"
 
+[dev-dependencies]
+glob = "0.3.1"
+
 [lib]
 name = "prover"
 crate-type = ["staticlib", "lib"]

arbitrator/prover/src/binary.rs

@@ -673,4 +673,9 @@ impl<'a> WasmBinary<'a> {
         }
         Ok(func)
     }
+
+    /// The name of the module.
+    pub fn name(&self) -> &str {
+        &self.names.module
+    }
 }

arbitrator/prover/src/host.rs

@@ -504,7 +504,7 @@ lazy_static! {
                     &[ty.clone()],      // only type needed is the func itself
                     0,                  // -----------------------------------
                     0,                  // impls don't use other internals
-                    &bin.names.module,
+                    bin.name(),
                 ),
                 ty.clone(),
                 &[] // impls don't make calls

arbitrator/prover/src/machine.rs

@@ -323,7 +323,7 @@ impl Module {
         let mut memory = Memory::default();
         let mut tables = Vec::new();
         let mut host_call_hooks = Vec::new();
-        let bin_name = &bin.names.module;
+        let bin_name = bin.name();
         for import in &bin.imports {
             let module = import.module;
             let have_ty = &bin.types[import.offset as usize];