Struct SystemConfig 

pub struct SystemConfig {
    pub max_constraint_degree: usize,
    pub memory_config: MemoryConfig,
    pub num_public_values: usize,
    pub segmentation_max_memory: usize,
}

System-level configuration for the virtual machine. Contains all configuration parameters that are managed by the architecture.

Fields

max_constraint_degree: usize

The maximum constraint degree any chip is allowed to use.

memory_config: MemoryConfig

Memory configuration

num_public_values: usize

Public values are stored in a special address space. num_public_values indicates the number of allowed addresses in that address space.

segmentation_max_memory: usize

Max memory in bytes used across all chips for triggering segmentation. This field is skipped in serde as it’s only used in execution and not needed after any serialize/deserialize.

Implementations

impl SystemConfig

pub fn set_segmentation_max_memory(&mut self, val: usize) -> &mut Self

Max memory in bytes used across all chips for triggering segmentation. This field is skipped in serde as it’s only used in execution and not needed after any serialize/deserialize.

impl SystemConfig

pub fn with_max_constraint_degree(self, val: usize) -> Self

The maximum constraint degree any chip is allowed to use.

impl SystemConfig

pub fn new( max_constraint_degree: usize, memory_config: MemoryConfig, num_public_values: usize, ) -> Self

pub fn default_from_memory(memory_config: MemoryConfig) -> Self

pub fn with_public_values(self, num_public_values: usize) -> Self

pub fn memory_boundary_air_id(&self) -> usize

Returns the AIR ID of the memory boundary AIR. Panic if the boundary AIR is not enabled.

pub fn memory_merkle_air_id(&self) -> usize

Returns the AIR ID of the memory merkle AIR.

pub fn is_required_air_id(&self, air_id: usize) -> bool

Whether the AIR ID must be present in a valid v2 proof.

pub fn num_airs(&self) -> usize

This is O(1) and returns the length of SystemAirInventory::into_airs.

Trait Implementations

impl AsMut<SystemConfig> for SystemConfig

fn as_mut(&mut self) -> &mut SystemConfig

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsRef<SystemConfig> for SystemConfig

fn as_ref(&self) -> &SystemConfig

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for SystemConfig

fn clone(&self) -> SystemConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SystemConfig

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

Formats the value using the given formatter.

impl Default for SystemConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SystemConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl InitFileGenerator for SystemConfig

fn generate_init_file_contents(&self) -> Option<String>

fn write_to_init_file( &self, manifest_dir: &Path, init_file_name: Option<&str>, ) -> Result<()>

impl Serialize for SystemConfig

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<SC> VmCircuitConfig<SC> for SystemConfig

where SC: StarkProtocolConfig, Val<SC>: VmField,

fn create_airs(&self) -> Result<AirInventory<SC>, AirInventoryError>

Every VM circuit within the OpenVM circuit architecture must be initialized from the SystemConfig.

impl<F: PrimeField32> VmExecutionConfig<F> for SystemConfig

fn create_executors( &self, ) -> Result<ExecutorInventory<Self::Executor>, ExecutorInventoryError>

The only way to create an ExecutorInventory is from a SystemConfig. This will always add an executor for PhantomChip, which handles all phantom sub-executors.

type Executor = SystemExecutor<F>