Function hacspec_halo2::step_23

source ·
pub(crate) fn step_23(
    p: Polyx,
    s: Polyx,
    x3: FpVesta,
    xi: FpVesta,
    p_blind: FpVesta,
    s_blind: FpVesta
) -> (Polyx, FpVesta)
Expand description

Step 23 Get the p’(X) polynomial and p’ blindness

Arguments

  • p - the polynomial p from step 19
  • s - the polynomial s from step 20
  • x3 - the challenge from step 15
  • xi - the ξ challenge from step 21
  • p_blind - the blindness from step 19
  • s_blind - the blindness from step 20