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 pop_stack(&mut self) -> Result<Felt, ExecutionError>

Pops an element from the advice stack and returns it.

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

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

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

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

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

Pushes the value(s) specified by the source onto the advice stack.

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

Inserts the provided value into the advice map under the specified key.

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

Returns a node at the specified 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 depth and index in a Merkle tree with the specified root.

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

Updates a node at the specified depth and index in a Merkle tree with the specified root; returns the Merkle path from the updated node to the new root.

fn merge_roots(&mut self, lhs: Word, rhs: Word) -> Result<Word, ExecutionError>

Creates a new Merkle tree in the advice provider by combining Merkle trees with the specified roots. The root of the new tree is defined as hash(left_root, right_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.