pub fn verify_batch<C: CircuitConfig<F = SC::Val>, SC: BabyBearFriConfigVariable<C>>(
builder: &mut Builder<C>,
commit: SC::Digest,
dimensions: Vec<Dimensions>,
index_bits: Vec<C::Bit>,
opened_values: Vec<Vec<Vec<Felt<C::F>>>>,
proof: Vec<SC::Digest>,
)