Struct ShaExtendCols 

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

    pub shard: T,
    pub clk: T,
    pub w_ptr: T,
    pub i: T,
    pub cycle_16: T,
    pub cycle_16_start: IsZeroOperation<T>,
    pub cycle_16_end: IsZeroOperation<T>,
    pub cycle_48: [T; 3],
    pub cycle_48_start: T,
    pub cycle_48_end: T,
    pub w_i_minus_15: MemoryReadCols<T>,
    pub w_i_minus_15_rr_7: FixedRotateRightOperation<T>,
    pub w_i_minus_15_rr_18: FixedRotateRightOperation<T>,
    pub w_i_minus_15_rs_3: FixedShiftRightOperation<T>,
    pub s0_intermediate: XorOperation<T>,
    pub s0: XorOperation<T>,
    pub w_i_minus_2: MemoryReadCols<T>,
    pub w_i_minus_2_rr_17: FixedRotateRightOperation<T>,
    pub w_i_minus_2_rr_19: FixedRotateRightOperation<T>,
    pub w_i_minus_2_rs_10: FixedShiftRightOperation<T>,
    pub s1_intermediate: XorOperation<T>,
    pub s1: XorOperation<T>,
    pub w_i_minus_16: MemoryReadCols<T>,
    pub w_i_minus_7: MemoryReadCols<T>,
    pub s2: Add4Operation<T>,
    pub w_i: MemoryWriteCols<T>,
    pub is_real: T,
}

Fields

shard: T

Inputs.

clk: T

w_ptr: T

i: T

Control flags.

cycle_16: T

g^n where g is generator with order 16 and n is the row number.

cycle_16_start: IsZeroOperation<T>

Checks whether current row is start of a 16-row cycle. Bool result is stored in result.

cycle_16_end: IsZeroOperation<T>

Checks whether current row is end of a 16-row cycle. Bool result is stored in result.

cycle_48: [T; 3]

Flags for when in the first, second, or third 16-row cycle.

cycle_48_start: T

Whether the current row is the first of a 48-row cycle and is real.

cycle_48_end: T

Whether the current row is the end of a 48-row cycle and is real.

w_i_minus_15: MemoryReadCols<T>

Inputs to s0.

w_i_minus_15_rr_7: FixedRotateRightOperation<T>

w_i_minus_15_rr_18: FixedRotateRightOperation<T>

w_i_minus_15_rs_3: FixedShiftRightOperation<T>

s0_intermediate: XorOperation<T>

s0: XorOperation<T>

s0 := (w[i-15] rightrotate 7) xor (w[i-15] rightrotate 18) xor (w[i-15] rightshift 3).

w_i_minus_2: MemoryReadCols<T>

Inputs to s1.

w_i_minus_2_rr_17: FixedRotateRightOperation<T>

w_i_minus_2_rr_19: FixedRotateRightOperation<T>

w_i_minus_2_rs_10: FixedShiftRightOperation<T>

s1_intermediate: XorOperation<T>

s1: XorOperation<T>

s1 := (w[i-2] rightrotate 17) xor (w[i-2] rightrotate 19) xor (w[i-2] rightshift 10).

w_i_minus_16: MemoryReadCols<T>

Inputs to s2.

w_i_minus_7: MemoryReadCols<T>

s2: Add4Operation<T>

w[i] := w[i-16] + s0 + w[i-7] + s1.

w_i: MemoryWriteCols<T>

Result.

is_real: T

Selector.

Implementations

impl<F: Field> ShaExtendCols<F>

pub fn populate_flags(&mut self, i: usize)

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for ShaExtendCols<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for ShaExtendCols<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for ShaExtendCols<T>

fn default() -> ShaExtendCols<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for ShaExtendCols<T>