rm assert on double chip vars (#1264)

openvm-org · Jan 23, 2025 · 4410a89 · 4410a89
1 parent 864d0a7
commit 4410a89
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/extensions/ecc/circuit/src/weierstrass_chip/double.rs b/extensions/ecc/circuit/src/weierstrass_chip/double.rs
@@ -231,7 +231,6 @@ where
             vec![x_biguint.clone(), y_biguint.clone()],
             vec![is_double_flag],
         );
-        assert_eq!(vars.len(), 3); // x1^2, x3, y3
 
         let writes = self
             .air