pub fn keccak_phase0<F: Field>(
    rows: &mut Vec<KeccakRow<F>>,
    squeeze_digests: &mut Vec<[F; 4]>,
    bytes: &[u8]
)
Expand description

Witness generation in FirstPhase for a keccak hash digest without computing RLCs, which are deferred to SecondPhase.