sp1_stark::air

Trait MachineProgram

source 
pub trait MachineProgram<F>: Send + Sync {
    // Required method
    fn pc_start(&self) -> F;
}
Expand description

A program that defines the control flow of a machine through a program counter.

Required Methods§

source

fn pc_start(&self) -> F

Gets the starting program counter.

Implementors§