fix under-constraint

scroll-tech · Sep 9, 2024 · c898f7c · c898f7c
1 parent 7e50704
commit c898f7c
Showing 1 changed file with 1 addition and 1 deletion.
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();