From f01098a78325bf00b01c6d74fd2c2083d8db0a7a Mon Sep 17 00:00:00 2001
From: Robin Salen <salenrobin@gmail.com>
Date: Sun, 30 Jul 2023 10:43:26 -0400
Subject: [PATCH] Constrain keccak general

---
 evm/src/cpu/stack.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/evm/src/cpu/stack.rs b/evm/src/cpu/stack.rs
index 34e36b1e..5a04b661 100644
--- a/evm/src/cpu/stack.rs
+++ b/evm/src/cpu/stack.rs
@@ -70,8 +70,12 @@ const STACK_BEHAVIORS: OpsColumnsView<Option<StackBehavior>> = OpsColumnsView {
         pushes: true,
         disable_other_channels: false,
     }),
-    keccak_general: None, // TODO
-    prover_input: None,   // TODO
+    keccak_general: Some(StackBehavior {
+        num_pops: 4,
+        pushes: true,
+        disable_other_channels: true,
+    }),
+    prover_input: None, // TODO
     pop: Some(StackBehavior {
         num_pops: 1,
         pushes: false,