Struct miden_air::PublicInputs

pub struct PublicInputs { /* private fields */ }

Implementations

impl PublicInputs

pub fn new( program_info: ProgramInfo, stack_inputs: StackInputs, stack_outputs: StackOutputs ) -> Self

Trait Implementations

impl Debug for PublicInputs

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

Formats the value using the given formatter.

impl Serializable for PublicInputs

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

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

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

Serializes self into a vector of bytes.

fn write_batch_into<W>(source: &[Self], target: &mut W)where W: ByteWriter,

Serializes all elements of the source and writes these bytes into the target.

fn get_size_hint(&self) -> usize

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

impl ToElements<BaseElement> for PublicInputs

fn to_elements(&self) -> Vec<Felt>