pub trait CofactorCurve: Curve<AffineRepr = Self::Affine> + CofactorGroup {
    type Affine: for<'r> CofactorCurveAffine<Curve = Self, Scalar = Self::Scalar, Output = Self, Output = Self> + Mul<Self::Scalar> + for<'r> Mul<&'r Self::Scalar>;
}
Expand description

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

Required Associated Types§

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

Implementors§