pub fn keccak_phase1<'v, F: Field>(
    region: &mut Region<'_, F>,
    keccak_table: &KeccakTable,
    bytes: &[u8],
    challenge: Value<F>,
    input_rlcs: &mut Vec<AssignedCell<&'v Assigned<F>, F>>,
    offset: &mut usize
)
Expand description

Computes and assigns the input RLC values (but not the output RLC values: see multi_keccak_phase1).