diff --git a/o1vm/src/interpreters/mips/witness.rs b/o1vm/src/interpreters/mips/witness.rs index f09174540d..c4ccc5822a 100644 --- a/o1vm/src/interpreters/mips/witness.rs +++ b/o1vm/src/interpreters/mips/witness.rs @@ -606,6 +606,7 @@ impl InterpreterEnv for Env InterpreterEnv for Env Preimage; + fn get_preimage(&mut self, key: [u8; 32]) -> Preimage { + panic!("This function is never being used {}", hex::encode(key)); + } fn hint(&mut self, hint: Hint); } @@ -176,35 +178,37 @@ impl PreImageOracleT for PreImageOracle { // +---------------------------------+ // a. a 64-bit integer indicating the length of the actual data // b. the preimage data, with a size of bits + #[allow(unreachable_code)] fn get_preimage(&mut self, key: [u8; 32]) -> Preimage { - let RW(ReadWrite { reader, writer }) = &mut self.oracle_client; - - let r = writer.write_all(&key); - assert!(r.is_ok()); - let r = writer.flush(); - assert!(r.is_ok()); - - debug!("Reading response"); - let mut buf = [0_u8; 8]; - let resp = reader.read_exact(&mut buf); - assert!(resp.is_ok()); - - debug!("Extracting contents"); - let length = u64::from_be_bytes(buf); - let mut preimage = vec![0_u8; length as usize]; - let resp = reader.read_exact(&mut preimage); - - assert!(resp.is_ok()); - - debug!( - "Got preimage of length {}\n {}", - preimage.len(), - hex::encode(&preimage) - ); - // We should have read exactly bytes - assert_eq!(preimage.len(), length as usize); - - Preimage::create(preimage) + panic!("Attempted to get preimage for key {}", hex::encode(key)); + //let RW(ReadWrite { reader, writer }) = &mut self.oracle_client; + + //let r = writer.write_all(&key); + //assert!(r.is_ok()); + //let r = writer.flush(); + //assert!(r.is_ok()); + + //debug!("Reading response"); + //let mut buf = [0_u8; 8]; + //let resp = reader.read_exact(&mut buf); + //assert!(resp.is_ok()); + + //debug!("Extracting contents"); + //let length = u64::from_be_bytes(buf); + //let mut preimage = vec![0_u8; length as usize]; + //let resp = reader.read_exact(&mut preimage); + + //assert!(resp.is_ok()); + + //debug!( + // "Got preimage of length {}\n {}", + // preimage.len(), + // hex::encode(&preimage) + //); + //// We should have read exactly bytes + //assert_eq!(preimage.len(), length as usize); + + //Preimage::create(preimage) } // The hint protocol goes as follows: