pub trait MNT4Parameters: 'static {
    type Fp: PrimeField + Into<<Self::Fp as PrimeField>::BigInt>;
    type Fr: PrimeField + Into<<Self::Fr as PrimeField>::BigInt>;
    type Fp2Config: Fp2Config<Fp = Self::Fp>;
    type Fp4Config: Fp4Config<Fp2Config = Self::Fp2Config>;
    type G1Parameters: SWCurveConfig<BaseField = Self::Fp, ScalarField = Self::Fr>;
    type G2Parameters: SWCurveConfig<BaseField = Fp2<Self::Fp2Config>, ScalarField = <Self::G1Parameters as CurveConfig>::ScalarField>;
Show 7 associated constants and 0 method const TWIST: Fp2<Self::Fp2Config>; const TWIST_COEFF_A: Fp2<Self::Fp2Config>; const ATE_LOOP_COUNT: &'static [i8]; const ATE_IS_LOOP_COUNT_NEG: bool; const FINAL_EXPONENT_LAST_CHUNK_1: <Self::Fp as PrimeField>::BigInt; const FINAL_EXPONENT_LAST_CHUNK_W0_IS_NEG: bool; const FINAL_EXPONENT_LAST_CHUNK_ABS_OF_W0: <Self::Fp as PrimeField>::BigInt;
}

Required Associated Types

Required Associated Constants

Implementors