Function ark_linear_sumcheck::gkr_round_sumcheck::start_phase1_sumcheck [−][src]
pub fn start_phase1_sumcheck<F: Field>(
h_g: &DenseMultilinearExtension<F>,
f2: &DenseMultilinearExtension<F>
) -> ProverState<F>
Expand description
Takes h_g and returns a sumcheck state