Struct Program

pub struct Program<F> {
    pub step: u32,
    pub pc_base: u32,
    pub max_num_public_values: usize,
    /* private fields */
}

Fields

step: u32

pc_base: u32

max_num_public_values: usize

The upper bound of the number of public values the program would publish. Currently, this won’t result any constraint. But users should always be aware of the limit of public values when they write programs.

Implementations

impl<F: Field> Program<F>

pub fn new_empty(step: u32, pc_base: u32, max_num_public_values: usize) -> Self

pub fn new_without_debug_infos( instructions: &[Instruction<F>], step: u32, pc_base: u32, max_num_public_values: usize, ) -> Self

pub fn from_instructions_and_debug_infos( instructions: &[Instruction<F>], debug_infos: &[Option<DebugInfo>], ) -> Self

We assume that pc_start = pc_base = 0 everywhere except the RISC-V programs, until we need otherwise We use DEFAULT_PC_STEP for consistency with RISC-V

pub fn strip_debug_infos(self) -> Self

pub fn from_instructions(instructions: &[Instruction<F>]) -> Self

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn instructions(&self) -> Vec<Instruction<F>>

pub fn debug_infos(&self) -> Vec<Option<DebugInfo>>

pub fn enumerate_by_pc(&self) -> Vec<(u32, Instruction<F>, Option<DebugInfo>)>

pub fn get_instruction_and_debug_info( &self, index: usize, ) -> Option<(Instruction<F>, Option<DebugInfo>)>

pub fn push_instruction_and_debug_info( &mut self, instruction: Instruction<F>, debug_info: Option<DebugInfo>, )

pub fn push_instruction(&mut self, instruction: Instruction<F>)

pub fn append(&mut self, other: Program<F>)

Trait Implementations

impl<F: Clone> Clone for Program<F>

fn clone(&self) -> Program<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for Program<F>

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

Formats the value using the given formatter.

impl<F: Default> Default for Program<F>

fn default() -> Program<F>

Returns the “default value” for a type.

impl<'de, F> Deserialize<'de> for Program<F>

where F: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: Field> Display for Program<F>

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

Formats the value using the given formatter.

impl<F: Field> From<Program<F>> for VmExe<F>

fn from(program: Program<F>) -> Self

Converts to this type from the input type.

impl<F> Serialize for Program<F>

where F: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.