pub const AUX_TRACE_RAND_CHALLENGES: usize = 2;
Number of random challenges used for auxiliary trace constraints.