Enum RegE

#[repr(u8)]
pub enum RegE {
    E1 = 0,
    E2 = 1,
    E3 = 2,
    E4 = 3,
    E5 = 4,
    E6 = 5,
    E7 = 6,
    E8 = 7,
    EA = 8,
    EB = 9,
    EC = 10,
    ED = 11,
    EE = 12,
    EF = 13,
    EG = 14,
    EH = 15,
}

Registers storing field elements.

zk-AluVM ABI standard

Totally, there are 16 registers, divided in two groups.

The first group, consisting of 8 registers, from E1 to E8 are used for storing local variables. If a routine calls another routine or external library, it must assume that the values in these registers may not be preserved.

The second group, consisting of another 8 registers, from EA to EG, is used for passing arguments and reading the retuned data from the routine or external procedure calls.

Variants

E1 = 0

E2 = 1

E3 = 2

E4 = 3

E5 = 4

E6 = 5

E7 = 6

E8 = 7

EA = 8

EB = 9

EC = 10

ED = 11

EE = 12

EF = 13

EG = 14

EH = 15

Implementations

impl RegE

pub const ALL: [RegE; 16]

Enumeration of all available registers.

pub const fn to_u4(self) -> u4

Get a 4-bit representation of the register index.

Trait Implementations

impl Clone for RegE

fn clone(&self) -> RegE

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegE

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

Formats the value using the given formatter.

impl Display for RegE

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

Formats the value using the given formatter.

impl From<u4> for RegE

fn from(val: u4) -> RegE

Converts to this type from the input type.

impl Hash for RegE

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 Ord for RegE

fn cmp(&self, other: &RegE) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for RegE

fn eq(&self, other: &RegE) -> 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 PartialOrd for RegE

fn partial_cmp(&self, other: &RegE) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Register for RegE

type Value = fe256

The value type contained in the registers.

fn bytes(self) -> u16

The size of the value in the register, in bytes.

impl Copy for RegE

impl Eq for RegE

impl StructuralPartialEq for RegE