Function hacspec_halo2::step_19

pub(crate) fn step_19(
    x4: FpVesta,
    q_prime: Polyx,
    q_polys: Seq<Polyx>,
    q_blinds: Polyx,
    q_prime_blind: FpVesta
) -> (Polyx, FpVesta)

Step 19 Get the p(X) polynomial

Arguments

• x4 - the challenge from step 17
• q_prime - the q’ polynomial computed by the prover in step 14
• q_polys - the q polynomials from step 12
• q_blinds - the blinds from step 12
• q_prime_blind - the blinding from step 14