Struct StackInputs

pub struct StackInputs { /* private fields */ }

Defines the initial state of the VM’s operand stack.

The values in the struct are stored in the “stack order” - i.e., the last input is at the top of the stack (in position 0).

Implementations

impl StackInputs

pub fn new(values: Vec<BaseElement>) -> Result<StackInputs, InputError>

Returns StackInputs from a list of values, reversing them into a stack.

Errors

Returns an error if the number of input values exceeds the allowed maximum.

pub fn try_from_ints<I>(iter: I) -> Result<StackInputs, InputError>

where I: IntoIterator<Item = u64>,

Attempts to create stack inputs from an iterator of integers.

Errors

Returns an error if:

• The values do not represent a valid field element.
• Number of values in the iterator exceeds the allowed maximum number of input values.

Trait Implementations

impl Clone for StackInputs

fn clone(&self) -> StackInputs

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StackInputs

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

Formats the value using the given formatter.

impl Default for StackInputs

fn default() -> StackInputs

Returns the “default value” for a type.

impl Deref for StackInputs

type Target = [BaseElement; 16]

The resulting type after dereferencing.

fn deref(&self) -> &<StackInputs as Deref>::Target

Dereferences the value.

impl Deserializable for StackInputs

fn read_from<R>(source: &mut R) -> Result<StackInputs, 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<[BaseElement; 16]> for StackInputs

fn from(value: [BaseElement; 16]) -> StackInputs

Converts to this type from the input type.

impl<'a> IntoIterator for &'a StackInputs

type Item = &'a BaseElement

The type of the elements being iterated over.

type IntoIter = Iter<'a, BaseElement>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <&'a StackInputs as IntoIterator>::IntoIter

Creates an iterator from a value.

impl IntoIterator for StackInputs

type Item = BaseElement

The type of the elements being iterated over.

type IntoIter = IntoIter<BaseElement, 16>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <StackInputs as IntoIterator>::IntoIter

Creates an iterator from a value.

impl Serializable for StackInputs

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.