Struct sp1_core::operations::IsZeroWordOperation

#[repr(C)]
pub struct IsZeroWordOperation<T> {
    pub is_zero_byte: [IsZeroOperation<T>; 4],
    pub is_lower_half_zero: T,
    pub is_upper_half_zero: T,
    pub result: T,
}

A set of columns needed to compute whether the given word is 0.

Fields

is_zero_byte: [IsZeroOperation<T>; 4]

IsZeroOperation to check if each byte in the input word is zero.

is_lower_half_zero: T

A boolean flag indicating whether the lower word (the bottom 16 bits of the input) is 0. This equals is_zero_byte[0] * is_zero_byte[1].

is_upper_half_zero: T

A boolean flag indicating whether the upper word (the top 16 bits of the input) is 0. This equals is_zero_byte[2] * is_zero_byte[3].

result: T

A boolean flag indicating whether the word is zero. This equals is_zero_byte[0] * ... * is_zero_byte[WORD_SIZE - 1].

Implementations

impl<F: Field> IsZeroWordOperation<F>

pub fn populate(&mut self, a_u32: u32) -> u32

pub fn populate_from_field_element(&mut self, a: Word<F>) -> u32

pub fn eval<AB: SP1AirBuilder>( builder: &mut AB, a: Word<AB::Expr>, cols: IsZeroWordOperation<AB::Var>, is_real: AB::Expr, )

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for IsZeroWordOperation<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for IsZeroWordOperation<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for IsZeroWordOperation<T>

fn default() -> IsZeroWordOperation<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for IsZeroWordOperation<T>