pub fn compress(
builder: &mut ConstraintSystemBuilder<'_>,
name: impl ToString,
chaining_value: &[OracleId; 8],
block_words: &[OracleId; 16],
counter: u64,
block_len: u32,
flags: u32,
log_size: usize,
) -> Result<[OracleId; 16], Error>