sp1_stark::air

Trait MachineProgram

Source 
pub trait MachineProgram<F>: Send + Sync {
    // Required methods
    fn pc_start(&self) -> F;
    fn initial_global_cumulative_sum(&self) -> SepticDigest<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.

Source

fn initial_global_cumulative_sum(&self) -> SepticDigest<F>

Gets the initial global cumulative sum.

Implementors§