Struct SystemConfig

pub struct SystemConfig {
    pub max_constraint_degree: usize,
    pub continuation_enabled: bool,
    pub memory_config: MemoryConfig,
    pub num_public_values: usize,
    pub profiling: bool,
    pub segmentation_limits: SegmentationLimits,
}

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

Fields

max_constraint_degree: usize

The maximum constraint degree any chip is allowed to use.

continuation_enabled: bool

True if the VM is in continuation mode. In this mode, an execution could be segmented and each segment is proved by a proof. Each proof commits the before and after state of the corresponding segment. False if the VM is in single segment mode. In this mode, an execution is proved by a single proof.

memory_config: MemoryConfig

Memory configuration

num_public_values: usize

num_public_values has different meanings in single segment mode and continuation mode. In single segment mode, num_public_values is the number of public values of PublicValuesChip. In this case, verifier can read public values directly. In continuation mode, public values are stored in a special address space. num_public_values indicates the number of allowed addresses in that address space. The verifier cannot read public values directly, but they can decommit the public values from the memory merkle root.

profiling: bool

Whether to collect detailed profiling metrics. Warning: this slows down the runtime.

segmentation_limits: SegmentationLimits

Segmentation limits 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_limits(&mut self, val: SegmentationLimits) -> &mut Self

Segmentation limits 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_continuations(self) -> Self

pub fn without_continuations(self) -> Self

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

pub fn with_max_segment_len(self, max_segment_len: usize) -> Self

pub fn with_profiling(self) -> Self

pub fn without_profiling(self) -> Self

pub fn has_public_values_chip(&self) -> bool

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) -> Option<usize>

Returns the AIR ID of the memory merkle AIR. Returns None if continuations are not enabled.

pub fn access_adapter_air_id_offset(&self) -> usize

AIR ID for the first memory access adapter AIR.

pub fn num_airs(&self) -> usize

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

pub fn initial_block_size(&self) -> usize

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: StarkGenericConfig> VmCircuitConfig<SC> for SystemConfig

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 add an executor for PublicValuesExecutor if continuations is disabled. It will always add an executor for PhantomChip, which handles all phantom sub-executors.

type Executor = SystemExecutor<F>