pub fn ring_batch_b(bit_claims: &[Block128], eq_mix: &[Block128]) -> Block128
Σ_u eq(r’’,u)·ŝ_u for one ring unit, ŝ_u = Σ_v bit_u(c_v)·2^v.