Function hacspec_halo2::step_14

pub(crate) fn step_14(
    crs: &(Seq<G1_pallas>, G1_pallas),
    x2: FpVesta,
    q_polys: Seq<Polyx>,
    r_polys: Seq<Polyx>,
    q: Seq<Seq<u128>>,
    blinding: FpVesta,
    omega: FpVesta,
    x: FpVesta
) -> (G1_pallas, Polyx, FpVesta)

Step 14 Get the commitment Q’, poly q’ and the blindness used

Arguments

• crs - the common reference string
• x2 - the challenge from step 11
• q_polys - the q polynomials from step 12
• r_polys - the r polynomials from step 13
• q - q, from the protocol
• blinding - randomness for commiting
• x - the challenge from step 7