Function bit_ring_switch_error 

pub fn bit_ring_switch_error(
    num_reductions: usize,
    absorbed_log: usize,
    surviving_variables: usize,
    field_bits: usize,
) -> ErrorBits

Error of reducing claims about a bit witness to claims about the elements packing it.

The single-tensor case of bit_ring_switch_tensors_error, with num_tensors = 1.

    error = (absorbed_log + 2 * surviving) / |F|

Arguments

• num_reductions: points reduced, one reduction each.
• absorbed_log: log of the bits one packed element holds.
• surviving_variables: variables the packed multilinear has.
• field_bits: bit width of the field the challenges are drawn from.