Trait snarkvm_curves::templates::bw6::bw6::BW6Parameters[−][src]

pub trait BW6Parameters: 'static {
    type Fp: PrimeField + SquareRootField + Into<<Self::Fp as PrimeField>::BigInteger>;
    type Fp3Params: Fp3Parameters<Fp = Self::Fp>;
    type Fp6Params: Fp6Parameters<Fp3Params = Self::Fp3Params>;
    type G1Parameters: SWModelParameters<BaseField = Self::Fp>;
    type G2Parameters: SWModelParameters<BaseField = Self::Fp, ScalarField = <Self::G1Parameters as ModelParameters>::ScalarField>;

    const X: <Self::Fp as PrimeField>::BigInteger;
    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;
}

Associated Types

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

type Fp3Params: Fp3Parameters<Fp = Self::Fp>[src]

type Fp6Params: Fp6Parameters<Fp3Params = Self::Fp3Params>[src]

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

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

Associated Constants

const X: <Self::Fp as PrimeField>::BigInteger[src]

const X_IS_NEGATIVE: bool[src]

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

const ATE_LOOP_COUNT_1_IS_NEGATIVE: bool[src]

const ATE_LOOP_COUNT_2: &'static [i8][src]

const ATE_LOOP_COUNT_2_IS_NEGATIVE: bool[src]

const TWIST_TYPE: TwistType[src]

Implementors