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 lambdaworks_math::elliptic_curve::short_weierstrass::curves::bls12_381::default_types::FrConfig

Modulus of bls 12 381 subgroup

const MODULUS: U256 = _

impl IsModulus<UnsignedInteger<4>> for lambdaworks_math::elliptic_curve::short_weierstrass::curves::bn_254::default_types::FrConfig

Modulus of bn 254 subgroup r = 21888242871839275222246405745257275088548364400416034343698204186575808495617, aka order

const MODULUS: U256 = _

impl IsModulus<UnsignedInteger<4>> for BN254FieldModulus

const MODULUS: U256 = BN254_PRIME_FIELD_ORDER

impl IsModulus<UnsignedInteger<4>> for lambdaworks_math::elliptic_curve::short_weierstrass::curves::grumpkin::curve::FrConfig

Modulus (Order) of Grumpkin Fr

const MODULUS: U256 = _

impl IsModulus<UnsignedInteger<4>> for GrumpkinFieldModulus

const MODULUS: U256 = GRUMPKIN_PRIME_FIELD_ORDER

impl IsModulus<UnsignedInteger<4>> for MontgomeryConfigStark252PrimeField

const MODULUS: U256 = _

impl IsModulus<UnsignedInteger<4>> for MontgomeryConfigPallas255PrimeField

const MODULUS: U256 = _

impl IsModulus<UnsignedInteger<4>> for MontgomeryConfigVesta255PrimeField

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