Trait ark_ec::models::bls12::Bls12Parameters

pub trait Bls12Parameters: '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 TWIST_TYPE: TwistType;
}

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]

Parameterizes the BLS12 family.

const X_IS_NEGATIVE: bool

Is Self::X negative?

const TWIST_TYPE: TwistType

What kind of twist is this?

Implementors