Function compress 

pub fn compress(
    builder: &CircuitBuilder,
    state_in: State,
    m: [Wire; 16],
) -> State

SHA-512 compression function.

Builds a circuit that updates the chaining state with one 1024-bit message block. Returns the next chaining state.

Chips

This is a ChipGadget. A circuit that calls register_chip with Sha512Compress before building turns every compression under it into a chip call, including the ones sha512_fixed and sha512_varlen reach.