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 tape which can contain any number of elements.
2. Multiple advice tapes that can be appended to the main tape, and are mapped by 32 bytes keys.
3. Merkle sets list, which are used to provide nondeterministic inputs for instructions that operates with Merkle trees.

Implementations

impl AdviceInputs

pub fn with_tape_values<I>(self, iter: I) -> Result<Self, InputError>where I: IntoIterator<Item = u64>,

Attempts to extend the tape 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_tape<I>(self, iter: I) -> Selfwhere I: IntoIterator<Item = Felt>,

Extends the tape with the given elements.

pub fn with_values_map<I>(self, iter: I) -> Selfwhere I: IntoIterator<Item = ([u8; 32], Vec<Felt>)>,

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

pub fn with_merkle_sets<I>(self, iter: I) -> Result<Self, InputError>where I: IntoIterator<Item = MerkleSet>,

Attempts to extend the Merkle sets with the given argument, failing if a duplicated root is provided.

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

Returns a reference to the advice tape.

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

Fetch a values set mapped by the given key.

pub fn merkle_set(&self, key: &[u8; 32]) -> Option<&MerkleSet>

Fetch a Merkle set mapped by the given key.

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.