buggy print

PolyhedraZK · Dec 10, 2024 · 438cc69 · 438cc69
1 parent 36729e7
commit 438cc69
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/rsa_circuit/src/tests/u2048_mul.rs b/rsa_circuit/src/tests/u2048_mul.rs
@@ -5,6 +5,7 @@ use expander_compiler::{
     declare_circuit,
     frontend::{BN254Config, Define, Variable, API},
 };
+use extra::DebugAPI;
 use halo2curves::bn256::Fr;
 use num_bigint::BigUint;
 use num_traits::Num;
@@ -30,6 +31,8 @@ impl Define<BN254Config> for MulModCircuit<Variable> {
         let modulus = U2048Variable::from_raw(self.modulus);
         let two_to_120 = builder.constant(BN_TWO_TO_120);
 
+        builder.value_of(x.limbs[0]);
+
         U2048Variable::assert_mul(&x, &y, &result, &carry, &modulus, &two_to_120, builder);
     }
 }