binius_core::protocols::sumcheck::verify

Function interpolate_round_proof

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