✨ Add oracle tests to EVM diff tests

crates/mipsevm/Cargo.toml

@@ -14,7 +14,6 @@ once_cell = "1.18.0"
 serde = { version = "1.0.188", features = ["derive"] }
 serde_json = "1.0.106"
 fnv = "1.0.7"
-cfg-if = "1.0.0"
 
 # misc
 anyhow = "1.0.75"

crates/mipsevm/src/mips/mips_vm.rs

@@ -256,7 +256,6 @@ where
                         // Nothing to do; Leave v0 and v1 zero, read nothing, and give no error.
                     }
                     Ok(Fd::PreimageRead) => {
-                        dbg!("moose");
                         let effective_address = (a1 & 0xFFFFFFFC) as Address;
 
                         self.track_mem_access(effective_address)?;

crates/mipsevm/src/test_utils/evm.rs

@@ -67,7 +67,8 @@ impl MipsEVM<CacheDB<EmptyDB>> {
         // Deploy the MIPS contract prior to deploying it manually. This contract has an immutable
         // variable, so we let the creation code fill this in for us, and then deploy it to the
         // test address.
-        let encoded_preimage_addr = Address::from_slice(MIPS_ADDR.as_slice()).into_word();
+        let encoded_preimage_addr =
+            Address::from_slice(PREIMAGE_ORACLE_ADDR.as_slice()).into_word();
         let mips_creation_heap = hex::decode(MIPS_CREATION_CODE)?
             .into_iter()
             .chain(encoded_preimage_addr)
@@ -286,11 +287,6 @@ mod test {
                 let file_name = String::from(f.file_name().to_str().unwrap());
                 println!(" -> Running test: {file_name}");
 
-                if file_name.starts_with("oracle") {
-                    println!("skipping oracle test");
-                    continue;
-                }
-
                 // Short circuit early for `exit_group.bin`
                 let exit_group = file_name == "exit_group.bin";
 

crates/mipsevm/src/witness.rs

@@ -122,17 +122,8 @@ impl StepWitness {
     /// ### Returns
     /// - The ABI encoded input to the MIPS step function.
     pub fn encode_step_input(&self) -> Bytes {
-        let mut abi_state_len = self.state.len();
-        if abi_state_len % 32 != 0 {
-            abi_state_len += 32 - (abi_state_len % 32);
-        }
-
-        // Pad state to 32 byte multiple per ABI
-        let mut abi_state = vec![0u8; abi_state_len];
-        abi_state[..self.state.len()].copy_from_slice(&self.state);
-
         let call = stepCall {
-            _0: abi_state,
+            _0: self.state.to_vec(),
             _1: self.mem_proof.clone(),
         };