fix: remove unnecessary constraint which requires zero on unused cells (

taikoxyz#135)
csu638 · Oct 25, 2021 · a40168d · a40168d
1 parent 1f7e38a
commit a40168d
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/zkevm-circuits/src/evm_circuit/op_execution.rs b/zkevm-circuits/src/evm_circuit/op_execution.rs
@@ -437,15 +437,6 @@ impl<F: FieldExt> OpExecutionGadget<F> {
                         .collect(),
                     lookups: vec![],
                 });
-                constraints.push(Constraint {
-                    name: "case unused",
-                    selector: qs_op.expr() * qs_case.expr(),
-                    polys: unused_idxs
-                        .into_iter()
-                        .map(|idx| free_cells[idx].expr())
-                        .collect(),
-                    lookups: vec![],
-                });
 
                 assert!(
                     preset_map