Struct MemoryConfig 

pub struct MemoryConfig {
    pub addr_space_height: usize,
    pub addr_spaces: Vec<AddressSpaceHostConfig>,
    pub pointer_max_bits: usize,
    pub timestamp_max_bits: usize,
    pub decomp: usize,
    pub max_access_adapter_n: usize,
}

Fields

addr_space_height: usize

The maximum height of the address space. This means the trie has addr_space_height layers for searching the address space. The allowed address spaces are those in the range [1, 1 + 2^addr_space_height) where it starts from 1 to not allow address space 0 in memory.

addr_spaces: Vec<AddressSpaceHostConfig>

It is expected that the size of the list is (1 << addr_space_height) + 1 and the first element is 0, which means no address space.

pointer_max_bits: usize

timestamp_max_bits: usize

All timestamps must be in the range [0, 2^timestamp_max_bits). Maximum allowed: 29.

decomp: usize

Limb size used by the range checker

max_access_adapter_n: usize

Maximum N AccessAdapter AIR to support.

Implementations

impl MemoryConfig

pub fn new( addr_space_height: usize, addr_spaces: Vec<AddressSpaceHostConfig>, pointer_max_bits: usize, timestamp_max_bits: usize, decomp: usize, max_access_adapter_n: usize, ) -> Self

Constructs a new MemoryConfig.

impl MemoryConfig

pub fn empty_address_space_configs( num_addr_spaces: usize, ) -> Vec<AddressSpaceHostConfig>

pub fn aggregation() -> Self

Config for aggregation usage with only native address space.

pub fn min_block_size_bits(&self) -> Vec<u8>

impl MemoryConfig

pub fn memory_dimensions(&self) -> MemoryDimensions

Trait Implementations

impl Clone for MemoryConfig

fn clone(&self) -> MemoryConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemoryConfig

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

Formats the value using the given formatter.

impl Default for MemoryConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MemoryConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for MemoryConfig

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

where __S: Serializer,

Serialize this value into the given Serde serializer.