Struct sp1_core::syscall::precompiles::sha256::ShaExtendChip

pub struct ShaExtendChip;

Implements the SHA extension operation which loops over i = [16, 63] and modifies w[i] in each iteration. The only input to the syscall is the 4byte-aligned pointer to the w array.

In the AIR, each SHA extend syscall takes up 48 rows, where each row corresponds to a single iteration of the loop.

Implementations

impl ShaExtendChip

pub fn eval_flags<AB: SP1AirBuilder>(&self, builder: &mut AB)

impl ShaExtendChip

pub const fn new() -> Self

Trait Implementations

impl<AB> Air<AB> for ShaExtendChip

where AB: SP1AirBuilder,

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

impl<F> BaseAir<F> for ShaExtendChip

fn width(&self) -> usize

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

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

impl Default for ShaExtendChip

fn default() -> ShaExtendChip

Returns the “default value” for a type.

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

type Record = ExecutionRecord

The execution record containing events for producing the air trace.

type Program = Program

fn name(&self) -> String

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

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

Generate the trace for a given execution record.

fn generate_dependencies(&self, input: &Self::Record, output: &mut Self::Record)

Generate the dependencies for a given execution record.

fn included(&self, shard: &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<RowMajorMatrix<F>>

Generate the preprocessed trace given a specific program.

impl Syscall for ShaExtendChip

fn num_extra_cycles(&self) -> u32

The number of extra cycles that the syscall takes to execute. Unless this syscall is complex and requires many cycles, this should be zero.

fn execute( &self, rt: &mut SyscallContext<'_, '_>, arg1: u32, arg2: u32, ) -> Option<u32>

Execute the syscall and return the resulting value of register a0. arg1 and arg2 are the values in registers X10 and X11, respectively. While not a hard requirement, the convention is that the return value is only for system calls such as HALT. Most precompiles use arg1 and arg2 to denote the addresses of the input data, and write the result to the memory at arg1.