Trait ark_ec::models::mnt4::MNT4Parameters[−][src]

pub trait MNT4Parameters: 'static {
    type Fp: PrimeField + SquareRootField + Into<<Self::Fp as PrimeField>::BigInt>;
    type Fr: PrimeField + SquareRootField + Into<<Self::Fr as PrimeField>::BigInt>;
    type Fp2Params: Fp2Parameters<Fp = Self::Fp>;
    type Fp4Params: Fp4Parameters<Fp2Params = Self::Fp2Params>;
    type G1Parameters: SWModelParameters<BaseField = Self::Fp, ScalarField = Self::Fr>;
    type G2Parameters: SWModelParameters<BaseField = Fp2<Self::Fp2Params>, ScalarField = <Self::G1Parameters as ModelParameters>::ScalarField>;

    const TWIST: Fp2<Self::Fp2Params>;
    const TWIST_COEFF_A: Fp2<Self::Fp2Params>;
    const ATE_LOOP_COUNT: &'static [u64];
    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;
}

Associated Types

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

type Fr: PrimeField + SquareRootField + Into<<Self::Fr as PrimeField>::BigInt>[src]

type Fp2Params: Fp2Parameters<Fp = Self::Fp>[src]

type Fp4Params: Fp4Parameters<Fp2Params = Self::Fp2Params>[src]

type G1Parameters: SWModelParameters<BaseField = Self::Fp, ScalarField = Self::Fr>[src]

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

Loading content...

Associated Constants

const TWIST: Fp2<Self::Fp2Params>[src]

const TWIST_COEFF_A: Fp2<Self::Fp2Params>[src]

const ATE_LOOP_COUNT: &'static [u64][src]

const ATE_IS_LOOP_COUNT_NEG: bool[src]

const FINAL_EXPONENT_LAST_CHUNK_1: <Self::Fp as PrimeField>::BigInt[src]

const FINAL_EXPONENT_LAST_CHUNK_W0_IS_NEG: bool[src]

const FINAL_EXPONENT_LAST_CHUNK_ABS_OF_W0: <Self::Fp as PrimeField>::BigInt[src]

Loading content...

Implementors

Loading content...