Struct CairoStep

pub struct CairoStep<'a, F> {
    pub mem: &'a mut CairoMemory<F>,
    pub curr: CairoState<F>,
    pub next: Option<CairoState<F>>,
    pub vars: CairoContext<F>,
}

A data structure to store a current step of Cairo computation

Fields

mem: &'a mut CairoMemory<F>

state of the computation

curr: CairoState<F>

current pointers

next: Option<CairoState<F>>

(if any) next pointers

vars: CairoContext<F>

state auxiliary variables

Implementations

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

pub fn new(mem: &mut CairoMemory<F>, ptrs: CairoState<F>) -> CairoStep<'_, F>

Creates a new Cairo execution step from a step index, a Cairo word, and current pointers

pub fn execute(&mut self) -> CairoInstruction<F>

Executes a Cairo step from the current registers

pub fn instr(&mut self) -> CairoWord<F>

This function returns the current word instruction being executed

pub fn set_op0(&mut self)

This function computes the first operand address

pub fn set_op1(&mut self)

This function computes the second operand address and content and the instruction size Panics if the flagset OP1_SRC has more than 1 nonzero bit

pub fn set_res(&mut self)

This function computes the value of the result of the arithmetic operation Panics if a jnz instruction is used with an invalid format or if the flagset RES_LOG has more than 1 nonzero bit

pub fn set_dst(&mut self)

This function computes the destination address

pub fn next_pc(&mut self) -> Option<F>

This function computes the next program counter Panics if the flagset PC_UP has more than 1 nonzero bit