Struct Sha512Compress 

pub struct Sha512Compress;

compress 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. Every word is a full 64-bit SHA-512 word; there is no lane packing.

Trait Implementations

impl ChipGadget for Sha512Compress

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 Sha512Compress

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

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.