Function hacspec_halo2::step_9

source · 
pub(crate) fn step_9(
    r: Polyx,
    a_prime_seq: Seq<Polyx>,
    omega: FpVesta,
    p: Seq<Seq<u128>>,
    x: FpVesta
) -> (FpVesta, Seq<Polyx>)
Expand description

Step 9 This functions returns r(x) and creates a seq filled with a_i from the second part of step 9

Arguments

  • r - the polynomial from step 3
  • a_prime_seq - A sequence of the a’ polynomials from step 1
  • omega - The generator for the evaluations points also a global parameter for the protocol
  • p - a list of sets p_i which contains integers from the protocol
  • x - The challenge from step 7