Struct sp1_recursion_core::fri_fold::FriFoldChip

pub struct FriFoldChip<const DEGREE: usize> {
    pub fixed_log2_rows: Option<usize>,
    pub pad: bool,
}

Fields

fixed_log2_rows: Option<usize>

pad: bool

Implementations

impl<const DEGREE: usize> FriFoldChip<DEGREE>

pub fn eval_fri_fold<AB: SP1RecursionAirBuilder>( &self, builder: &mut AB, local: &FriFoldCols<AB::Var>, next: &FriFoldCols<AB::Var>, receive_table: AB::Var, memory_access: AB::Var, )

pub const fn do_receive_table<T: Copy>(local: &FriFoldCols<T>) -> T

pub const fn do_memory_access<T: Copy>(local: &FriFoldCols<T>) -> T

Trait Implementations

impl<AB, const DEGREE: usize> Air<AB> for FriFoldChip<DEGREE>

where AB: SP1RecursionAirBuilder,

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

impl<F, const DEGREE: usize> BaseAir<F> for FriFoldChip<DEGREE>

fn width(&self) -> usize

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

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

impl<const DEGREE: usize> Default for FriFoldChip<DEGREE>

fn default() -> FriFoldChip<DEGREE>

Returns the “default value” for a type.

impl<F: PrimeField32, const DEGREE: usize> MachineAir<F> for FriFoldChip<DEGREE>

type Record = ExecutionRecord<F>

The execution record containing events for producing the air trace.

type Program = RecursionProgram<F>

The program that defines the control flow of the machine.

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, record: &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.