openvm_pairing_circuit/
config.rs

Help
1use openvm_algebra_circuit::*;
2use openvm_circuit::arch::SystemConfig;
3use openvm_circuit_derive::VmConfig;
4use openvm_ecc_circuit::*;
5use openvm_rv32im_circuit::*;
6use openvm_stark_backend::p3_field::PrimeField32;
7use serde::{Deserialize, Serialize};
8
9use super::*;
10
11#[derive(Clone, Debug, VmConfig, Serialize, Deserialize)]
12pub struct Rv32PairingConfig {
13    #[system]
14    pub system: SystemConfig,
15    #[extension]
16    pub base: Rv32I,
17    #[extension]
18    pub mul: Rv32M,
19    #[extension]
20    pub io: Rv32Io,
21    #[extension]
22    pub modular: ModularExtension,
23    #[extension]
24    pub fp2: Fp2Extension,
25    #[extension]
26    pub weierstrass: WeierstrassExtension,
27    #[extension]
28    pub pairing: PairingExtension,
29}
30
31impl Rv32PairingConfig {
32    pub fn new(curves: Vec<PairingCurve>) -> Self {
33        let mut primes: Vec<_> = curves
34            .iter()
35            .map(|c| c.curve_config().modulus.clone())
36            .collect();
37        primes.extend(curves.iter().map(|c| c.curve_config().scalar.clone()));
38        Self {
39            system: SystemConfig::default().with_continuations(),
40            base: Default::default(),
41            mul: Default::default(),
42            io: Default::default(),
43            modular: ModularExtension::new(primes.to_vec()),
44            fp2: Fp2Extension::new(primes.to_vec()),
45            weierstrass: WeierstrassExtension::new(
46                curves.iter().map(|c| c.curve_config()).collect(),
47            ),
48            pairing: PairingExtension::new(curves),
49        }
50    }
51}
openvm_pairing_circuit/config.rs

openvm_pairing_circuit/
config.rs
