ark_ec/models/mnt4/
g1.rs

1use crate::{
2    mnt4::MNT4Config,
3    short_weierstrass::{Affine, Projective},
4    AffineRepr, CurveGroup,
5};
6use ark_ff::Fp2;
7use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
8use ark_std::vec::*;
9use educe::Educe;
10
11pub type G1Affine<P> = Affine<<P as MNT4Config>::G1Config>;
12pub type G1Projective<P> = Projective<<P as MNT4Config>::G1Config>;
13
14#[derive(Educe, CanonicalSerialize, CanonicalDeserialize)]
15#[educe(Copy, Clone, Debug, PartialEq, Eq)]
16pub struct G1Prepared<P: MNT4Config> {
17    pub x: P::Fp,
18    pub y: P::Fp,
19    pub x_twist: Fp2<P::Fp2Config>,
20    pub y_twist: Fp2<P::Fp2Config>,
21}
22
23impl<P: MNT4Config> From<G1Affine<P>> for G1Prepared<P> {
24    fn from(g1: G1Affine<P>) -> Self {
25        let mut x_twist = P::TWIST;
26        x_twist.mul_assign_by_fp(&g1.x);
27
28        let mut y_twist = P::TWIST;
29        y_twist.mul_assign_by_fp(&g1.y);
30
31        Self {
32            x: g1.x,
33            y: g1.y,
34            x_twist,
35            y_twist,
36        }
37    }
38}
39
40impl<'a, P: MNT4Config> From<&'a G1Affine<P>> for G1Prepared<P> {
41    fn from(g1: &'a G1Affine<P>) -> Self {
42        (*g1).into()
43    }
44}
45
46impl<P: MNT4Config> From<G1Projective<P>> for G1Prepared<P> {
47    fn from(g1: G1Projective<P>) -> Self {
48        g1.into_affine().into()
49    }
50}
51impl<'a, P: MNT4Config> From<&'a G1Projective<P>> for G1Prepared<P> {
52    fn from(g1: &'a G1Projective<P>) -> Self {
53        (*g1).into()
54    }
55}
56
57impl<P: MNT4Config> Default for G1Prepared<P> {
58    fn default() -> Self {
59        Self::from(G1Affine::<P>::generator())
60    }
61}
ark_ec/models/mnt4/g1.rs

ark_ec/models/mnt4/
g1.rs
