pub fn keccakf<U, F>(
builder: &mut ConstraintSystemBuilder<'_, U, F>,
input_witness: Option<impl AsRef<[KeccakfState]>>,
log_size: usize,
) -> Result<KeccakfOracles, Error>where
U: UnderlierType + Pod + PackScalar<F> + PackScalar<BinaryField64b> + PackScalar<BinaryField1b>,
F: TowerField + ExtensionField<BinaryField64b>,