Enum miden_processor::AdviceSource

pub enum AdviceSource {
    Value(Felt),
    Map {
        key: Word,
    },
}

Placeholder for advice provider tape mutation.

Variants

Value(Felt)

Writes a single value to the head of the advice tape.

Map

Fields

key: Word

Fetch a keyed tape from the values map, reversing and appending it to the advice tape.

Note: this operation shouldn’t consume the map element so it can be called multiple times for the same key.

Example

Given an advice tape [a,b,c], and a map x |-> [d,e,f], a call write_tape_from_map(x) will result in [a,b,c,f,e,d] for the advice tape, and will preserve x |-> [d,e,f].

Errors

Returns an error if the key was not found in the key-value map.

Trait Implementations

impl Clone for AdviceSource

fn clone(&self) -> AdviceSource

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AdviceSource

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

Formats the value using the given formatter.

impl PartialEq<AdviceSource> for AdviceSource

fn eq(&self, other: &AdviceSource) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for AdviceSource

impl Eq for AdviceSource

impl StructuralEq for AdviceSource

impl StructuralPartialEq for AdviceSource