fix under-constraint

scroll-tech · Sep 10, 2024 · d4e85a6 · d4e85a6
1 parent 60ea85c
commit d4e85a6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ceno_zkvm/src/scheme/mock_prover.rs b/ceno_zkvm/src/scheme/mock_prover.rs
@@ -359,7 +359,7 @@ pub fn load_and_table<E: ExtensionField>(
 ) {
     for i in 0..(1 << 16) {
         let a = i >> 8;
-        let b = i & 0b0111_1111;
+        let b = i & 0xFF;
         let c = a & b;
         let rlc_record = cb.rlc_chip_record(vec![
             Expression::Constant(E::BaseField::from(ROMType::And as u64)),

diff --git a/ceno_zkvm/src/uint/arithmetic.rs b/ceno_zkvm/src/uint/arithmetic.rs
@@ -254,7 +254,7 @@ impl<const M: usize, E: ExtensionField> UInt<M, 8, E> {
         circuit_builder.lookup_and_byte(
             high_limb_no_msb.expr(),
             high_limb.clone(),
-            Expression::from(0xFF),
+            Expression::from(0b0111_1111),
         )?;
 
         let inv_128 = F::from(128).invert().unwrap();