pub fn vision_permutation<U, F>(
builder: &mut ConstraintSystemBuilder<'_, U, F>,
log_size: usize,
p_in: [OracleId; 24],
) -> Result<[OracleId; 24]>where
U: UnderlierType + Pod + PackScalar<F> + PackScalar<BinaryField1b> + PackScalar<BinaryField32b> + PackScalar<BinaryField64b>,
F: TowerField + ExtensionField<BinaryField64b> + ExtensionField<BinaryField32b>,
PackedType<U, BinaryField32b>: Pod,