fn round_1_randomized_air_with_preprocessing(
        air: &A,
        main_trace: &TraceTable<A::Field>,
        domain: &Domain<A::Field>,
        transcript: &mut impl IsTranscript<A::FieldExtension>,
    ) -> Result<Round1<A>, ProvingError>
    where
        FieldElement<A::Field>: AsBytes + Send + Sync,
        FieldElement<A::FieldExtension>: AsBytes + Send + Sync,
    {
        // evaluations are LED evaluations of the main trace polynomials
        let (trace_polys, evaluations, main_merkle_tree, main_merkle_root) =
            Self::interpolate_and_commit::<A::Field>(main_trace, domain, transcript);

        let main = Round1CommitmentData::<A::Field> {
            trace_polys,
            lde_trace_merkle_tree: main_merkle_tree,
            lde_trace_merkle_root: main_merkle_root,
        };

        let rap_challenges = air.build_rap_challenges(transcript);

    fn composition_poly_degree_bound(&self) -> usize {
        2 * self.trace_length
    }