Function build_batched_ace_circuit 

pub fn build_batched_ace_circuit<A, EF>(
    air: &A,
    config: AceConfig,
    batch_config: &ReducedAuxBatchConfig,
) -> Result<AceCircuit<EF>, AceError>
where
    A: LiftedAir<Felt, EF>,
    EF: ExtensionField<Felt>,
    SymbolicExpressionExt<Felt, EF>: Algebra<EF>,

Build a batched ACE circuit for the provided AIR.

This is the highest-level entry point for building the ACE circuit for Miden VM AIR. It builds the constraint-evaluation DAG, extends it with the auxiliary trace boundary checks and emits the off-VM circuit representation.

The output circuit checks: constraint_check + gamma * product_check + gamma^2 * sum_check = 0