Function binius_core::protocols::sumcheck_v2::verify::interpolate_round_proof

pub fn interpolate_round_proof<F: Field>(
    round_proof: RoundProof<F>,
    sum: F,
    challenge: F
) -> F