Trait 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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl IsModulus<UnsignedInteger<1>> for MontgomeryConfigBabybear31PrimeField

const MODULUS: U64

impl IsModulus<UnsignedInteger<1>> for MontgomeryConfigStark101PrimeField

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 MontgomeryConfigSecp256k1PrimeField

const MODULUS: U256

impl IsModulus<UnsignedInteger<4>> for MontgomeryConfigSecp256k1ScalarField

const MODULUS: U256

impl IsModulus<UnsignedInteger<4>> for MontgomeryConfigSecp256r1PrimeField

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