Function hacspec_halo2::step_16

source · 
pub(crate) fn step_16(n_q: u128, x3: FpVesta, q_polys: Seq<Polyx>) -> Polyx
Expand description

Step 16 Get the u ∈ F^{n_q} vector

Arguments

  • n_q - n_q from the protocol
  • x3 - the challenge from step 15
  • q_polys - the q polynomials from step 12