Structs§
- Sha2
Block Hasher Filler Helper - A helper struct for the SHA-2 trace generation. Also, separates the inner AIR from the trace generation.
- Sha2
Block Hasher SubAir - Expects the message to be padded to a multiple of C::BLOCK_WORDS * C::WORD_BITS bits
- Sha2
Digest Cols - Sha2
Digest Cols Ref - Sha2
Digest Cols RefMut - Sha2
Flags Cols - Sha2
Flags Cols Ref - Sha2
Flags Cols RefMut - Sha2
Message Helper Cols - These are the columns that are used to help with the message schedule additions Note: these need to be correctly assigned for every row even on padding rows
- Sha2
Message Helper Cols Ref - Sha2
Message Helper Cols RefMut - Sha2
Message Schedule Cols - Sha2
Message Schedule Cols Ref - Sha2
Message Schedule Cols RefMut - Sha2
Round Cols - In each SHA block:
- Sha2
Round Cols Ref - Sha2
Round Cols RefMut - Sha2
Work Vars Cols - Sha2
Work Vars Cols Ref - Sha2
Work Vars Cols RefMut - Sha256
Config - Sha384
Config - Sha512
Config
Enums§
Constants§
- SHA256_
H - SHA256 initial hash values
- SHA256_
K - SHA256 constant K’s
- SHA384_
H - SHA384 initial hash values
- SHA384_
K - SHA384 constant K’s
- SHA512_
H - SHA512 initial hash values
- SHA512_
K - SHA512 constant K’s
Traits§
Functions§
- be_
limbs_ into_ word - Convert a list of limbs in big endian into a Word
- big_
sig0 - Big sigma_0 function from the SHA spec
- big_
sig1 - Big sigma_1 function from the SHA spec
- ch
- Choose function from the SHA spec
- compose
- Composes a list of limb values into a single field element
- constraint_
word_ addition - Constrain the addition of
C::WORD_BITSbit words in 16-bit limbs It takes in the terms some in bits some in 16-bit limbs, the expected sum in bits and the carries - get_
flag_ pt_ array - Wrapper of
get_flag_ptto get the flag pointer as an array - get_
random_ message - Generate a random message of a given length
- le_
limbs_ into_ word - Convert a list of limbs in little endian into a Word
- limbs_
into_ u32 - Convert a list of limbs in little endian into a u32
- maj
- Majority function from the SHA spec
- set_
arrayview_ from_ u8_ slice - set_
arrayview_ from_ u32_ slice - small_
sig0 - Small sigma_0 function from the SHA spec
- small_
sig1 - Small sigma_1 function from the SHA spec
- u32_
into_ bits - Convert a u32 into a list of 1-bit limbs in little endian
- word_
into_ bits - Convert a word into a list of 1-bit limbs in little endian
- word_
into_ limbs - Convert a word into a list of limbs in little endian
- word_
into_ u8_ limbs - Convert a word into a list of 8-bit limbs in little endian
- word_
into_ u16_ limbs - Convert a word into a list of 16-bit limbs in little endian