Struct BLS12Param 

pub struct BLS12Param;

Trait Implementations

impl FpParams<LIMBS_256> for BLS12Param

const GENERATOR: Fp256<BLS12Param>

A multiplicative generator of the field. Self::GENERATOR is an element having multiplicative order MODULUS - 1.

const MODULUS: U256

The modulus of the field.

const HAS_MODULUS_SPARE_BIT: bool = _

MODULUS has a spare bit in the most significant limb.

const INV: u64 = _

INV = -MODULUS^{-1} mod 2^64

const R: Uint<N> = _

Let M be the power of 2^64 nearest to Self::MODULUS size.

const R2: Uint<N> = _

R2 = R^2 % MODULUS or R2 = (R^2 - 1) % MODULUS + 1 for convenience of multiplication.

fn add_assign(a: &mut Fp<Self, N>, b: &Fp<Self, N>)

Set a += b.

fn sub_assign(a: &mut Fp<Self, N>, b: &Fp<Self, N>)

Set a -= b.

fn double_in_place(a: &mut Fp<Self, N>)

Set a = a + a.

fn neg_in_place(a: &mut Fp<Self, N>)

Set a = -a;

fn mul_assign(a: &mut Fp<Self, N>, b: &Fp<Self, N>)

Set a *= b.

fn square_in_place(a: &mut Fp<Self, N>)

Set a *= a.

fn inverse(a: &Fp<Self, N>) -> Option<Fp<Self, N>>

Compute a^{-1} if a is not zero.

fn from_bigint(num: Uint<N>) -> Fp<Self, N>

Construct a field element from an integer.

fn into_bigint(elem: Fp<Self, N>) -> Uint<N>

Convert a field element to an integer less than Self::MODULUS.