Function keccakf

pub fn keccakf(
    builder: &mut ConstraintSystemBuilder<'_>,
    input_witness: &Option<impl AsRef<[KeccakfState]>>,
    log_size: usize,
) -> Result<KeccakfOracles, Error>