Struct sp1_core::alu::sr::ShiftRightCols

#[repr(C)]
pub struct ShiftRightCols<T> {

    pub shard: T,
    pub channel: T,
    pub nonce: T,
    pub a: Word<T>,
    pub b: Word<T>,
    pub c: Word<T>,
    pub shift_by_n_bits: [T; 8],
    pub shift_by_n_bytes: [T; 4],
    pub byte_shift_result: [T; 8],
    pub bit_shift_result: [T; 8],
    pub shr_carry_output_carry: [T; 8],
    pub shr_carry_output_shifted_byte: [T; 8],
    pub b_msb: T,
    pub c_least_sig_byte: [T; 8],
    pub is_srl: T,
    pub is_sra: T,
    pub is_real: 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.

a: Word<T>

The output operand.

b: Word<T>

The first input operand.

c: Word<T>

The second input operand.

shift_by_n_bits: [T; 8]

A boolean array whose ith element indicates whether num_bits_to_shift = i.

shift_by_n_bytes: [T; 4]

A boolean array whose ith element indicates whether num_bytes_to_shift = i.

byte_shift_result: [T; 8]

The result of “byte-shifting” the input operand b by num_bytes_to_shift.

bit_shift_result: [T; 8]

The result of “bit-shifting” the byte-shifted input by num_bits_to_shift.

shr_carry_output_carry: [T; 8]

The carry output of shrcarry on each byte of byte_shift_result.

shr_carry_output_shifted_byte: [T; 8]

The shift byte output of shrcarry on each byte of byte_shift_result.

b_msb: T

The most significant bit of b.

c_least_sig_byte: [T; 8]

The least significant byte of c. Used to verify shift_by_n_bits and shift_by_n_bytes.

is_srl: T

If the opcode is SRL.

is_sra: T

If the opcode is SRA.

is_real: T

Selector to know whether this row is enabled.

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for ShiftRightCols<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for ShiftRightCols<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for ShiftRightCols<T>

fn default() -> ShiftRightCols<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for ShiftRightCols<T>