Struct miden_processor::AdviceInputs

pub struct AdviceInputs { /* private fields */ }

Inputs container to initialize advice provider for the execution of Miden VM programs.

The program may request nondeterministic advice inputs from the prover. These inputs are secret inputs. This means that the prover does not need to share them with the verifier.

There are three types of advice inputs:

1. Single advice stack which can contain any number of elements.
2. Key-mapped element lists which can be pushed onto the advice stack.
3. Merkle store, which is used to provide nondeterministic inputs for instructions that operates with Merkle trees.

Implementations

impl AdviceInputs

pub fn with_stack_values<I>(self, iter: I) -> Result<Self, InputError>

where I: IntoIterator<Item = u64>,

Attempts to extend the stack values with the given sequence of integers, returning an error if any of the numbers fails while converting to an element [Felt].

pub fn with_stack<I>(self, iter: I) -> Self

where I: IntoIterator<Item = Felt>,

Extends the stack with the given elements.

pub fn with_map<I>(self, iter: I) -> Self

where I: IntoIterator<Item = (RpoDigest, Vec<Felt>)>,

Extends the map of values with the given argument, replacing previously inserted items.

pub fn with_merkle_store(self, store: MerkleStore) -> Self

Replaces the MerkleStore with the provided argument.

pub fn extend_stack<I>(&mut self, iter: I)

where I: IntoIterator<Item = Felt>,

Extends the stack with the given elements.

pub fn extend_map<I>(&mut self, iter: I)

where I: IntoIterator<Item = (RpoDigest, Vec<Felt>)>,

Extends the map of values with the given argument, replacing previously inserted items.

pub fn extend_merkle_store<I>(&mut self, iter: I)

where I: Iterator<Item = InnerNodeInfo>,

Extends the MerkleStore with the given nodes.

pub fn extend(&mut self, other: Self)

Extends the contents of this instance with the contents of the other instance.

pub fn stack(&self) -> &[Felt]

Returns a reference to the advice stack.

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

Fetch a values set mapped by the given key.

pub const fn merkle_store(&self) -> &MerkleStore

Returns the underlying MerkleStore.

Trait Implementations

impl Clone for AdviceInputs

fn clone(&self) -> AdviceInputs

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AdviceInputs

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

Formats the value using the given formatter.

impl Default for AdviceInputs

fn default() -> AdviceInputs

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.

impl From<AdviceInputs> for RecAdviceProvider

fn from(inputs: AdviceInputs) -> Self

Converts to this type from the input type.