Enum UintDomain 

pub enum UintDomain {
    U256,
    K1Base,
    K1Scalar,
}

Fixed uint arithmetic domains supported by the native uint precompile.

Variants

U256

Arithmetic modulo 2^256.

K1Base

secp256k1 base field.

K1Scalar

secp256k1 scalar field.

Implementations

impl UintDomain

pub const ALL: [Self; 3]

All fixed domains in deterministic precompile initialization order.

pub fn from_id(id: Felt) -> Option<Self>

Returns the supported domain for a tag-local id.

pub fn id(self) -> Felt

Returns the stable local domain selector retained for host-side metadata.

pub const fn bound_ptr(self) -> u32

Returns the VM-owned bound pointer carried in uint VALUE tags.

pub const fn from_bound_ptr(ptr: u32) -> Option<Self>

Returns the supported domain for a VM-owned bound pointer.

pub fn encoded_modulus(self) -> Limbs

Returns the encoded modulus limbs. [0; 8] is the 2^256 sentinel.

pub fn is_prime_field(self) -> bool

Returns whether this domain is declared to be a prime field.

pub fn is_canonical(self, value: &Limbs) -> bool

Returns whether value is canonical for this domain.

pub fn add(self, lhs: Limbs, rhs: Limbs) -> Limbs

Adds two canonical values in this domain.

pub fn sub(self, lhs: Limbs, rhs: Limbs) -> Limbs

Subtracts two canonical values in this domain.

pub fn mul(self, lhs: Limbs, rhs: Limbs) -> Limbs

Multiplies two canonical values in this domain.

pub fn inv(self, value: Limbs) -> Option<Limbs>

Returns the multiplicative inverse of value for declared prime-field domains.

pub fn max(self) -> Option<Limbs>

Returns the maximum canonical value for U256.

pub fn minus_one(self) -> Limbs

Returns the canonical value modulus - 1, or 2^256 - 1 for U256.

pub fn half(self) -> Option<Limbs>

Returns the field constant 1 / 2, if this is a declared prime-field domain.

pub fn pow2_mod(self, exponent: usize) -> Option<Limbs>

Returns 2^exponent reduced into this prime-field domain.

pub fn field_constants(self) -> Option<[Limbs; 5]>

Returns the generated field constants for prime-field domains.

Trait Implementations

impl Clone for UintDomain

fn clone(&self) -> UintDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for UintDomain

impl Debug for UintDomain

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

Formats the value using the given formatter.

impl Eq for UintDomain

impl PartialEq for UintDomain

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UintDomain