Struct miden_processor::RecAdviceProvider

pub struct RecAdviceProvider { /* private fields */ }

An in-memory [AdviceProvider] implementation with support for data access recording.

The recorder can be converted into a proof which can be used to provide the non-deterministic inputs for program execution.

Implementations

impl RecAdviceProvider

pub fn into_proof(self) -> AdviceInputs

Consumes the advice provider and returns a AdviceInputs instance which can be used to re-execute the program.

The returned AdviceInputs instance will contain only the non-deterministic inputs which were requested during program execution.

Trait Implementations

impl AdviceProvider for RecAdviceProvider

Pass-through implementations of AdviceProvider methods.

TODO: potentially do this via a macro.

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 get_leaf_depth( &self, root: Word, tree_depth: &Felt, index: &Felt ) -> Result<u8, ExecutionError>

Reconstructs a path from the root until a leaf or empty node and returns its depth.

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 RecAdviceProvider

fn clone(&self) -> RecAdviceProvider

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RecAdviceProvider

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

Formats the value using the given formatter.

impl Default for RecAdviceProvider

fn default() -> RecAdviceProvider

Returns the “default value” for a type.

impl From<AdviceInputs> for RecAdviceProvider

fn from(inputs: AdviceInputs) -> Self

Converts to this type from the input type.