Struct U256 

pub struct U256;

Marker for arithmetic modulo 2^256.

Implementations

impl U256

pub const ID: Felt = ZERO

Stable local domain selector carried in uint precompile tags.

pub const ENCODED_MODULUS: Limbs

Encoded modulus sentinel for arithmetic modulo 2^256.

pub const MAX: Limbs

Maximum canonical U256 value, 2^256 - 1.

Trait Implementations

impl Clone for U256

fn clone(&self) -> U256

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for U256

impl Debug for U256

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

Formats the value using the given formatter.

impl Default for U256

fn default() -> U256

Returns the “default value” for a type.

impl UintSpec for U256

const ID: Felt = Self::ID

Stable local domain selector retained for host-side metadata.

const ENCODED_MODULUS: Limbs = Self::ENCODED_MODULUS

Encoded modulus limbs. [0; 8] is the 2^256 wrapping-domain sentinel.

const BARRETT_MU: [u32; 9] = _

Barrett constant floor(2^512 / modulus) derived from Self::ENCODED_MODULUS. Unused by the 2^256 wrapping sentinel, for which it is [0; 9].

const IS_PRIME_FIELD: bool = false

Whether this domain supports prime-field helpers such as inversion.

fn is_canonical(value: &Limbs) -> bool

Returns whether value is canonical for this domain.

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

Adds two canonical values in this domain.

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

Subtracts two canonical values in this domain.

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

Multiplies two canonical values in this domain.

fn inv(value: Limbs) -> Option<Limbs>

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

fn minus_one() -> Limbs

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

fn half() -> Option<Limbs>

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

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

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