Struct turshi::runner::CairoProgram

pub struct CairoProgram<'a, F> {
    pub steps: F,
    pub mem: &'a mut CairoMemory<F>,
    pub ini: CairoState<F>,
    pub fin: CairoState<F>,
    pub trace: Vec<CairoInstruction<F>>,
}

This struct stores the needed information to run a program

Fields

steps: F

total number of steps

mem: &'a mut CairoMemory<F>

full execution memory

ini: CairoState<F>

initial computation registers

fin: CairoState<F>

final computation pointers

trace: Vec<CairoInstruction<F>>

execution trace as a vector of CairoInstruction

Implementations

impl<'a, F: Field> CairoProgram<'a, F>

pub fn new(mem: &mut CairoMemory<F>, pc: u64) -> CairoProgram<'_, F>

Creates a Cairo execution from the public information (memory and initial pointers)

pub fn steps(&self) -> F

Outputs the total number of steps of the execution carried out by the runner

pub fn ini(&self) -> CairoState<F>

Outputs the initial value of the pointers after the execution carried out by the runner

pub fn fin(&self) -> CairoState<F>

Outputs the final value of the pointers after the execution carried out by the runner

pub fn trace(&self) -> &Vec<CairoInstruction<F>>

Returns a reference to the set of instructions