From c75ace25cd75c48bd0a5b9139d6458f7fd8875cc Mon Sep 17 00:00:00 2001
From: eigmax <stephen@ieigen.com>
Date: Mon, 27 Nov 2023 00:58:04 +0800
Subject: [PATCH] fix: stash code

---
 src/cpu/memio.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/cpu/memio.rs b/src/cpu/memio.rs
index f27b42f7..84cc3333 100644
--- 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;