Struct miden_core::program::ProgramInputs

pub struct ProgramInputs { /* fields omitted */ }

Implementations

impl ProgramInputs

pub fn new(
    public: &[u128],
    secret_a: &[u128],
    secret_b: &[u128]
) -> ProgramInputs

Returns ProgramInputs initialized with the provided public and secret inputs.

pub fn none() -> ProgramInputs

Returns ProgramInputs with public and secret input tapes set to empty vectors.

pub fn from_public(public: &[u128]) -> ProgramInputs

Returns ProgramInputs initialized with the provided public inputs and secret input tapes set to empty vectors.

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

pub fn secret_inputs(&self) -> &[Vec<BaseElement>; 2]

Trait Implementations

impl Clone for ProgramInputs

fn clone(&self) -> ProgramInputs

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramInputs

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

Formats the value using the given formatter.