Struct AdviceInputs

pub struct AdviceInputs {
    pub stack: Vec<BaseElement>,
    pub map: AdviceMap,
    pub store: MerkleStore,
}

Fields

stack: Vec<BaseElement>

map: AdviceMap

store: MerkleStore

Implementations

impl AdviceInputs

pub fn with_stack_values<I>(self, iter: I) -> Result<AdviceInputs, 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) -> AdviceInputs

where I: IntoIterator<Item = BaseElement>,

Extends the stack with the given elements.

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

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

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

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

Replaces the MerkleStore with the provided argument.

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

where I: IntoIterator<Item = BaseElement>,

Extends the stack with the given elements.

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

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

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: AdviceInputs)

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

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

Returns a reference to the advice stack.

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

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 duplicate 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<(), Error>

Formats the value using the given formatter.

impl Default for AdviceInputs

fn default() -> AdviceInputs

Returns the “default value” for a type.

impl Deserializable for AdviceInputs

fn read_from<R>(source: &mut R) -> Result<AdviceInputs, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl From<AdviceInputs> for MemAdviceProvider

fn from(inputs: AdviceInputs) -> MemAdviceProvider

Converts to this type from the input type.

impl PartialEq for AdviceInputs

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serializable for AdviceInputs

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Eq for AdviceInputs

impl StructuralPartialEq for AdviceInputs