pub fn proof_evaluation_to_absorption_sequence<F: FieldWitness>(
e: &ProofEvaluations<PointEvaluations<Vec<F>>>,
) -> Vec<&PointEvaluations<Vec<F>>>
pub fn proof_evaluation_to_absorption_sequence<F: FieldWitness>(
e: &ProofEvaluations<PointEvaluations<Vec<F>>>,
) -> Vec<&PointEvaluations<Vec<F>>>