Trait ark_ec::CurveCycle

source · 
pub trait CurveCyclewhere
    Self::E1: MulAssign<<Self::E2 as CurveGroup>::BaseField>,
    Self::E2: MulAssign<<Self::E1 as CurveGroup>::BaseField>,{
    type E1: CurveGroup<BaseField = <Self::E2 as Group>::ScalarField, ScalarField = <Self::E2 as CurveGroup>::BaseField>;
    type E2: CurveGroup;
}
Expand description

Wrapper trait representing a cycle of elliptic curves (E1, E2) such that the base field of E1 is the scalar field of E2, and the scalar field of E1 is the base field of E2.

Required Associated Types§

source

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

source

type E2: CurveGroup

Implementors§