ark_ec/models/bn/
g1.rs

1use crate::{
2    bn::BnConfig,
3    short_weierstrass::{Affine, Projective},
4    AffineRepr, CurveGroup,
5};
6use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
7use ark_std::vec::*;
8use educe::Educe;
9
10pub type G1Affine<P> = Affine<<P as BnConfig>::G1Config>;
11pub type G1Projective<P> = Projective<<P as BnConfig>::G1Config>;
12
13#[derive(Educe, CanonicalSerialize, CanonicalDeserialize)]
14#[educe(Clone, Debug, PartialEq, Eq)]
15pub struct G1Prepared<P: BnConfig>(pub G1Affine<P>);
16
17impl<P: BnConfig> From<G1Affine<P>> for G1Prepared<P> {
18    fn from(other: G1Affine<P>) -> Self {
19        G1Prepared(other)
20    }
21}
22
23impl<P: BnConfig> From<G1Projective<P>> for G1Prepared<P> {
24    fn from(q: G1Projective<P>) -> Self {
25        q.into_affine().into()
26    }
27}
28
29impl<'a, P: BnConfig> From<&'a G1Affine<P>> for G1Prepared<P> {
30    fn from(other: &'a G1Affine<P>) -> Self {
31        G1Prepared(*other)
32    }
33}
34
35impl<'a, P: BnConfig> From<&'a G1Projective<P>> for G1Prepared<P> {
36    fn from(q: &'a G1Projective<P>) -> Self {
37        q.into_affine().into()
38    }
39}
40
41impl<P: BnConfig> G1Prepared<P> {
42    pub fn is_zero(&self) -> bool {
43        self.0.infinity
44    }
45}
46
47impl<P: BnConfig> Default for G1Prepared<P> {
48    fn default() -> Self {
49        G1Prepared(G1Affine::<P>::generator())
50    }
51}
ark_ec/models/bn/g1.rs

ark_ec/models/bn/
g1.rs
