Struct sp1_core::operations::FixedRotateRightOperation

#[repr(C)]
pub struct FixedRotateRightOperation<T> {
    pub value: Word<T>,
    pub shift: Word<T>,
    pub carry: Word<T>,
}

A set of columns needed to compute rotateright of a word with a fixed offset R.

Note that we decompose shifts into a byte shift and a bit shift.

Fields

value: Word<T>

The output value.

shift: Word<T>

The shift output of shrcarry on each byte of a word.

carry: Word<T>

The carry ouytput of shrcarry on each byte of a word.

Implementations

impl<F: Field> FixedRotateRightOperation<F>

pub const fn nb_bytes_to_shift(rotation: usize) -> usize

pub const fn nb_bits_to_shift(rotation: usize) -> usize

pub const fn carry_multiplier(rotation: usize) -> u32

pub fn populate( &mut self, record: &mut impl ByteRecord, shard: u32, channel: u32, input: u32, rotation: usize, ) -> u32

pub fn eval<AB: SP1AirBuilder>( builder: &mut AB, input: Word<AB::Var>, rotation: usize, cols: FixedRotateRightOperation<AB::Var>, shard: AB::Var, channel: impl Into<AB::Expr> + Clone, is_real: AB::Var, )

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for FixedRotateRightOperation<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for FixedRotateRightOperation<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for FixedRotateRightOperation<T>

fn default() -> FixedRotateRightOperation<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for FixedRotateRightOperation<T>