Skip to main content

sha3_512

binius_circuits::sha3::fixed_length

Function sha3_512 

Source 
pub fn sha3_512(
    builder: &CircuitBuilder,
    message: &[Wire],
    len_bytes: usize,
) -> [Wire; 8]
Expand description

Computes the SHA3-512 digest of a fixed-length message.

§Arguments

  • builder - Circuit builder for constructing constraints.
  • message - Input message as packed 64-bit words, 8 bytes per wire, little-endian.
  • len_bytes - The exact length of the message in bytes.

§Returns

The digest as 8 little-endian 64-bit words.

§Panics

  • If the message wire count does not equal the message length divided into 64-bit words, rounded up.