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 19s
- the polynomial s from step 20x3
- the challenge from step 15xi
- the ξ challenge from step 21p_blind
- the blindness from step 19s_blind
- the blindness from step 20