Function ark_linear_sumcheck::gkr_round_sumcheck::start_phase2_sumcheck [−][src]
pub fn start_phase2_sumcheck<F: Field>(
f1_gu: &DenseMultilinearExtension<F>,
f3: &DenseMultilinearExtension<F>,
f2_u: F
) -> ProverState<F>
Expand description
Takes f1 fixed at g||u, f3, and f2 evaluated at u.