Function ring_target 

pub fn ring_target<F>(
    layout: &SlotLayout,
    claims: &[Flat<F>],
    eta_tower: F,
    rho: &[F],
    r_mix: &[Block128],
    shifted_claims: bool,
) -> Result<Block128, Error>
where
    F: HardwareField + Into<Block128>,

Reconstructs the sumcheck’s initial claim from the claimed virtual evals, in the tower basis. Under its layout weight w a ring unit contributes w·Σ_u eq(r'',u) ŝ_u, a whole unit w·c'.