fn all_trace_polys(&self) -> Vec<Polynomial<FieldElement<A::FieldExtension>>> {
        let mut trace_polys: Vec<_> = self
            .main
            .trace_polys
            .clone()
            .into_iter()
            .map(|poly| poly.to_extension())
            .collect();

        if let Some(aux) = &self.aux {
            trace_polys.extend_from_slice(&aux.trace_polys.to_owned())
        }
        trace_polys
    }
Returns the full list of the polynomials interpolating the trace. It includes both
main and auxiliary trace polynomials. The main trace polynomials are casted to
polynomials with coefficients over `Self::FieldExtension`.
crates/provers/stark/src/prover.rs