Trait ark_ec::CurveCycle

pub trait CurveCycle where
    <Self::E1 as AffineCurve>::Projective: MulAssign<<Self::E2 as AffineCurve>::BaseField>,
    <Self::E2 as AffineCurve>::Projective: MulAssign<<Self::E1 as AffineCurve>::BaseField>, {
    type E1: AffineCurve<BaseField = <Self::E2 as AffineCurve>::ScalarField, ScalarField = <Self::E2 as AffineCurve>::BaseField>;
    type E2: AffineCurve;
}

Associated Types

type E1: AffineCurve<BaseField = <Self::E2 as AffineCurve>::ScalarField, ScalarField = <Self::E2 as AffineCurve>::BaseField>

type E2: AffineCurve

Implementors