Function ark_linear_sumcheck::gkr_round_sumcheck::initialize_phase_two [−][src]
pub fn initialize_phase_two<F: Field>(
f1_g: &SparseMultilinearExtension<F>,
u: &[F]
) -> DenseMultilinearExtension<F>
Expand description
Takes multilinear f1 fixed at g, phase one randomness u. Returns f1 fixed at g||u