pub fn claim_weights<F>(
plan: &RingSwitchPlan,
eta_tower: F,
shifted_claims: bool,
) -> Vec<(bool, Block128)>Expand description
Per-claim weight a_c such that
ring_target = Σ_c a_c · (ring ? φ_{r''}(c_c) : c_c),
with φ_{r''}(x) = Σ_u eq(r'',u)·bit_u(x).