Trait oberon::inner_types::elliptic_curve::group::prime::PrimeCurve

pub trait PrimeCurve: Curve<AffineRepr = Self::Affine> + PrimeGroup {
    type Affine: for<'r> PrimeCurveAffine<Curve = Self, Scalar = Self::Scalar, Output = Self, Output = Self> + Mul<Self::Scalar> + for<'r> Mul<&'r Self::Scalar>;
}

Efficient representation of an elliptic curve point guaranteed to be in the correct prime order subgroup.

Required Associated Types

type Affine: for<'r> PrimeCurveAffine<Curve = Self, Scalar = Self::Scalar, Output = Self, Output = Self> + Mul<Self::Scalar> + for<'r> Mul<&'r Self::Scalar>

Implementors

impl PrimeCurve for G1Projective

type Affine = G1Affine

impl PrimeCurve for G2Projective

type Affine = G2Affine