Struct turshi::memory::CairoMemory

pub struct CairoMemory<F> { /* private fields */ }

This data structure stores the memory of the program

Implementations

impl<F: Field> CairoMemory<F>

pub fn new(input: Vec<F>) -> CairoMemory<F>

Create a new memory structure from a vector of field elements

pub fn get_codelen(&self) -> usize

Get size of the public memory

pub fn len(&self) -> u64

Get size of the full memory including dummy 0th entry

pub fn is_empty(&self) -> bool

Returns whether the memory is empty (either length 0, or with the dummy first entry)

pub fn write(&mut self, addr: F, elem: F)

Write u64 element in memory address

pub fn read(&mut self, addr: F) -> Option<F>

Read element in memory address

Trait Implementations

impl<F: Field> Display for CairoMemory<F>

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

Formats the value using the given formatter.

impl<F: Field> Index<F> for CairoMemory<F>

type Output = Option<CairoWord<F>>

The returned type after indexing.

fn index(&self, idx: F) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<F: Field> IndexMut<F> for CairoMemory<F>

fn index_mut(&mut self, idx: F) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.