Function binius_core::protocols::sumcheck_v2::verify::interpolate_round_proof
source · pub fn interpolate_round_proof<F: Field>(
round_proof: RoundProof<F>,
sum: F,
challenge: F
) -> F