Crate openvm_sha256_circuit

Source

Structs§

Sha256
Sha256Record
Sha256Rv32Config
Sha256VmAir
Sha256VmAir does all constraints related to message padding and the Sha256Air subair constrains the actual hash
Sha256VmChip
Sha256VmControlCols
These are the columns that are used on both round and digest rows
Sha256VmDigestCols
Sha256VmRoundCols
the first 16 rows of every SHA256 block will be of type Sha256VmRoundCols and the last row will be of type Sha256VmDigestCols

Enums§

Sha256Executor
Sha256Periphery
Sha256Rv32ConfigExecutor
Sha256Rv32ConfigPeriphery

Constants§

SHA256VM_CONTROL_WIDTH
Width of the Sha256VmControlCols
SHA256VM_DIGEST_WIDTH
Width of the Sha256VmDigestCols
SHA256VM_ROUND_WIDTH
Width of the Sha256VmRoundCols
SHA256VM_WIDTH
Width of the Sha256Cols
SHA256_BLOCK_CELLS
Number of rv32 cells read in a SHA256 block
SHA256_NUM_READ_ROWS
Number of rows we will do a read on for each SHA256 block

Functions§

sha256_solve