Struct ByteChip 

pub struct ByteChip<F>(/* private fields */);

A chip for computing byte operations.

The chip contains a preprocessed table of all possible byte operations. Other chips can then use lookups into this table to compute their own operations.

Implementations

impl<F: Field> ByteChip<F>

pub fn trace() -> RowMajorMatrix<F>

Creates the preprocessed byte trace.

This function returns a trace which is a matrix containing all possible byte operations.

Trait Implementations

impl<AB: SP1AirBuilder + PairBuilder> Air<AB> for ByteChip<AB::F>

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

impl<F: Field> BaseAir<F> for ByteChip<F>

fn width(&self) -> usize

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

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

impl<F: Clone> Clone for ByteChip<F>

fn clone(&self) -> ByteChip<F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug> Debug for ByteChip<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Default> Default for ByteChip<F>

fn default() -> ByteChip<F>

Returns the “default value” for a type.

impl<F: PrimeField32> MachineAir<F> for ByteChip<F>

type Record = ExecutionRecord

The execution record containing events for producing the air trace.

type Program = Program

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 preprocessed_width(&self) -> usize

The width of the preprocessed trace.

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

Generate the preprocessed trace given a specific program.

fn generate_dependencies( &self, _input: &ExecutionRecord, _output: &mut ExecutionRecord, )

Generate the dependencies for a given execution record.

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

Generate the trace for a given execution record.

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

Whether this execution record contains events for this air.

fn num_rows(&self, _input: &Self::Record) -> Option<usize>

The number of rows in the trace

fn preprocessed_num_rows( &self, _program: &Self::Program, _instrs_len: usize, ) -> Option<usize>

The number of rows in the preprocessed trace

fn commit_scope(&self) -> InteractionScope

Specifies whether it’s trace should be part of either the global or local commit.

fn local_only(&self) -> bool

Specifies whether the air only uses the local row, and not the next row.

impl<F: Copy> Copy for ByteChip<F>