chore: fix lint

Author: jonathanpwang

examples/algebra/Cargo.toml

@@ -17,3 +17,8 @@ num-bigint = { version = "0.4.6", features = ["serde"] }
 
 [features]
 default = []
+
+# remove this if copying example outside of monorepo
+[patch."https://github.com/openvm-org/openvm.git"]
+openvm = { path = "../../crates/toolchain/openvm" }
+openvm-algebra-guest = { path = "../../extensions/algebra/guest" }

extensions/ecc/sw-macros/src/lib.rs

@@ -5,8 +5,7 @@ use proc_macro::TokenStream;
 use quote::format_ident;
 use syn::{
     parse::{Parse, ParseStream},
-    parse_macro_input, ExprPath, Token,
-    LitStr,
+    parse_macro_input, ExprPath, LitStr, Token,
 };
 
 /// This macro generates the code to setup the elliptic curve for a given modular type. Also it
@@ -71,11 +70,7 @@ pub fn sw_declare(input: TokenStream) -> TokenStream {
         macro_rules! create_extern_func {
             ($name:ident) => {
                 let $name = syn::Ident::new(
-                    &format!(
-                        "{}_{}",
-                        stringify!($name),
-                        struct_name_str
-                    ),
+                    &format!("{}_{}", stringify!($name), struct_name_str),
                     span.into(),
                 );
             };
@@ -204,7 +199,7 @@ pub fn sw_declare(input: TokenStream) -> TokenStream {
                         // (EcAdd only) p2 is (x2, y2), and x1 - x2 has to be non-zero to avoid division over zero in add.
                         let p2 = [one.as_ref(), one.as_ref()].concat();
                         let mut uninit: core::mem::MaybeUninit<[Self; 2]> = core::mem::MaybeUninit::uninit();
- 
+
                         unsafe { #sw_setup_extern_func(uninit.as_mut_ptr() as *mut core::ffi::c_void, p1.as_ptr(), p2.as_ptr()); }
                         <#intmod_type as openvm_algebra_guest::IntMod>::set_up_once();
                         true
@@ -425,7 +420,7 @@ impl Parse for SwDefine {
     fn parse(input: ParseStream) -> syn::Result<Self> {
         let items = input.parse_terminated(<LitStr as Parse>::parse, Token![,])?;
         Ok(Self {
-            items: items.into_iter().map(|e| e.value()).collect()
+            items: items.into_iter().map(|e| e.value()).collect(),
         })
     }
 }
@@ -499,7 +494,7 @@ pub fn sw_init(input: TokenStream) -> TokenStream {
                         rs1 = In p1,
                         rs2 = Const "x0" // will be parsed as 0 and therefore transpiled to SETUP_EC_DOUBLE
                     );
- 
+
 
                 }
             }

guest-libs/pairing/tests/programs/openvm_init_bls_final_exp_hint_bls12_381.rs

@@ -1,5 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
 openvm_algebra_guest::moduli_macros::moduli_init! { "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787" }
 openvm_algebra_guest::complex_macros::complex_init! { "Bls12_381Fp2" { mod_idx = 0 } }
-openvm_ecc_guest::sw_macros::sw_init! {  }
-openvm_ecc_guest::te_macros::te_init! {  }
+openvm_ecc_guest::sw_macros::sw_init! {}

guest-libs/pairing/tests/programs/openvm_init_bn_final_exp_hint_bn254.rs

@@ -1,5 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
 openvm_algebra_guest::moduli_macros::moduli_init! { "21888242871839275222246405745257275088696311157297823662689037894645226208583" }
 openvm_algebra_guest::complex_macros::complex_init! { "Bn254Fp2" { mod_idx = 0 } }
-openvm_ecc_guest::sw_macros::sw_init! {  }
-openvm_ecc_guest::te_macros::te_init! {  }
+openvm_ecc_guest::sw_macros::sw_init! {}

guest-libs/pairing/tests/programs/openvm_init_fp12_mul_bls12_381.rs

@@ -1,5 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
 openvm_algebra_guest::moduli_macros::moduli_init! { "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787" }
 openvm_algebra_guest::complex_macros::complex_init! { "Bls12_381Fp2" { mod_idx = 0 } }
-openvm_ecc_guest::sw_macros::sw_init! {  }
-openvm_ecc_guest::te_macros::te_init! {  }
+openvm_ecc_guest::sw_macros::sw_init! {}

guest-libs/pairing/tests/programs/openvm_init_fp12_mul_bn254.rs

@@ -1,5 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
 openvm_algebra_guest::moduli_macros::moduli_init! { "21888242871839275222246405745257275088696311157297823662689037894645226208583" }
 openvm_algebra_guest::complex_macros::complex_init! { "Bn254Fp2" { mod_idx = 0 } }
-openvm_ecc_guest::sw_macros::sw_init! {  }
-openvm_ecc_guest::te_macros::te_init! {  }
+openvm_ecc_guest::sw_macros::sw_init! {}

guest-libs/pairing/tests/programs/openvm_init_pairing_check_bls12_381.rs

@@ -1,5 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
 openvm_algebra_guest::moduli_macros::moduli_init! { "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787" }
 openvm_algebra_guest::complex_macros::complex_init! { "Bls12_381Fp2" { mod_idx = 0 } }
-openvm_ecc_guest::sw_macros::sw_init! {  }
-openvm_ecc_guest::te_macros::te_init! {  }
+openvm_ecc_guest::sw_macros::sw_init! {}

guest-libs/pairing/tests/programs/openvm_init_pairing_check_bn254.rs

@@ -1,5 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
 openvm_algebra_guest::moduli_macros::moduli_init! { "21888242871839275222246405745257275088696311157297823662689037894645226208583" }
 openvm_algebra_guest::complex_macros::complex_init! { "Bn254Fp2" { mod_idx = 0 } }
-openvm_ecc_guest::sw_macros::sw_init! {  }
-openvm_ecc_guest::te_macros::te_init! {  }
+openvm_ecc_guest::sw_macros::sw_init! {}

guest-libs/pairing/tests/programs/openvm_init_pairing_check_fallback_bn254.rs

@@ -1,5 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
 openvm_algebra_guest::moduli_macros::moduli_init! { "21888242871839275222246405745257275088696311157297823662689037894645226208583" }
 openvm_algebra_guest::complex_macros::complex_init! { "Bn254Fp2" { mod_idx = 0 } }
-openvm_ecc_guest::sw_macros::sw_init! {  }
-openvm_ecc_guest::te_macros::te_init! {  }
+openvm_ecc_guest::sw_macros::sw_init! {}

guest-libs/pairing/tests/programs/openvm_init_pairing_line_bls12_381.rs

@@ -1,5 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
 openvm_algebra_guest::moduli_macros::moduli_init! { "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787" }
 openvm_algebra_guest::complex_macros::complex_init! { "Bls12_381Fp2" { mod_idx = 0 } }
-openvm_ecc_guest::sw_macros::sw_init! {  }
-openvm_ecc_guest::te_macros::te_init! {  }
+openvm_ecc_guest::sw_macros::sw_init! {}