Function ark_linear_sumcheck::gkr_round_sumcheck::initialize_phase_one [−][src]
pub fn initialize_phase_one<F: Field>(
f1: &SparseMultilinearExtension<F>,
f3: &DenseMultilinearExtension<F>,
g: &[F]
) -> (DenseMultilinearExtension<F>, SparseMultilinearExtension<F>)
Expand description
Takes multilinear f1, f3, and input g = g1,…,gl. Returns h_g, and f1 fixed at g.