chore: remove redundant check

zkMIPS · Sep 20, 2024 · 643b075 · 643b075
1 parent 03fd841
commit 643b075
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/prover/src/cpu/cpu_stark.rs b/prover/src/cpu/cpu_stark.rs
@@ -15,7 +15,7 @@ use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer
 use crate::cpu::columns::{COL_MAP, NUM_CPU_COLUMNS};
 //use crate::cpu::membus::NUM_GP_CHANNELS;
 use crate::cpu::{
- bits, bootstrap_kernel, count, decode, exit_kernel, jumps, membus, memio, misc, shift, syscall,
+ bits, bootstrap_kernel, count, decode, jumps, membus, memio, misc, shift, syscall,
 };
 use crate::cross_table_lookup::{Column, Filter, TableWithColumns};
 use crate::evaluation_frame::{StarkEvaluationFrame, StarkFrame};
@@ -212,7 +212,7 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for CpuStark<F, D
  syscall::eval_packed(local_values, yield_constr);
  bits::eval_packed(local_values, yield_constr);
  misc::eval_packed(local_values, yield_constr);
- exit_kernel::eval_exit_kernel_packed(local_values, next_values, yield_constr);
+ //exit_kernel::eval_exit_kernel_packed(local_values, next_values, yield_constr);
  }
 
  fn eval_ext_circuit(
@@ -244,7 +244,7 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for CpuStark<F, D
  syscall::eval_ext_circuit(builder, local_values, yield_constr);
  bits::eval_ext_circuit(builder, local_values, yield_constr);
  misc::eval_ext_circuit(builder, local_values, yield_constr);
- exit_kernel::eval_exit_kernel_ext_circuit(builder, local_values, next_values, yield_constr);
+ //exit_kernel::eval_exit_kernel_ext_circuit(builder, local_values, next_values, yield_constr);
  }
 
  fn constraint_degree(&self) -> usize {

diff --git a/prover/src/generation/mod.rs b/prover/src/generation/mod.rs
@@ -93,7 +93,7 @@ pub(crate) fn simulate_cpu<F: RichField + Extendable<D>, const D: usize>(
  )
  }
 
- generate_exit_kernel::<F>(state, kernel);
+ //generate_exit_kernel::<F>(state, kernel);
 
  // Padding
  let mut row = CpuColumnsView::<F>::default();