Struct miden_core::Felt

pub struct Felt(_);

Represents base field element in the field.

Internal values are stored in the range [0, 2^64). The backing type is u64.

Implementations

impl BaseElement

pub const fn new(value: u64) -> BaseElement

Creates a new field element from the provided value; the value is converted into Montgomery representation.

pub const fn from_mont(value: u64) -> BaseElement

Returns a new field element from the provided ‘value’. Assumes that ‘value’ is already in canonical Montgomery form.

pub const fn inner(&self) -> u64

Returns the non-canonical u64 inner value.

pub fn exp7(self) -> BaseElement

Computes an exponentiation to the power 7. This is useful for computing Rescue-Prime S-Box over this field.

Trait Implementations

impl Add<BaseElement> for BaseElement

type Output = BaseElement

The resulting type after applying the + operator.

fn add(self, rhs: BaseElement) -> BaseElement

Performs the + operation.

impl AddAssign<BaseElement> for BaseElement

fn add_assign(&mut self, rhs: BaseElement)

Performs the += operation.

impl AsBytes for BaseElement

fn as_bytes(&self) -> &[u8]

Returns a byte representation of self.

impl Clone for BaseElement

fn clone(&self) -> BaseElement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BaseElement

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

Formats the value using the given formatter.

impl Default for BaseElement

fn default() -> BaseElement

Returns the “default value” for a type.

impl Deserializable for BaseElement

fn read_from<R>(source: &mut R) -> Result<BaseElement, DeserializationError>where
    R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_batch_from<R>(
    source: &mut R,
    num_elements: usize
) -> Result<Vec<Self, Global>, DeserializationError>where
    R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into a vector with the specified number of Self elements, and returns the result.

impl Display for BaseElement

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

Formats the value using the given formatter.

impl Div<BaseElement> for BaseElement

type Output = BaseElement

The resulting type after applying the / operator.

fn div(self, rhs: BaseElement) -> BaseElement

Performs the / operation.

impl DivAssign<BaseElement> for BaseElement

fn div_assign(&mut self, rhs: BaseElement)

Performs the /= operation.

impl ExtensibleField<2> for BaseElement

Defines a quadratic extension of the base field over an irreducible polynomial x² - x + 2. Thus, an extension element is defined as α + β * φ, where φ is a root of this polynomial, and α and β are base field elements.

fn mul(a: [BaseElement; 2], b: [BaseElement; 2]) -> [BaseElement; 2]

Returns a product of a and b in the field defined by this extension.

fn mul_base(a: [BaseElement; 2], b: BaseElement) -> [BaseElement; 2]

Returns a product of a and b in the field defined by this extension. b represents an element in the base field.

fn frobenius(x: [BaseElement; 2]) -> [BaseElement; 2]

Returns Frobenius automorphisms for x in the field defined by this extension.

fn is_supported() -> bool

Returns true if this extension is supported for the underlying base field.

impl ExtensibleField<3> for BaseElement

Defines a cubic extension of the base field over an irreducible polynomial x³ - x - 1. Thus, an extension element is defined as α + β * φ + γ * φ^2, where φ is a root of this polynomial, and α, β and γ are base field elements.

fn mul(a: [BaseElement; 3], b: [BaseElement; 3]) -> [BaseElement; 3]

Returns a product of a and b in the field defined by this extension.

fn mul_base(a: [BaseElement; 3], b: BaseElement) -> [BaseElement; 3]

Returns a product of a and b in the field defined by this extension. b represents an element in the base field.

fn frobenius(x: [BaseElement; 3]) -> [BaseElement; 3]

Returns Frobenius automorphisms for x in the field defined by this extension.

fn is_supported() -> bool

Returns true if this extension is supported for the underlying base field.

impl FieldElement for BaseElement

type PositiveInteger = u64

A type defining positive integers big enough to describe a field modulus for Self::BaseField with no loss of precision.

type BaseField = BaseElement

Base field type for this finite field. For prime fields, BaseField should be set to Self.

const ZERO: BaseElement = Self::new(0)

The additive identity.

const ONE: BaseElement = Self::new(1)

The multiplicative identity.

const ELEMENT_BYTES: usize = 8usize

Number of bytes needed to encode an element

const IS_CANONICAL: bool = false

True if internal representation of the element is the same as its canonical representation.

fn double(self) -> BaseElement

Returns this field element added to itself.

fn exp(
    self,
    power: <BaseElement as FieldElement>::PositiveInteger
) -> BaseElement

Exponentiates this field element by power parameter.

fn inv(self) -> BaseElement

Returns a multiplicative inverse of this field element. If this element is ZERO, ZERO is returned.

fn conjugate(&self) -> BaseElement

Returns a conjugate of this field element.

fn elements_as_bytes(elements: &[BaseElement]) -> &[u8]

Converts a list of elements into a list of bytes.

unsafe fn bytes_as_elements(
    bytes: &[u8]
) -> Result<&[BaseElement], DeserializationError>

Converts a list of bytes into a list of field elements.

fn zeroed_vector(n: usize) -> Vec<BaseElement, Global>

Returns a vector of length n initialized with all ZERO elements.

fn as_base_elements(
    elements: &[BaseElement]
) -> &[<BaseElement as FieldElement>::BaseField]

Converts a list of field elements into a list of elements in the underlying base field.

fn square(self) -> Self

Returns this field element raised to power 2.

fn cube(self) -> Self

Returns this field element raised to power 3.

impl From<[u8; 8]> for BaseElement

fn from(bytes: [u8; 8]) -> BaseElement

Converts the value encoded in an array of 8 bytes into a field element. The bytes are assumed to encode the element in the canonical representation in little-endian byte order. If the value is greater than or equal to the field modulus, modular reduction is silently performed.

impl From<u128> for BaseElement

fn from(x: u128) -> BaseElement

Converts a 128-bit value into a field element.

impl From<u16> for BaseElement

fn from(value: u16) -> BaseElement

Converts a 16-bit value into a field element.

impl From<u32> for BaseElement

fn from(value: u32) -> BaseElement

Converts a 32-bit value into a field element.

impl From<u64> for BaseElement

fn from(value: u64) -> BaseElement

Converts a 64-bit value into a field element. If the value is greater than or equal to the field modulus, modular reduction is silently performed.

impl From<u8> for BaseElement

fn from(value: u8) -> BaseElement

Converts an 8-bit value into a field element.

impl Mul<BaseElement> for BaseElement

type Output = BaseElement

The resulting type after applying the * operator.

fn mul(self, rhs: BaseElement) -> BaseElement

Performs the * operation.

impl MulAssign<BaseElement> for BaseElement

fn mul_assign(&mut self, rhs: BaseElement)

Performs the *= operation.

impl Neg for BaseElement

type Output = BaseElement

The resulting type after applying the - operator.

fn neg(self) -> BaseElement

Performs the unary - operation.

impl PartialEq<BaseElement> for BaseElement

fn eq(&self, other: &BaseElement) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Randomizable for BaseElement

const VALUE_SIZE: usize = 8usize

Size of Self in bytes.

fn from_random_bytes(bytes: &[u8]) -> Option<BaseElement>

Returns Self if the set of bytes forms a valid value, otherwise returns None.

impl Serializable for BaseElement

fn write_into<W>(&self, target: &mut W)where
    W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8, Global>

Serializes self into a vector of bytes.

fn write_batch_into<W>(source: &[Self], target: &mut W)where
    W: ByteWriter,

Serializes all elements of the source and writes these bytes into the target.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StarkField for BaseElement

const MODULUS: <BaseElement as FieldElement>::PositiveInteger = {transmute(0xffffffff00000001): <winter_math::fields::f64::BaseElement as winter_math::FieldElement>::PositiveInteger}

sage: MODULUS = 2^64 - 2^32 + 1
sage: GF(MODULUS).is_prime_field()
True
sage: GF(MODULUS).order()
18446744069414584321

const GENERATOR: BaseElement = Self::new(7)

sage: GF(MODULUS).primitive_element()
7

const TWO_ADICITY: u32 = 32u32

sage: is_odd((MODULUS - 1) / 2^32)
True

const TWO_ADIC_ROOT_OF_UNITY: BaseElement = Self::new(G)

sage: k = (MODULUS - 1) / 2^32
sage: GF(MODULUS).primitive_element()^k
1753635133440165772

const MODULUS_BITS: u32 = 64u32

The number of bits needed to represents Self::MODULUS.

fn get_modulus_le_bytes() -> Vec<u8, Global>

Returns byte representation of the field modulus in little-endian byte order.

fn as_int(&self) -> <BaseElement as FieldElement>::PositiveInteger

Returns a canonical integer representation of this field element.

fn get_root_of_unity(n: u32) -> Self

Returns the root of unity of order 2^n.

impl Sub<BaseElement> for BaseElement

type Output = BaseElement

The resulting type after applying the - operator.

fn sub(self, rhs: BaseElement) -> BaseElement

Performs the - operation.

impl SubAssign<BaseElement> for BaseElement

fn sub_assign(&mut self, rhs: BaseElement)

Performs the -= operation.

impl<'a> TryFrom<&'a [u8]> for BaseElement

fn try_from(
    bytes: &[u8]
) -> Result<BaseElement, <BaseElement as TryFrom<&'a [u8]>>::Error>

Converts a slice of bytes into a field element; returns error if the value encoded in bytes is not a valid field element. The bytes are assumed to encode the element in the canonical representation in little-endian byte order.

type Error = DeserializationError

The type returned in the event of a conversion error.

impl Copy for BaseElement

impl Eq for BaseElement