Struct miden_processor::MemAdviceProvider

pub struct MemAdviceProvider { /* private fields */ }

An in-memory [AdviceProvider] implementation to support program execution.

Uses [BTreeMap] as backend.

Trait Implementations

impl AdviceProvider for MemAdviceProvider

fn read_tape(&mut self) -> Result<Felt, ExecutionError>

Pops an element from the advice tape and returns it.

fn read_tape_w(&mut self) -> Result<Word, ExecutionError>

Pops a word (4 elements) from the advice tape and returns it.

fn read_tape_dw(&mut self) -> Result<[Word; 2], ExecutionError>

Pops a double word (8 elements) from the advice tape and returns them.

fn write_tape(&mut self, source: AdviceSource) -> Result<(), ExecutionError>

Writes values specified by the source to the head of the advice tape.

fn insert_into_map( &mut self, key: Word, values: Vec<Felt> ) -> Result<(), ExecutionError>

Maps a key to a value list to be yielded by write_tape_from_map.

fn get_tree_node( &self, root: Word, depth: Felt, index: Felt ) -> Result<Word, ExecutionError>

Returns a node/leaf for the given depth and index in a Merkle tree with the given root.

fn get_merkle_path( &self, root: Word, depth: Felt, index: Felt ) -> Result<MerklePath, ExecutionError>

Returns a path to a node at the specified index in a Merkle tree with the specified root.

fn update_merkle_leaf( &mut self, root: Word, index: Felt, leaf_value: Word, update_in_copy: bool ) -> Result<MerklePath, ExecutionError>

Updates a leaf at the specified index on an existing Merkle tree with the specified root; returns the Merkle path from the updated leaf to the new root.

fn advance_clock(&mut self)

Increments the clock cycle.

fn by_ref(&mut self) -> &mut Self

Creates a “by reference” advice provider for this instance.

impl Clone for MemAdviceProvider

fn clone(&self) -> MemAdviceProvider

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MemAdviceProvider

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

Formats the value using the given formatter.

impl Default for MemAdviceProvider

fn default() -> MemAdviceProvider

Returns the “default value” for a type.

impl From<AdviceInputs> for MemAdviceProvider

fn from(inputs: AdviceInputs) -> Self

Converts to this type from the input type.