Struct sp1_core::syscall::precompiles::sha256::ShaCompressChip

pub struct ShaCompressChip;

Implements the SHA compress operation which loops over 0 = [0, 63] and modifies A-H in each iteration. The inputs to the syscall are a pointer to the 64 word array W and a pointer to the 8 word array H.

In the AIR, each SHA compress syscall takes up 80 rows. The first and last 8 rows are for initialization and finalize respectively. The middle 64 rows are for compression. Each row operates over a single memory word.

Implementations

impl ShaCompressChip

pub const fn new() -> Self

Trait Implementations

impl<AB> Air<AB> for ShaCompressChip

where AB: SP1AirBuilder,

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

impl<F> BaseAir<F> for ShaCompressChip

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 ShaCompressChip

fn default() -> ShaCompressChip

Returns the “default value” for a type.

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

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 ShaCompressChip

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.