Module system 

System chips that are always required by the architecture. (The PhantomChip is not technically required for a functioning VM, but there is almost always a need for it.)

Modules

connector

cuda

memory

native_adapter

phantom

Chip to handle phantom instructions. The Air will always constrain a NOP which advances pc by DEFAULT_PC_STEP. The runtime executor will execute different phantom instructions that may affect trace generation based on the operand.

poseidon2

Chip to handle native kernel instructions for Poseidon2 compress and permute. This chip is put in intrinsics for organizational convenience, but it is used as a system chip for persistent memory and as a native kernel chip for aggregation.

program

public_values

Structs

SystemAirInventory

SystemChipInventory

Base system chips for CPU backend. These chips must exactly correspond to the AIRs in SystemAirInventory.

SystemCpuBuilder

SystemPort

SystemPort combines system resources needed by most extensions

SystemRecords

Enums

SystemExecutor

TouchedMemory

Traits

SystemChipComplex

Trait for trace generation of all system AIRs. The system chip complex is special because we may not exactly following the exact matching between Air and Chip. Moreover we may require more flexibility than what is provided through the trait object [AnyChip].

SystemWithFixedTraceHeights

Trait meant to be implemented on a SystemChipComplex.