Struct lambdaworks_math::field::fields::montgomery_backed_prime_fields::MontgomeryBackendPrimeField

pub struct MontgomeryBackendPrimeField<M, const NUM_LIMBS: usize> { /* private fields */ }

Implementations

impl<M, const NUM_LIMBS: usize> MontgomeryBackendPrimeField<M, NUM_LIMBS>

where M: IsModulus<UnsignedInteger<NUM_LIMBS>>,

pub const R2: UnsignedInteger<NUM_LIMBS> = _

pub const MU: u64 = _

pub const ZERO: UnsignedInteger<NUM_LIMBS> = _

pub const ONE: UnsignedInteger<NUM_LIMBS> = _

Trait Implementations

impl<M: Clone, const NUM_LIMBS: usize> Clone for MontgomeryBackendPrimeField<M, NUM_LIMBS>

fn clone(&self) -> MontgomeryBackendPrimeField<M, NUM_LIMBS>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<M: Debug, const NUM_LIMBS: usize> Debug for MontgomeryBackendPrimeField<M, NUM_LIMBS>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl HasQuadraticNonResidue<MontgomeryBackendPrimeField<BN254FieldModulus, 4>> for BN254Residue

fn residue() -> FieldElement<BN254PrimeField>

impl HasQuadraticNonResidue<MontgomeryBackendPrimeField<MontgomeryConfigBabybear31PrimeField, 1>> for Babybear31PrimeField

fn residue() -> FieldElement<Babybear31PrimeField>

impl HasQuadraticNonResidue<MontgomeryBackendPrimeField<TestCurve2Modulus, 6>> for TestCurve2QuadraticNonResidue

fn residue() -> FieldElement<MontgomeryBackendPrimeField<TestCurve2Modulus, 6>>

impl<M: Hash, const NUM_LIMBS: usize> Hash for MontgomeryBackendPrimeField<M, NUM_LIMBS>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<M, const NUM_LIMBS: usize> IsField for MontgomeryBackendPrimeField<M, NUM_LIMBS>

where M: IsModulus<UnsignedInteger<NUM_LIMBS>> + Clone + Debug,

type BaseType = UnsignedInteger<NUM_LIMBS>

fn add(a: &Self::BaseType, b: &Self::BaseType) -> Self::BaseType

Returns the sum of a and b.

fn mul(a: &Self::BaseType, b: &Self::BaseType) -> Self::BaseType

Returns the multiplication of a and b.

fn square(a: &UnsignedInteger<NUM_LIMBS>) -> UnsignedInteger<NUM_LIMBS>

Returns the multiplication of a and a.

fn sub(a: &Self::BaseType, b: &Self::BaseType) -> Self::BaseType

Returns the subtraction of a and b.

fn neg(a: &Self::BaseType) -> Self::BaseType

Returns the additive inverse of a.

fn inv(a: &Self::BaseType) -> Result<Self::BaseType, FieldError>

Returns the multiplicative inverse of a.

fn div(a: &Self::BaseType, b: &Self::BaseType) -> Self::BaseType

Returns the division of a and b.

fn eq(a: &Self::BaseType, b: &Self::BaseType) -> bool

Returns a boolean indicating whether a and b are equal or not.

fn zero() -> Self::BaseType

Returns the additive neutral element.

fn one() -> Self::BaseType

Returns the multiplicative neutral element.

fn from_u64(x: u64) -> Self::BaseType

Returns the element x * 1 where 1 is the multiplicative neutral element.

fn from_base_type(x: Self::BaseType) -> Self::BaseType

Takes as input an element of BaseType and returns the internal representation of that element in the field.

fn double(a: &Self::BaseType) -> Self::BaseType

Returns the double of a.

fn pow<T>(a: &Self::BaseType, exponent: T) -> Self::BaseType

where T: IsUnsignedInteger,

impl<M, const NUM_LIMBS: usize> IsPrimeField for MontgomeryBackendPrimeField<M, NUM_LIMBS>

where M: IsModulus<UnsignedInteger<NUM_LIMBS>> + Clone + Debug,

type RepresentativeType = <MontgomeryBackendPrimeField<M, NUM_LIMBS> as IsField>::BaseType

fn representative(x: &Self::BaseType) -> Self::RepresentativeType

Returns the integer representative in the range [0, p-1], where p the modulus

fn field_bit_size() -> usize

Returns the number of bits of the max element of the field, as per field documentation, not internal representation. This is log2(max FE) rounded up

fn from_hex(hex_string: &str) -> Result<Self::BaseType, CreationError>

Creates a BaseType from a Hex String 0x is optional Returns an CreationError::InvalidHexStringif the value is not a hexstring

fn to_hex(x: &Self::BaseType) -> String

Creates a hexstring from a FieldElement without 0x.

fn modulus_minus_one() -> Self::RepresentativeType

fn legendre_symbol(a: &Self::BaseType) -> LegendreSymbol

fn sqrt(a: &Self::BaseType) -> Option<(Self::BaseType, Self::BaseType)>

Returns the two square roots of self if they exist and None otherwise

impl<M: Copy, const NUM_LIMBS: usize> Copy for MontgomeryBackendPrimeField<M, NUM_LIMBS>