Merge branch 'feat/edwards-curve-new-execution' into feat/eddsa

Author: Avaneesh-axiom

extensions/ecc/circuit/src/edwards_chip/add.rs

@@ -61,6 +61,7 @@ pub struct TeAddChip<F: PrimeField32, const BLOCKS: usize, const BLOCK_SIZE: usi
     pub EdwardsChip<F, 2, BLOCKS, BLOCK_SIZE>,
 );
 
+#[allow(clippy::too_many_arguments)]
 impl<F: PrimeField32, const BLOCKS: usize, const BLOCK_SIZE: usize>
     TeAddChip<F, BLOCKS, BLOCK_SIZE>
 {

extensions/ecc/circuit/src/edwards_chip/tests.rs

@@ -19,6 +19,7 @@ use super::TeAddChip;
 const NUM_LIMBS: usize = 32;
 const LIMB_BITS: usize = 8;
 const BLOCK_SIZE: usize = 32;
+const MAX_INS_CAPACITY: usize = 128;
 type F = BabyBear;
 
 lazy_static::lazy_static! {
@@ -124,6 +125,7 @@ fn test_add() {
         Edwards25519_A.clone(),
         Edwards25519_D.clone(),
     );
+    chip.0.set_trace_buffer_height(MAX_INS_CAPACITY);
 
     assert_eq!(chip.0.step.expr.builder.num_variables, 12);
 

guest-libs/pairing/tests/lib.rs

@@ -14,7 +14,7 @@ mod bn254 {
     use openvm_circuit::utils::{
         air_test, air_test_impl, air_test_with_min_segments, test_system_config_with_continuations,
     };
-    use openvm_ecc_circuit::{CurveConfig, EccExtension, Rv32EccConfig};
+    use openvm_ecc_circuit::{CurveConfig, EccExtension, Rv32EccConfig, SwCurveCoeffs};
     use openvm_ecc_guest::{
         algebra::{field::FieldExtension, IntMod},
         AffinePoint,
@@ -518,8 +518,8 @@ mod bls12_381 {
     }
 
     #[cfg(test)]
-    fn test_rv32weierstrass_config(curves: Vec<CurveConfig>) -> Rv32WeierstrassConfig {
-        let mut config = Rv32WeierstrassConfig::new(curves);
+    fn test_rv32ecc_config(sw_curves: Vec<CurveConfig<SwCurveCoeffs>>) -> Rv32EccConfig {
+        let mut config = Rv32EccConfig::new(sw_curves, vec![]);
         config.system = test_system_config_with_continuations();
         config
     }