From c8637635b97cc4563118930ec3f7ac31abdba4ab Mon Sep 17 00:00:00 2001
From: Hamy Ratoanina <hamy.ratoanina@toposware.com>
Date: Thu, 13 Apr 2023 15:55:46 -0400
Subject: [PATCH] Remove dummy_yield_constr

---
 evm/src/cpu/cpu_stark.rs | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/evm/src/cpu/cpu_stark.rs b/evm/src/cpu/cpu_stark.rs
index bee641a3..a8c83e4f 100644
--- a/evm/src/cpu/cpu_stark.rs
+++ b/evm/src/cpu/cpu_stark.rs
@@ -141,8 +141,6 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for CpuStark<F, D
     {
         let local_values = vars.local_values.borrow();
         let next_values = vars.next_values.borrow();
-        // TODO: Some failing constraints temporarily disabled by using this dummy consumer.
-        let mut dummy_yield_constr = ConstraintConsumer::new(vec![], P::ZEROS, P::ZEROS, P::ZEROS);
         bootstrap_kernel::eval_bootstrap_kernel(vars, yield_constr);
         contextops::eval_packed(local_values, next_values, yield_constr);
         control_flow::eval_packed_generic(local_values, next_values, yield_constr);
@@ -169,10 +167,6 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for CpuStark<F, D
     ) {
         let local_values = vars.local_values.borrow();
         let next_values = vars.next_values.borrow();
-        // TODO: Some failing constraints temporarily disabled by using this dummy consumer.
-        let zero = builder.zero_extension();
-        let mut dummy_yield_constr =
-            RecursiveConstraintConsumer::new(zero, vec![], zero, zero, zero);
         bootstrap_kernel::eval_bootstrap_kernel_circuit(builder, vars, yield_constr);
         contextops::eval_ext_circuit(builder, local_values, next_values, yield_constr);
         control_flow::eval_ext_circuit(builder, local_values, next_values, yield_constr);