From 60c0b4ee7970d0f51549b2b72dbba02c7f52bad9 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Fri, 27 May 2022 15:20:47 -0700
Subject: [PATCH] fix

---
 evm/src/keccak/keccak_stark.rs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/evm/src/keccak/keccak_stark.rs b/evm/src/keccak/keccak_stark.rs
index 511e2479..6b90dbc1 100644
--- a/evm/src/keccak/keccak_stark.rs
+++ b/evm/src/keccak/keccak_stark.rs
@@ -91,7 +91,6 @@ impl<F: RichField + Extendable<D>, const D: usize> KeccakStark<F, D> {
                     }
                 }
             }
-            rows[round] = rows[round - 1].clone();
             self.generate_trace_rows_for_round(&mut rows[round], round);
         }
 
@@ -318,8 +317,8 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F
         let computed_a_prime_prime_prime_0_0_hi = (32..64)
             .rev()
             .fold(P::ZEROS, |acc, z| acc.doubles() + get_xored_bit(z));
-        // yield_constr.constraint(computed_a_prime_prime_prime_0_0_lo - a_prime_prime_prime_0_0_lo);
-        // yield_constr.constraint(computed_a_prime_prime_prime_0_0_hi - a_prime_prime_prime_0_0_hi);
+        yield_constr.constraint(computed_a_prime_prime_prime_0_0_lo - a_prime_prime_prime_0_0_lo);
+        yield_constr.constraint(computed_a_prime_prime_prime_0_0_hi - a_prime_prime_prime_0_0_hi);
 
         // Enforce that this round's output equals the next round's input.
         for x in 0..5 {