Struct sp1_core::alu::add_sub::AddSubCols

#[repr(C)]
pub struct AddSubCols<T> {
    pub shard: T,
    pub channel: T,
    pub nonce: T,
    pub add_operation: AddOperation<T>,
    pub operand_1: Word<T>,
    pub operand_2: Word<T>,
    pub is_add: T,
    pub is_sub: T,
}

The column layout for the chip.

Fields

shard: T

The shard number, used for byte lookup table.

channel: T

The channel number, used for byte lookup table.

nonce: T

The nonce of the operation.

add_operation: AddOperation<T>

Instance of AddOperation to handle addition logic in AddSubChip’s ALU operations. It’s result will be a for the add operation and b for the sub operation.

operand_1: Word<T>

The first input operand. This will be b for add operations and c for sub operations.

operand_2: Word<T>

The second input operand. This will be c for both operations.

is_add: T

Boolean to indicate whether the row is for an add operation.

is_sub: T

Boolean to indicate whether the row is for a sub operation.

Trait Implementations

impl<T> Borrow<AddSubCols<T>> for [T]

fn borrow(&self) -> &AddSubCols<T>

Immutably borrows from an owned value.

impl<T> BorrowMut<AddSubCols<T>> for [T]

fn borrow_mut(&mut self) -> &mut AddSubCols<T>

Mutably borrows from an owned value.

impl<T: Clone> Clone for AddSubCols<T>

fn clone(&self) -> AddSubCols<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Default> Default for AddSubCols<T>

fn default() -> AddSubCols<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for AddSubCols<T>