Enum ConstVal

#[repr(u8)]
pub enum ConstVal {
    Val1 = 0,
    ValU64Max = 1,
    ValU128Max = 2,
    ValFeMAX = 3,
}

A predefined constant field element for a register initialization.

These constants are used to keep the space and complexity metric of the code low, since reading a field element from the data segment will take 16 bytes in the code segment; while initializing with a common constant will take just 2 bits.

Variants

Val1 = 0

Zero field element.

ValU64Max = 1

Field element equal to the u64::MAX.

ValU128Max = 2

Field element equal to the u128::MAX.

ValFeMAX = 3

Field element equal to the finite field order minus one. The finite field order value is taken from the constant FQ register.

Implementations

impl ConstVal

pub const fn to_u2(self) -> u2

Get a 2-bit representation of the constant value.

pub fn to_fe256(self) -> Option<fe256>

Get a finite field element corresponding to the constant.

Returns None for the ConstVal::ValFeMAX.

Trait Implementations

impl Clone for ConstVal

fn clone(&self) -> ConstVal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstVal

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

Formats the value using the given formatter.

impl Display for ConstVal

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

Formats the value using the given formatter.

impl From<u2> for ConstVal

fn from(val: u2) -> ConstVal

Converts to this type from the input type.

impl Hash for ConstVal

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

where __H: Hasher,

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 PartialEq for ConstVal

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for ConstVal

impl Eq for ConstVal

impl StructuralPartialEq for ConstVal