add sanity check to make sure ComparatorChip only use cur() in RLP (s…

…croll-tech#980) Co-authored-by: Steven <[email protected]>
somayeh021 · Sep 23, 2023 · 21f887d · 21f887d
1 parent 138b7a3
commit 21f887d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/gadgets/src/comparator.rs b/gadgets/src/comparator.rs
@@ -42,6 +42,9 @@ impl<F: Field, const N_BYTES: usize> ComparatorConfig<F, N_BYTES> {
         meta: &mut VirtualCells<F>,
         rotation: Option<Rotation>,
     ) -> (Expression<F>, Expression<F>) {
+        let rotation_is_cur = rotation.map_or(true, |r| r == Rotation::cur());
+        assert!(rotation_is_cur);
+
         (
             self.lt_chip.config.is_lt(meta, rotation),
             self.eq_chip.config.is_equal_expression.clone(),