Remove explicit calls to setup functions throughout the codebase

Author: Avaneesh-axiom

benchmarks/guest/ecrecover/src/main.rs

@@ -24,9 +24,6 @@ openvm_ecc_guest::sw_macros::sw_init! {
 }
 
 pub fn main() {
-    setup_all_moduli();
-    setup_all_curves();
-
     let expected_address = read_vec();
     for _ in 0..5 {
         let input = read_vec();

benchmarks/guest/kitchen-sink/src/main.rs

@@ -48,10 +48,8 @@ openvm_algebra_guest::complex_macros::complex_init! {
 }
 
 pub fn main() {
-    // Setup will materialize every chip
-    setup_all_moduli();
-    setup_all_complex_extensions();
-    setup_all_curves();
+    // TODO: Since we don't explicitly call setup functions anymore, we should rewrite this test
+    // to use every declared modulus and curve to ensure that every chip is materialized.
 
     let [one, six] = [1, 6].map(Seven::from_u32);
     assert_eq!(one + six, Seven::ZERO);

benchmarks/guest/pairing/src/main.rs

@@ -22,11 +22,6 @@ openvm_algebra_guest::complex_macros::complex_init! {
 const PAIR_ELEMENT_LEN: usize = 32 * (2 + 4); // 1 G1Affine (2 Fp), 1 G2Affine (4 Fp)
 
 pub fn main() {
-    setup_all_moduli();
-    setup_all_complex_extensions();
-    // Pairing doesn't need G1Affine intrinsics, but we trigger it anyways to test the chips
-    setup_all_curves();
-
     // copied from https://github.com/bluealloy/revm/blob/9e39df5dbc5fdc98779c644629b28b8bee75794a/crates/precompile/src/bn128.rs#L395
     let input = hex::decode(
         "\

examples/algebra/src/main.rs

@@ -31,10 +31,6 @@ openvm_algebra_complex_macros::complex_init! {
 */
 
 pub fn main() {
-    // Since we only use an arithmetic operation with `Mod1` and not `Mod2`,
-    // we only need to call `setup_0()` here.
-    setup_0();
-    setup_all_complex_extensions();
     let a = Complex1::new(Mod1::ZERO, Mod1::from_u32(0x3b8) * Mod1::from_u32(0x100000)); // a = -i in the corresponding field
     let b = Complex2::new(Mod2::ZERO, Mod2::from_u32(1000000006)); // b = -i in the corresponding field
     assert_eq!(a.clone() * &a * &a * &a * &a, a); // a^5 = a

examples/ecc/src/main.rs

@@ -23,8 +23,6 @@ openvm_ecc_guest::sw_macros::sw_init! {
 
 // ANCHOR: main
 pub fn main() {
-    setup_all_moduli();
-    setup_all_curves();
     let x1 = Secp256k1Coord::from_u32(1);
     let y1 = Secp256k1Coord::from_le_bytes(&hex!(
         "EEA7767E580D75BC6FDD7F58D2A84C2614FB22586068DB63B346C6E60AF21842"

examples/pairing/src/main.rs

@@ -26,11 +26,6 @@ openvm_algebra_complex_macros::complex_init! {
 
 // ANCHOR: main
 pub fn main() {
-    // ANCHOR: setup
-    setup_0();
-    setup_all_complex_extensions();
-    // ANCHOR_END: setup
-
     let p0 = AffinePoint::new(
         Fp::from_be_bytes(&hex!("17f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb")),
         Fp::from_be_bytes(&hex!("08b3f481e3aaa0f1a09e30ed741d8ae4fcf5e095d5d00af600db18cb2c04b3edd03cc744a2888ae40caa232946c5e7e1"))

extensions/pairing/tests/programs/examples/bls_ec.rs

@@ -15,7 +15,4 @@ openvm_ecc_sw_macros::sw_init! {
 
 openvm::entry!(main);
 
-pub fn main() {
-    setup_all_moduli();
-    setup_all_curves();
-}
+pub fn main() {}

extensions/pairing/tests/programs/examples/fp12_mul.rs

@@ -23,8 +23,6 @@ mod bn254 {
     }
 
     pub fn test_fp12_mul(io: &[u8]) {
-        setup_0();
-        setup_all_complex_extensions();
         assert_eq!(io.len(), 32 * 36);
 
         let f0 = &io[0..32 * 12];
@@ -62,8 +60,6 @@ mod bls12_381 {
     }
 
     pub fn test_fp12_mul(io: &[u8]) {
-        setup_0();
-        setup_all_complex_extensions();
         assert_eq!(io.len(), 48 * 36);
 
         let f0 = &io[0..48 * 12];

extensions/pairing/tests/programs/examples/pairing_check.rs

@@ -29,8 +29,6 @@ mod bn254 {
     }
 
     pub fn test_pairing_check(io: &[u8]) {
-        setup_0();
-        setup_all_complex_extensions();
         let s0 = &io[0..32 * 2];
         let s1 = &io[32 * 2..32 * 4];
         let q0 = &io[32 * 4..32 * 8];
@@ -71,8 +69,6 @@ mod bls12_381 {
     }
 
     pub fn test_pairing_check(io: &[u8]) {
-        setup_0();
-        setup_all_complex_extensions();
         let s0 = &io[0..48 * 2];
         let s1 = &io[48 * 2..48 * 4];
         let q0 = &io[48 * 4..48 * 8];

extensions/pairing/tests/programs/examples/pairing_check_fallback.rs

@@ -101,8 +101,6 @@ mod bn254 {
     }
 
     pub fn test_pairing_check(io: &[u8]) {
-        setup_0();
-        setup_all_complex_extensions();
         let s0 = &io[0..32 * 2];
         let s1 = &io[32 * 2..32 * 4];
         let q0 = &io[32 * 4..32 * 8];
@@ -216,8 +214,6 @@ mod bls12_381 {
     }
 
     pub fn test_pairing_check(io: &[u8]) {
-        setup_0();
-        setup_all_complex_extensions();
         let s0 = &io[0..48 * 2];
         let s1 = &io[48 * 2..48 * 4];
         let q0 = &io[48 * 4..48 * 8];

extensions/pairing/tests/programs/examples/pairing_line.rs

@@ -150,15 +150,11 @@ pub fn main() {
 
     #[cfg(feature = "bn254")]
     {
-        bn254::setup_0();
-        bn254::setup_all_complex_extensions();
         bn254::test_mul_013_by_013(&io[..32 * 18]);
         bn254::test_mul_by_01234(&io[32 * 18..32 * 52]);
     }
     #[cfg(feature = "bls12_381")]
     {
-        bls12_381::setup_0();
-        bls12_381::setup_all_complex_extensions();
         bls12_381::test_mul_023_by_023(&io[..48 * 18]);
         bls12_381::test_mul_by_02345(&io[48 * 18..48 * 52]);
     }

extensions/pairing/tests/programs/examples/pairing_miller_loop.rs

@@ -27,8 +27,6 @@ mod bn254 {
     }
 
     pub fn test_miller_loop(io: &[u8]) {
-        setup_0();
-        setup_all_complex_extensions();
         let s0 = &io[0..32 * 2];
         let s1 = &io[32 * 2..32 * 4];
         let q0 = &io[32 * 4..32 * 8];
@@ -70,8 +68,6 @@ mod bls12_381 {
     }
 
     pub fn test_miller_loop(io: &[u8]) {
-        setup_0();
-        setup_all_complex_extensions();
         let s0 = &io[0..48 * 2];
         let s1 = &io[48 * 2..48 * 4];
         let q0 = &io[48 * 4..48 * 8];

extensions/pairing/tests/programs/examples/pairing_miller_step.rs

@@ -169,15 +169,11 @@ pub fn main() {
 
     #[cfg(feature = "bn254")]
     {
-        bn254::setup_0();
-        bn254::setup_all_complex_extensions();
         bn254::test_miller_step(&io[..32 * 12]);
         bn254::test_miller_double_and_add_step(&io[32 * 12..]);
     }
     #[cfg(feature = "bls12_381")]
     {
-        bls12_381::setup_0();
-        bls12_381::setup_all_complex_extensions();
         bls12_381::test_miller_step(&io[..48 * 12]);
         bls12_381::test_miller_double_and_add_step(&io[48 * 12..]);
     }

extensions/pairing/tests/programs/openvm-init-pairing_check_fallback.rs

@@ -1,4 +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_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! {  }