Struct 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 finalize( self, ) -> (AdviceInputs, Vec<Felt>, BTreeMap<RpoDigest, Vec<Felt>>, MerkleStore)

Consumes the advice provider and returns an (AdviceInputs, Vec<Felt>, SimpleAdviceMap, MerkleStore) tuple.

The AdviceInputs 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.

The Vec<Felt>, SimpleAdviceMap, and MerkleStore represent the stack, map, and Merkle store of the advice provider at the time of finalization.

Trait Implementations

impl AdviceProvider for RecAdviceProvider

Pass-through implementations of AdviceProvider methods.

TODO: potentially do this via a macro.

fn pop_stack( &mut self, process: ProcessState<'_>, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Result<Felt, ExecutionError>

Pops an element from the advice stack and returns it.

fn pop_stack_word( &mut self, process: ProcessState<'_>, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Result<Word, ExecutionError>

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

fn pop_stack_dword( &mut self, process: ProcessState<'_>, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Result<[Word; 2], ExecutionError>

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

fn push_stack( &mut self, source: AdviceSource, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> 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>)

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

fn get_mapped_values(&self, key: &RpoDigest) -> Option<&[Felt]>

Returns a reference to the value(s) associated with the specified key in the advice map.

fn get_tree_node( &self, root: Word, depth: &Felt, index: &Felt, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> 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, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> 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, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> 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, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Result<(MerklePath, Word), 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, together with the new root.

fn merge_roots( &mut self, lhs: Word, rhs: Word, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> 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).

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.