pub fn groestl_p_permutation<U, F>(
builder: &mut ConstraintSystemBuilder<'_, U, F>,
log_size: usize,
) -> Result<[OracleId; 64]>where
U: PackScalar<F> + PackScalar<BinaryField1b> + PackScalar<AESTowerField8b> + Pod,
F: TowerField + ExtensionField<AESTowerField8b>,
PackedType<U, F>: Pod,