Trait ark_ec::models::mnt6::MNT6Parameters [−][src]
pub trait MNT6Parameters: 'static {
type Fp: PrimeField + SquareRootField + Into<<Self::Fp as PrimeField>::BigInt>;
type Fr: PrimeField + SquareRootField + Into<<Self::Fr as PrimeField>::BigInt>;
type Fp3Params: Fp3Parameters<Fp = Self::Fp>;
type Fp6Params: Fp6Parameters<Fp3Params = Self::Fp3Params>;
type G1Parameters: SWModelParameters<BaseField = Self::Fp, ScalarField = Self::Fr>;
type G2Parameters: SWModelParameters<BaseField = Fp3<Self::Fp3Params>, ScalarField = <Self::G1Parameters as ModelParameters>::ScalarField>;
Show associated constants and methods
const TWIST: Fp3<Self::Fp3Params>;
const TWIST_COEFF_A: Fp3<Self::Fp3Params>;
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 Fp3Params: Fp3Parameters<Fp = Self::Fp>[src]type Fp6Params: Fp6Parameters<Fp3Params = Self::Fp3Params>[src]type G1Parameters: SWModelParameters<BaseField = Self::Fp, ScalarField = Self::Fr>[src]type G2Parameters: SWModelParameters<BaseField = Fp3<Self::Fp3Params>, ScalarField = <Self::G1Parameters as ModelParameters>::ScalarField>[src]Associated Constants
const TWIST_COEFF_A: Fp3<Self::Fp3Params>[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]