Struct SystemConfig

pub struct SystemConfig {
    pub max_constraint_degree: usize,
    pub continuation_enabled: bool,
    pub memory_config: MemoryConfig,
    pub num_public_values: usize,
    pub max_segment_len: usize,
    pub collect_metrics: bool,
}

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.

max_segment_len: usize

When continuations are enabled, a heuristic used to determine when to segment execution.

collect_metrics: bool

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

Implementations

impl SystemConfig

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

pub fn with_max_constraint_degree(self, max_constraint_degree: usize) -> 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_metric_collection(self) -> Self

pub fn without_metric_collection(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.

Trait Implementations

impl Clone for SystemConfig

fn clone(&self) -> SystemConfig

Returns a copy 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 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<F: PrimeField32> VmConfig<F> for SystemConfig

type Executor = SystemExecutor<F>

type Periphery = SystemPeriphery<F>

fn system(&self) -> &SystemConfig

Must contain system config

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

fn create_chip_complex( &self, ) -> Result<VmChipComplex<F, Self::Executor, Self::Periphery>, VmInventoryError>