Struct PublicInputs 

pub struct PublicInputs { /* private fields */ }

Implementations

impl PublicInputs

pub fn new( program_info: ProgramInfo, stack_inputs: StackInputs, stack_outputs: StackOutputs, pc_transcript_state: Word, ) -> PublicInputs

Creates a new instance of PublicInputs from program information, stack inputs and outputs, and the precompile transcript state (capacity of an internal sponge).

pub fn stack_inputs(&self) -> StackInputs

pub fn stack_outputs(&self) -> StackOutputs

pub fn program_info(&self) -> ProgramInfo

pub fn pc_transcript_state(&self) -> Word

Returns the precompile transcript state.

pub fn to_air_inputs(&self) -> (Vec<Felt>, Vec<Felt>)

Returns the fixed-length public values and the variable-length kernel procedure digests as a flat slice of Felts.

The fixed-length public values layout is: [0..4] program hash [4..20] stack inputs [20..36] stack outputs [36..40] precompile transcript state

The kernel procedure digests are returned as a single flat Vec<Felt> (concatenated words), to be passed as a single variable-length public input slice to the verifier.

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

Converts public inputs into a vector of field elements (Felt) in the canonical order:

• program info elements (including kernel procedure hashes)
• stack inputs
• stack outputs
• precompile transcript state

Trait Implementations

impl Clone for PublicInputs

fn clone(&self) -> PublicInputs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PublicInputs

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

Formats the value using the given formatter.

impl Deserializable for PublicInputs

fn read_from<R>(source: &mut R) -> Result<PublicInputs, 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 min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

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

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

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

Deserializes Self from bytes with a byte budget limit.

impl Serializable for PublicInputs

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.