Struct sp1_recursion_core::cpu::CpuChip

pub struct CpuChip<F, const L: usize> {
    pub fixed_log2_rows: Option<usize>,
    pub _phantom: PhantomData<F>,
}

Fields

fixed_log2_rows: Option<usize>

_phantom: PhantomData<F>

Implementations

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_alu<AB>(&self, builder: &mut AB, local: &CpuCols<AB::Var>)

where AB: SP1RecursionAirBuilder<F = F>,

Eval the ALU instructions.

Warning

The division constraints allow a = 0/0 for any a.

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_branch<AB>( &self, builder: &mut AB, local: &CpuCols<AB::Var>, next_pc: &mut AB::Expr, )

where AB: SP1RecursionAirBuilder<F = F>,

Eval the BRANCH operations.

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_heap_ptr<AB>(&self, builder: &mut AB, local: &CpuCols<AB::Var>)

where AB: SP1RecursionAirBuilder<F = F>,

Eval the heap ptr. s This function will ensure that the heap size never goes above 2^28.

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_jump<AB>( &self, builder: &mut AB, local: &CpuCols<AB::Var>, next: &CpuCols<AB::Var>, next_pc: &mut AB::Expr, )

where AB: SP1RecursionAirBuilder<F = F>,

Eval the JUMP instructions.

This method will verify the fp column values and add to the next_pc expression.

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_memory<AB>(&self, builder: &mut AB, local: &CpuCols<AB::Var>)

where AB: SP1RecursionAirBuilder<F = F>,

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_operands<AB>(&self, builder: &mut AB, local: &CpuCols<AB::Var>)

where AB: SP1RecursionAirBuilder<F = F>,

Eval the operands.

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_commit<AB>( &self, builder: &mut AB, local: &CpuCols<AB::Var>, commit_digest: [AB::Expr; 8], )

where AB: SP1RecursionAirBuilder<F = F>,

Eval the COMMIT instructions.

This method will verify the committed public value.

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_system_instructions<AB>( &self, builder: &mut AB, local: &CpuCols<AB::Var>, next: &CpuCols<AB::Var>, public_values: &RecursionPublicValues<AB::Expr>, )

where AB: SP1RecursionAirBuilder<F = F>,

Eval the system instructions (TRAP, HALT).

impl<F: Field, const L: usize> CpuChip<F, L>

pub fn eval_clk<AB>( &self, builder: &mut AB, local: &CpuCols<AB::Var>, next: &CpuCols<AB::Var>, )

where AB: SP1RecursionAirBuilder,

Eval the clk.

For all instructions except for FRI fold, the next clk is the current clk + 4. For FRI fold, the next clk is the current clk + number of FRI_FOLD iterations. That value is stored in the a operand.

pub fn eval_is_real<AB>( &self, builder: &mut AB, local: &CpuCols<AB::Var>, next: &CpuCols<AB::Var>, )

where AB: SP1RecursionAirBuilder,

Eval the is_real flag.

pub fn is_alu_instruction<AB>(&self, local: &CpuCols<AB::Var>) -> AB::Expr

where AB: SP1RecursionAirBuilder<F = F>,

Expr to check for alu instructions.

pub fn is_branch_instruction<AB>(&self, local: &CpuCols<AB::Var>) -> AB::Expr

where AB: SP1RecursionAirBuilder<F = F>,

Expr to check for branch instructions.

pub fn is_jump_instruction<AB>(&self, local: &CpuCols<AB::Var>) -> AB::Expr

where AB: SP1RecursionAirBuilder<F = F>,

Expr to check for jump instructions.

pub fn is_memory_instruction<AB>(&self, local: &CpuCols<AB::Var>) -> AB::Expr

where AB: SP1RecursionAirBuilder<F = F>,

Expr to check for memory instructions.

pub fn is_op_a_read_only_instruction<AB>( &self, local: &CpuCols<AB::Var>, ) -> AB::Expr

where AB: SP1RecursionAirBuilder<F = F>,

Expr to check for instructions that only read from operand a.

pub fn is_commit_instruction<AB>(&self, local: &CpuCols<AB::Var>) -> AB::Expr

where AB: SP1RecursionAirBuilder<F = F>,

Expr to check for instructions that are commit instructions.

pub fn is_system_instruction<AB>(&self, local: &CpuCols<AB::Var>) -> AB::Expr

where AB: SP1RecursionAirBuilder<F = F>,

Expr to check for system instructions.

Trait Implementations

impl<AB, const L: usize> Air<AB> for CpuChip<AB::F, L>

where AB: SP1RecursionAirBuilder,

fn eval(&self, builder: &mut AB)

impl<F: Send + Sync, const L: usize> BaseAir<F> for CpuChip<F, L>

fn width(&self) -> usize

The number of columns (a.k.a. registers) in this AIR.

fn preprocessed_trace(&self) -> Option<DenseMatrix<F>>

impl<F: Default, const L: usize> Default for CpuChip<F, L>

fn default() -> CpuChip<F, L>

Returns the “default value” for a type.

impl<F: PrimeField32 + BinomiallyExtendable<D>, const L: usize> MachineAir<F> for CpuChip<F, L>

type Record = ExecutionRecord<F>

The execution record containing events for producing the air trace.

type Program = RecursionProgram<F>

fn name(&self) -> String

A unique identifier for this AIR as part of a machine.

fn generate_dependencies(&self, _: &Self::Record, _: &mut Self::Record)

Generate the dependencies for a given execution record.

fn generate_trace( &self, input: &ExecutionRecord<F>, _: &mut ExecutionRecord<F>, ) -> RowMajorMatrix<F>

Generate the trace for a given execution record.

fn included(&self, _: &Self::Record) -> bool

Whether this execution record contains events for this air.

fn preprocessed_width(&self) -> usize

The width of the preprocessed trace.

fn generate_preprocessed_trace( &self, _program: &Self::Program, ) -> Option<DenseMatrix<F>>

Generate the preprocessed trace given a specific program.