Crate openvm_sha256_circuit

Crate openvm_sha256_circuit 

Source

Re-exports§

pub use Sha256Rv32GpuBuilder as Sha256Rv32Builder;

Structs§

Sha2CpuProverExt
Sha256
Sha256GpuProverExt
Sha256ProverExt
Sha256Rv32Config
Sha256Rv32CpuBuilder
Sha256Rv32GpuBuilder
Sha256VmAir
Sha256VmAir does all constraints related to message padding and the Sha256Air subair constrains the actual hash
Sha256VmChipGpu
Sha256VmControlCols
These are the columns that are used on both round and digest rows
Sha256VmDigestCols
Sha256VmExecutor
Sha256VmFiller
Sha256VmMetadata
Sha256VmRecordHeader
Sha256VmRecordMut
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
Sha256Rv32ConfigExecutor

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_MAX_MESSAGE_LEN
Maximum message length that this chip supports in bytes
SHA256_NUM_READ_ROWS
Number of rows we will do a read on for each SHA256 block

Functions§

sha256_solve

Type Aliases§

Sha256VmChip