Trait lambdaworks_math::field::fields::montgomery_backed_prime_fields::IsModulus

pub trait IsModulus<U>: Debug {
    const MODULUS: U;
}

This trait is necessary for us to be able to use unsigned integer types bigger than u128 (the biggest native unit) as constant generics. This trait should be removed when Rust supports this feature.

Required Associated Constants

const MODULUS: U

Object Safety

This trait is not object safe.

Implementors

impl IsModulus<UnsignedInteger<1>> for MontgomeryConfigBabybear31PrimeField

const MODULUS: U64 = _

impl IsModulus<UnsignedInteger<1>> for MontgomeryConfigU64GoldilocksPrimeField

const MODULUS: U64 = _

impl IsModulus<UnsignedInteger<1>> for MontgomeryConfigMersenne31PrimeField

const MODULUS: U64 = _

impl IsModulus<UnsignedInteger<4>> for FqConfig

const MODULUS: U256 = BANDERSNATCH_PRIME_FIELD_ORDER

impl IsModulus<UnsignedInteger<4>> for FrConfig

Modulus of bls 12 381 subgroup

const MODULUS: U256 = _

impl IsModulus<UnsignedInteger<4>> for MontgomeryConfigStark252PrimeField

const MODULUS: U256 = _

impl IsModulus<UnsignedInteger<6>> for BLS12377FieldModulus

const MODULUS: U384 = BLS12377_PRIME_FIELD_ORDER

impl IsModulus<UnsignedInteger<6>> for BLS12381FieldModulus

const MODULUS: U384 = BLS12381_PRIME_FIELD_ORDER

impl IsModulus<UnsignedInteger<6>> for TestCurve2Modulus

const MODULUS: U384 = TEST_CURVE_2_PRIME_FIELD_ORDER