Struct Sha256RoundCols 

#[repr(C)]
pub struct Sha256RoundCols<T> {
    pub flags: Sha256FlagsCols<T>,
    pub work_vars: Sha256WorkVarsCols<T>,
    pub schedule_helper: Sha256MessageHelperCols<T>,
    pub message_schedule: Sha256MessageScheduleCols<T>,
}

In each SHA256 block:

• First 16 rows use Sha256RoundCols
• Final row uses Sha256DigestCols

Note that for soundness, we require that there is always a padding row after the last digest row in the trace. Right now, this is true because the unpadded height is a multiple of 17, and thus not a power of 2.

Sha256RoundCols and Sha256DigestCols share the same first 3 fields:

• flags
• work_vars/hash (same type, different name)
• schedule_helper

This design allows for:

1. Common constraints to work on either struct type by accessing these shared fields
2. Specific constraints to use the appropriate struct, with flags helping to do conditional constraints

Note that the Sha256WorkVarsCols field it is used for different purposes in the two structs.

Fields

flags: Sha256FlagsCols<T>

work_vars: Sha256WorkVarsCols<T>

Stores the current state of the working variables

schedule_helper: Sha256MessageHelperCols<T>

message_schedule: Sha256MessageScheduleCols<T>

Implementations

impl<T> Sha256RoundCols<T>

pub const fn width() -> usize

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for Sha256RoundCols<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Sha256RoundCols<T>

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

Formats the value using the given formatter.

impl<T: Copy> Copy for Sha256RoundCols<T>