fix(castf): handle range check correctly for padding rows (#1206)

* bug(castf): LogUp multiset equality check failed * fix: only range_check on valid rows --------- Co-authored-by: Yi Sun <[email protected]>
openvm-org · Jan 11, 2025 · e1c9244 · e1c9244
1 parent 37b4f3b
commit e1c9244
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/extensions/native/circuit/src/castf/core.rs b/extensions/native/circuit/src/castf/core.rs
@@ -81,7 +81,7 @@ where
                         _ => unreachable!(),
                     },
                 )
-                .eval(builder, AB::Expr::ONE);
+                .eval(builder, cols.is_valid);
         }
 
         AdapterAirContext {

diff --git a/extensions/native/circuit/src/castf/tests.rs b/extensions/native/circuit/src/castf/tests.rs
@@ -68,7 +68,7 @@ fn castf_rand_test() {
         CastFCoreChip::new(tester.range_checker(), 0),
         tester.offline_memory_mutex_arc(),
     );
-    let num_tests: usize = 1;
+    let num_tests: usize = 3;
 
     for _ in 0..num_tests {
         let y = generate_uint_number(&mut rng);