Struct Sha256Compress2x 

pub struct Sha256Compress2x;

sha256_compress_2x as a gadget, so that a circuit can make it a chip.

Its interface is the flat 24 input words state[0..8], m[0..16], and the 8 output state words, all packing two lanes as sha256_compress_2x documents.

Trait Implementations

impl ChipGadget for Sha256Compress2x

fn build( &self, builder: &CircuitBuilder, _dimensions: &[usize], inputs: &[Wire], ) -> Vec<Wire>

Emits the gadget’s gates, returning the outputs its shape declares.

impl Hint for Sha256Compress2x

const NAME: &'static str = "binius.sha256_compress_2x"

Globally unique name for this hint, which the registry hashes into its key.

fn shape(&self, _dimensions: &[usize]) -> (usize, usize)

Compute the gate’s input/output arity as a function of dimensions.

fn execute(&self, _dimensions: &[usize], inputs: &[Word], outputs: &mut [Word])

Compute the hint’s outputs from its inputs at witness-generation time.