Module sha256_bit_decomp 

Implementation of SHA-256 circuit using bitwise decomposition

Structs

CommittedCarryAdder

An adder that just checks the carry bits instead of explicitly computing it through Ripple Carry Adder.

CompressionFn

Computes the single round of compression function

CompressionFnRoundCarries 🔒

HConstants

The Initial IV of SHA

KeySchedule

The Constant KeySchedule

MessageSchedule

Represents the 64 rounds of message schedule. Each Round consists of 32 Wires where the first 16 rounds are identity gates, and the rest are computed as per the spec

MessageScheduleAdderTree 🔒

MessageScheduleState 🔒

Sha256

Sha256 State for multi word computation

Sha256State 🔒

Constants

WORD_SIZE

SHA256 Works with word size 32

Functions

add_get_carry_bits_lsb 🔒

add_get_carry_bits_msb 🔒

carry_name_counter 🔒

sha256_padded_input 🔒

Type Aliases

Sha256Adder

Specific adder for SHA256

Sigma0

See https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.180-4.pdf for details about constants Sigma0 of SHA-256

Sigma1

Sigma0 of SHA-256

SmallSigma0

Little Sigma0

SmallSigma1

Little Sigma1