1use ark_ec::{
 2    mnt6,
 3    models::{ModelParameters, SWModelParameters},
 4};
 5use ark_ff::field_new;
 6
 7use crate::{Fq, Fr, FR_ONE};
 8
 9pub type G1Affine = mnt6::G1Affine<crate::Parameters>;
10pub type G1Projective = mnt6::G1Projective<crate::Parameters>;
11pub type G1Prepared = mnt6::G1Prepared<crate::Parameters>;
12
13#[derive(Clone, Default, PartialEq, Eq)]
14pub struct Parameters;
15
16impl ModelParameters for Parameters {
17    type BaseField = Fq;
18    type ScalarField = Fr;
19
20    /// COFACTOR = 1
21    const COFACTOR: &'static [u64] = &[1];
22
23    /// COFACTOR^(-1) mod r = 1
24    #[rustfmt::skip]
25    const COFACTOR_INV: Fr = FR_ONE;
26}
27
28impl SWModelParameters for Parameters {
29    /// COEFF_A = 11
30    #[rustfmt::skip]
31    const COEFF_A: Fq = field_new!(Fq, "11");
32
33    /// COEFF_B = 0x7DA285E70863C79D56446237CE2E1468D14AE9BB64B2BB01B10E60A5D5DFE0A25714B7985993F62F03B22A9A3C737A1A1E0FCF2C43D7BF847957C34CCA1E3585F9A80A95F401867C4E80F4747FDE5ABA7505BA6FCF2485540B13DFC8468A
34    #[rustfmt::skip]
35    const COEFF_B: Fq = field_new!(Fq, "11625908999541321152027340224010374716841167701783584648338908235410859267060079819722747939267925389062611062156601938166010098747920378738927832658133625454260115409075816187555055859490253375704728027944315501122723426879114");
36
37    /// AFFINE_GENERATOR_COEFFS = (G1_GENERATOR_X, G1_GENERATOR_Y)
38    const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField) =
39        (G1_GENERATOR_X, G1_GENERATOR_Y);
40}
41
42// Generator of G1
43// X = 3458420969484235708806261200128850544017070333833944116801482064540723268149235477762870414664917360605949659630933184751526227993647030875167687492714052872195770088225183259051403087906158701786758441889742618916006546636728,
44// Y = 27460508402331965149626600224382137254502975979168371111640924721589127725376473514838234361114855175488242007431439074223827742813911899817930728112297763448010814764117701403540298764970469500339646563344680868495474127850569,
45/// G1_GENERATOR_X =
46/// 3458420969484235708806261200128850544017070333833944116801482064540723268149235477762870414664917360605949659630933184751526227993647030875167687492714052872195770088225183259051403087906158701786758441889742618916006546636728,
47#[rustfmt::skip]
48pub const G1_GENERATOR_X: Fq = field_new!(Fq, "3458420969484235708806261200128850544017070333833944116801482064540723268149235477762870414664917360605949659630933184751526227993647030875167687492714052872195770088225183259051403087906158701786758441889742618916006546636728");
49
50/// G1_GENERATOR_Y =
51/// 27460508402331965149626600224382137254502975979168371111640924721589127725376473514838234361114855175488242007431439074223827742813911899817930728112297763448010814764117701403540298764970469500339646563344680868495474127850569,
52#[rustfmt::skip]
53pub const G1_GENERATOR_Y: Fq = field_new!(Fq, "27460508402331965149626600224382137254502975979168371111640924721589127725376473514838234361114855175488242007431439074223827742813911899817930728112297763448010814764117701403540298764970469500339646563344680868495474127850569");