1use ark_ec::{
 2    models::{short_weierstrass::SWCurveConfig, CurveConfig},
 3    short_weierstrass::{Affine, Projective},
 4    AffineRepr, CurveGroup,
 5};
 6use ark_ff::MontFp;
 7use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
 8use ark_std::vec::Vec;
 9
10use crate::{Fq, Fr};
11
12pub type G1Affine = Affine<Parameters>;
13pub type G1Projective = Projective<Parameters>;
14
15#[derive(Clone, Debug, PartialEq, Eq, CanonicalSerialize, CanonicalDeserialize)]
16pub struct G1Prepared(pub G1Affine);
17
18impl From<G1Affine> for G1Prepared {
19    fn from(other: G1Affine) -> Self {
20        G1Prepared(other)
21    }
22}
23
24impl From<G1Projective> for G1Prepared {
25    fn from(q: G1Projective) -> Self {
26        q.into_affine().into()
27    }
28}
29
30impl<'a> From<&'a G1Affine> for G1Prepared {
31    fn from(other: &'a G1Affine) -> Self {
32        G1Prepared(*other)
33    }
34}
35
36impl<'a> From<&'a G1Projective> for G1Prepared {
37    fn from(q: &'a G1Projective) -> Self {
38        q.into_affine().into()
39    }
40}
41
42impl G1Prepared {
43    pub fn is_zero(&self) -> bool {
44        self.0.is_zero()
45    }
46}
47
48impl Default for G1Prepared {
49    fn default() -> Self {
50        G1Prepared(G1Affine::generator())
51    }
52}
53
54#[derive(Clone, Default, PartialEq, Eq)]
55pub struct Parameters;
56
57impl CurveConfig for Parameters {
58    type BaseField = Fq;
59    type ScalarField = Fr;
60
61    /// COFACTOR =
62    /// 86482221941698704497288378992285180119495364068003923046442785886272123124361700722982503222189455144364945735564951561028
63    #[rustfmt::skip]
64    const COFACTOR: &'static [u64] = &[
65        0x5657b9b57b942344,
66        0x84f9a65f3bd54eaf,
67        0x5ea4214e35cd127,
68        0xe3cbcbc14ec1501d,
69        0xf196cb845a3092ab,
70        0x7e14627ad0e19017,
71        0x217db4,
72    ];
73
74    /// COFACTOR^(-1) mod r =
75    /// 163276846538158998893990986356139314746223949404500031940624325017036397274793417940375498603127780919653358641788
76    const COFACTOR_INV: Fr = MontFp!("163276846538158998893990986356139314746223949404500031940624325017036397274793417940375498603127780919653358641788");
77}
78
79impl SWCurveConfig for Parameters {
80    /// COEFF_A = 5
81    const COEFF_A: Fq = MontFp!("5");
82
83    /// COEFF_B = 17764315118651679038286329069295091506801468118146712649886336045535808055361274148466772191243305528312843236347777260247138934336850548243151534538734724191505953341403463040067571652261229308333392040104884438208594329793895206056414
84    const COEFF_B: Fq = MontFp!("17764315118651679038286329069295091506801468118146712649886336045535808055361274148466772191243305528312843236347777260247138934336850548243151534538734724191505953341403463040067571652261229308333392040104884438208594329793895206056414");
85
86    /// AFFINE_GENERATOR_COEFFS = (G1_GENERATOR_X, G1_GENERATOR_Y)
87    const GENERATOR: G1Affine = G1Affine::new_unchecked(G1_GENERATOR_X, G1_GENERATOR_Y);
88}
89
90/// G1_GENERATOR_X =
91/// 5511163824921585887915590525772884263960974614921003940645351443740084257508990841338974915037175497689287870585840954231884082785026301437744745393958283053278991955159266640440849940136976927372133743626748847559939620888818486853646
92pub const G1_GENERATOR_X: Fq = MontFp!("5511163824921585887915590525772884263960974614921003940645351443740084257508990841338974915037175497689287870585840954231884082785026301437744745393958283053278991955159266640440849940136976927372133743626748847559939620888818486853646");
93
94/// G1_GENERATOR_Y =
95/// 7913123550914612057135582061699117755797758113868200992327595317370485234417808273674357776714522052694559358668442301647906991623400754234679697332299689255516547752391831738454121261248793568285885897998257357202903170202349380518443
96pub const G1_GENERATOR_Y: Fq = MontFp!("7913123550914612057135582061699117755797758113868200992327595317370485234417808273674357776714522052694559358668442301647906991623400754234679697332299689255516547752391831738454121261248793568285885897998257357202903170202349380518443");