Enum CoreAirId 

pub enum CoreAirId {
    Cpu = 0,
    SyscallCore = 30,
    DivRem = 32,
    Add = 33,
    Addi = 34,
    Addw = 35,
    Sub = 36,
    Subw = 37,
    Bitwise = 38,
    Mul = 39,
    ShiftRight = 40,
    ShiftLeft = 41,
    Lt = 42,
    LoadByte = 43,
    LoadHalf = 44,
    LoadWord = 45,
    LoadX0 = 46,
    LoadDouble = 47,
    StoreByte = 48,
    StoreHalf = 49,
    StoreWord = 50,
    StoreDouble = 51,
    UType = 52,
    Branch = 53,
    Jal = 54,
    Jalr = 55,
    SyscallInstrs = 56,
    MemoryBump = 57,
    StateBump = 58,
    MemoryLocal = 61,
    Global = 62,
    Mprotect = 65,
    InstructionDecode = 66,
    InstructionFetch = 67,
    PageProt = 68,
    PageProtLocal = 69,
}

RV64IM AIR Identifiers.

These identifiers are for the various chips in the rv64im prover. We need them in the executor to compute the memory cost of the current shard of execution.

The CoreAirIds are the AIRs that are not part of precompile shards and not the program or byte AIR.

Variants

Cpu = 0

The cpu chip, which is a dummy for now, needed for shape loading.

SyscallCore = 30

The syscall core chip.

DivRem = 32

The div rem chip.

Add = 33

The add chip.

Addi = 34

The addi chip.

Addw = 35

The addw chip.

Sub = 36

The sub chip.

Subw = 37

The subw chip.

Bitwise = 38

The bitwise chip.

Mul = 39

The mul chip.

ShiftRight = 40

The shift right chip.

ShiftLeft = 41

The shift left chip.

Lt = 42

The lt chip.

LoadByte = 43

The load byte chip.

LoadHalf = 44

The load half chip.

LoadWord = 45

The load word chip.

LoadX0 = 46

The load x0 chip.

LoadDouble = 47

The load double chip.

StoreByte = 48

The store byte chip.

StoreHalf = 49

The store half chip.

StoreWord = 50

The store word chip.

StoreDouble = 51

The store double chip.

UType = 52

The utype chip.

Branch = 53

The branch chip.

Jal = 54

The jal chip.

Jalr = 55

The jalr chip.

SyscallInstrs = 56

The syscall instructions chip.

MemoryBump = 57

The memory bump chip.

StateBump = 58

The state bump chip.

MemoryLocal = 61

The memory local chip.

Global = 62

The global chip.

Mprotect = 65

The mprotect chip.

InstructionDecode = 66

The instruction decode chip.

InstructionFetch = 67

The instruction fetch chip.

PageProt = 68

The page prot chip.

PageProtLocal = 69

The page prot local chip.

Trait Implementations

impl Clone for CoreAirId

fn clone(&self) -> CoreAirId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoreAirId

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

Formats the value using the given formatter.

impl DeepSizeOf for CoreAirId

fn deep_size_of_children(&self, context: &mut Context) -> usize

Returns an estimation of the heap-managed storage of this object. This does not include the size of the object itself.

fn deep_size_of(&self) -> usize

Returns an estimation of a total size of memory owned by the object, including heap-managed storage.

impl<'de> Deserialize<'de> for CoreAirId

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Enum for CoreAirId

const LENGTH: usize

Length of the enum.

fn from_usize(value: usize) -> Self

Takes an usize, and returns an element matching into_usize function.

fn into_usize(self) -> usize

Returns an unique identifier for a value within range of 0..Array::LENGTH.

impl<V> EnumArray<V> for CoreAirId

type Array = [V; 36]

Representation of an enum map for type V.

impl<'_derivative_strum> From<&'_derivative_strum CoreAirId> for &'static str

fn from(x: &'_derivative_strum CoreAirId) -> &'static str

Converts to this type from the input type.

impl From<CoreAirId> for &'static str

fn from(x: CoreAirId) -> &'static str

Converts to this type from the input type.

impl From<CoreAirId> for RiscvAirId

fn from(child: CoreAirId) -> Self

Converts to this type from the input type.

impl Hash for CoreAirId

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

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 IntoEnumIterator for CoreAirId

type Iterator = CoreAirIdIter

fn iter() -> CoreAirIdIter

impl Ord for CoreAirId

fn cmp(&self, other: &CoreAirId) -> 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<CoreAirId> for RiscvAirId

fn eq(&self, other: &CoreAirId) -> 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 PartialEq<RiscvAirId> for CoreAirId

fn eq(&self, other: &RiscvAirId) -> 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 PartialEq for CoreAirId

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

fn partial_cmp(&self, other: &CoreAirId) -> 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 Serialize for CoreAirId

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<RiscvAirId> for CoreAirId

type Error = CoreAirIdConvertError

The type returned in the event of a conversion error.

fn try_from( parent: RiscvAirId, ) -> Result<Self, <Self as TryFrom<RiscvAirId>>::Error>

Performs the conversion.

impl Copy for CoreAirId

impl Eq for CoreAirId

impl StructuralPartialEq for CoreAirId