Function hacspec_halo2::step_10

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

Step 10 This function initializes the s sequence of length n_a and fills it with polynomials of degree n_e-1 made with legrange interpolation

Arguments

  • omega - omega from the protocol
  • p - the p list from the protocol
  • x - the challenge from step 7
  • a - the sequence of sequences from step 9