Function hacspec_halo2::step_25

pub(crate) fn step_25(
    p_prime: Polyx,
    L_blinding: Polyx,
    R_blinding: Polyx,
    p_prime_blind: FpVesta,
    u: Polyx
) -> (FpVesta, FpVesta)

Step 25 Get the zeroth entry in p and synthetic blinding factor f

Arguments

• p_prime - p’ from step_24
• L_blinding - the blinding used for L in step 24
• R_blinding - the blinding used for R in step 24
• p_prime_blind - the the accumulated blinding from step 23
• u - u challenges from 24