Trait ark_ec::models::bn::BnParameters

pub trait BnParameters: 'static {
    type Fp: PrimeField + SquareRootField + Into<<Self::Fp as PrimeField>::BigInt>;
    type Fp2Params: Fp2Parameters<Fp = Self::Fp>;
    type Fp6Params: Fp6Parameters<Fp2Params = Self::Fp2Params>;
    type Fp12Params: Fp12Parameters<Fp6Params = Self::Fp6Params>;
    type G1Parameters: SWModelParameters<BaseField = Self::Fp>;
    type G2Parameters: SWModelParameters<BaseField = Fp2<Self::Fp2Params>, ScalarField = <Self::G1Parameters as ModelParameters>::ScalarField>;

    const X: &'static [u64];
    const X_IS_NEGATIVE: bool;
    const ATE_LOOP_COUNT: &'static [i8];
    const TWIST_TYPE: TwistType;
    const TWIST_MUL_BY_Q_X: Fp2<Self::Fp2Params>;
    const TWIST_MUL_BY_Q_Y: Fp2<Self::Fp2Params>;
}

Associated Types

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

type Fp2Params: Fp2Parameters<Fp = Self::Fp>

type Fp6Params: Fp6Parameters<Fp2Params = Self::Fp2Params>

type Fp12Params: Fp12Parameters<Fp6Params = Self::Fp6Params>

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

type G2Parameters: SWModelParameters<BaseField = Fp2<Self::Fp2Params>, ScalarField = <Self::G1Parameters as ModelParameters>::ScalarField>

Associated Constants

const X: &'static [u64]

const X_IS_NEGATIVE: bool

const ATE_LOOP_COUNT: &'static [i8]

const TWIST_TYPE: TwistType

const TWIST_MUL_BY_Q_X: Fp2<Self::Fp2Params>

const TWIST_MUL_BY_Q_Y: Fp2<Self::Fp2Params>

Implementors