Struct sp1_core::syscall::precompiles::edwards::EdAddAssignChip

pub struct EdAddAssignChip<E> { /* private fields */ }

Implementations

impl<E: EllipticCurve + EdwardsParameters> EdAddAssignChip<E>

pub const fn new() -> Self

Trait Implementations

impl<AB, E: EllipticCurve + EdwardsParameters> Air<AB> for EdAddAssignChip<E>

where AB: SP1AirBuilder,

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

impl<F, E: EllipticCurve + EdwardsParameters> BaseAir<F> for EdAddAssignChip<E>

fn width(&self) -> usize

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

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

impl<E: Default> Default for EdAddAssignChip<E>

fn default() -> EdAddAssignChip<E>

Returns the “default value” for a type.

impl<F: PrimeField32, E: EllipticCurve + EdwardsParameters> MachineAir<F> for EdAddAssignChip<E>

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<E: EllipticCurve + EdwardsParameters> Syscall for EdAddAssignChip<E>

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.