fix linter errors

Author: Avaneesh-axiom

examples/ecc/openvm.toml

@@ -7,5 +7,4 @@ supported_modulus = ["1157920892373161954235709850086879078532699846656405640394
 [[app_vm_config.ecc.supported_curves]]
 modulus = "115792089237316195423570985008687907853269984665640564039457584007908834671663"
 scalar = "115792089237316195423570985008687907852837564279074904382605163141518161494337"
-a = "0"
-b = "7"
+coeffs = { SwCurve = { a = "0", b = "7" } }

examples/ecc/openvm/app.vmexe

@@ -37,6 +37,7 @@ pub struct CurveConfig {
     #[serde_as(as = "DisplayFromStr")]
     pub scalar: BigUint,
     // curve-specific coefficients
+    #[serde_as(as = "_")]
     pub coeffs: CurveCoeffs,
 }
 

extensions/ecc/circuit/src/ecc_extension.rs

@@ -107,14 +107,16 @@ pub fn te_declare(input: TokenStream) -> TokenStream {
                 fn add_chip(p1: &#struct_name, p2: &#struct_name) -> #struct_name {
                     #[cfg(not(target_os = "zkvm"))]
                     {
+                        use openvm_algebra_guest::DivUnsafe;
+
                         let x1y2 = p1.x() * p2.y();
                         let y1x2 = p1.y() * p2.x();
                         let x1x2 = p1.x() * p2.x();
                         let y1y2 = p1.y() * p2.y();
-                        let dx1x2y1y2 = Self::CURVE_D * x1x2 * y1y2;
+                        let dx1x2y1y2 = Self::CURVE_D * &x1x2 * &y1y2;
 
-                        let x3 = (x1y2 + y1x2).div_unsafe(&(Self::Coordinate::ONE + dx1x2y1y2));
-                        let y3 = (y1y2 - Self::CURVE_A * x1x2).div_unsafe(&(Self::Coordinate::ONE - dx1x2y1y2));
+                        let x3 = (x1y2 + y1x2).div_unsafe(&<#intmod_type as openvm_algebra_guest::IntMod>::ONE + &dx1x2y1y2);
+                        let y3 = (y1y2 - Self::CURVE_A * x1x2).div_unsafe(&<#intmod_type as openvm_algebra_guest::IntMod>::ONE - &dx1x2y1y2);
 
                         #struct_name { x: x3, y: y3 }
                     }

extensions/ecc/te-setup/src/lib.rs

@@ -268,9 +268,7 @@ fn test_plonk_zkvm() -> eyre::Result<()> {
             BN254_MODULUS.clone(),
             BN254_ORDER.clone(),
         ]))
-        .ecc(EccExtension::new(vec![
-            PairingCurve::Bn254.curve_config()
-        ]))
+        .ecc(EccExtension::new(vec![PairingCurve::Bn254.curve_config()]))
         .fp2(Fp2Extension::new(vec![BN254_MODULUS.clone()]))
         .pairing(PairingExtension::new(vec![PairingCurve::Bn254]))
         .build();