chore: revert old keccak example

Author: shuklaayush

crates/toolchain/transpiler/src/extension.rs

@@ -14,7 +14,6 @@ pub trait TranspilerExtension<F> {
     fn process_custom(&self, instruction_stream: &[u32]) -> Option<TranspilerOutput<F>>;
 }
 
-#[derive(Debug)]
 pub struct TranspilerOutput<F> {
     pub instructions: Vec<Option<Instruction<F>>>,
     pub used_u32s: usize,

examples/keccak/Cargo.toml

@@ -12,8 +12,6 @@ openvm = { git = "https://github.com/openvm-org/openvm.git", features = [
 ] }
 openvm-keccak256 = { git = "https://github.com/openvm-org/openvm.git" }
 hex = { version = "0.4.3" }
-tiny-keccak = { git = "https://github.com/openvm-org/tiny-keccak.git", features = ["keccak"] }
-openvm-new-keccak256-guest = { path = "../../extensions/new-keccak256/guest" }
 
 [features]
 default = []
@@ -22,4 +20,3 @@ default = []
 [patch."https://github.com/openvm-org/openvm.git"]
 openvm = { path = "../../crates/toolchain/openvm" }
 openvm-keccak256 = { path = "../../guest-libs/keccak256" }
-

examples/keccak/openvm.toml

@@ -1,4 +1,4 @@
 [app_vm_config.rv32i]
 [app_vm_config.rv32m]
 [app_vm_config.io]
-[app_vm_config.new_keccak]
+[app_vm_config.keccak]

examples/keccak/src/main.rs

@@ -1,21 +1,30 @@
 // [!region imports]
+use core::hint::black_box;
+
+use hex::FromHex;
 use openvm as _;
+use openvm_keccak256::keccak256;
 // [!endregion imports]
 
 // [!region main]
-
-// todo: call the forked tiny keccak library once that is updated instead of directly calling the
-// keccak256_guest native functions
 pub fn main() {
-    #[cfg(target_os = "zkvm")]
-    {
-        let mut buffer = [1u8; 200];
-        let input = [2u8; 136];
-        let output = [3u8; 136];
-        let len: usize = 136;
-        openvm_new_keccak256_guest::native_xorin(buffer.as_mut_ptr(), input.as_ptr(), len);
-        assert_eq!(buffer[..136], output);
-        openvm_new_keccak256_guest::native_keccakf(buffer.as_mut_ptr());
+    let test_vectors = [
+        (
+            "",
+            "C5D2460186F7233C927E7DB2DCC703C0E500B653CA82273B7BFAD8045D85A470",
+        ),
+        (
+            "CC",
+            "EEAD6DBFC7340A56CAEDC044696A168870549A6A7F6F56961E84A54BD9970B8A",
+        ),
+    ];
+    for (input, expected_output) in test_vectors.iter() {
+        let input = Vec::from_hex(input).unwrap();
+        let expected_output = Vec::from_hex(expected_output).unwrap();
+        let output = keccak256(&black_box(input));
+        if output != *expected_output {
+            panic!();
+        }
     }
 }
 // [!endregion main]

examples/new-keccak/src/main.rs

@@ -1,9 +1,8 @@
 // [!region imports]
 use hex_literal::hex;
-use tiny_keccak::{Hasher, Keccak};
-
 #[cfg(target_os = "zkvm")]
 use openvm as _;
+use tiny_keccak::{Hasher, Keccak};
 // [!endregion imports]
 
 // [!region main]
@@ -161,6 +160,9 @@ pub fn main() {
         assert_eq!(output, expected);
     }
 
-    println!("All {} keccak256 test cases passed!", KECCAK_TEST_CASES.len());
+    println!(
+        "All {} keccak256 test cases passed!",
+        KECCAK_TEST_CASES.len()
+    );
 }
 // [!endregion main]