fix: stash code

zkMIPS · Nov 26, 2023 · c75ace2 · c75ace2
1 parent f1cb243
commit c75ace2
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/cpu/memio.rs b/src/cpu/memio.rs
@@ -90,7 +90,6 @@ fn eval_packed_load<P: PackedField>(
 
     let rt_from_bits = limb_from_bits_le(rt_limbs.into_iter());
     yield_constr.constraint(filter * (rt_from_bits - rt));
-    */
 
     // Constrain mem address
     //    let virt = virt_raw & 0xFFFF_FFFC;
@@ -102,7 +101,6 @@ fn eval_packed_load<P: PackedField>(
     let mem_virt = lv.mem_channels[2].addr_virtual;
     yield_constr.constraint(filter * (virt - mem_virt));
 
-    /*
     // Verify op
     let op_inv = lv.general.io().diff_inv;
     let op = lv.mem_channels[4].value;
@@ -322,7 +320,6 @@ fn eval_ext_circuit_load<F: RichField + Extendable<D>, const D: usize>(
     let diff = builder.sub_extension(rt_from_bits, rt);
     let constr = builder.mul_extension(filter, diff);
     yield_constr.constraint(builder, constr);
-    */
 
     // Constrain mem address
     //    let virt = virt_raw & 0xFFFF_FFFC;
@@ -336,7 +333,6 @@ fn eval_ext_circuit_load<F: RichField + Extendable<D>, const D: usize>(
     let constr = builder.mul_extension(filter, diff);
     yield_constr.constraint(builder, constr);
 
-    /*
     // Verify op
     let op_inv = lv.general.io().diff_inv;
     let op = lv.mem_channels[4].value;