Trait ark_ec::models::bw6::BW6Parameters

pub trait BW6Parameters: 'static + Eq + PartialEq {
    type Fp: PrimeField + Into<<Self::Fp as PrimeField>::BigInt>;
    type Fp3Config: Fp3Config<Fp = Self::Fp>;
    type Fp6Config: Fp6Config<Fp3Config = Self::Fp3Config>;
    type G1Parameters: SWCurveConfig<BaseField = Self::Fp>;
    type G2Parameters: SWCurveConfig<BaseField = Self::Fp, ScalarField = <Self::G1Parameters as CurveConfig>::ScalarField>;

    const X: <Self::Fp as PrimeField>::BigInt;
    const X_IS_NEGATIVE: bool;
    const ATE_LOOP_COUNT_1: &'static [u64];
    const ATE_LOOP_COUNT_1_IS_NEGATIVE: bool;
    const ATE_LOOP_COUNT_2: &'static [i8];
    const ATE_LOOP_COUNT_2_IS_NEGATIVE: bool;
    const TWIST_TYPE: TwistType;
}

Required Associated Types

type Fp: PrimeField + Into<<Self::Fp as PrimeField>::BigInt>

type Fp3Config: Fp3Config<Fp = Self::Fp>

type Fp6Config: Fp6Config<Fp3Config = Self::Fp3Config>

type G1Parameters: SWCurveConfig<BaseField = Self::Fp>

type G2Parameters: SWCurveConfig<BaseField = Self::Fp, ScalarField = <Self::G1Parameters as CurveConfig>::ScalarField>

Required Associated Constants

const X: <Self::Fp as PrimeField>::BigInt

const X_IS_NEGATIVE: bool

const ATE_LOOP_COUNT_1: &'static [u64]

const ATE_LOOP_COUNT_1_IS_NEGATIVE: bool

const ATE_LOOP_COUNT_2: &'static [i8]

const ATE_LOOP_COUNT_2_IS_NEGATIVE: bool

const TWIST_TYPE: TwistType

Implementors