Function hacspec_halo2::step_24

pub(crate) fn step_24(
    p_prime_poly: Polyx,
    G: Seq<G1_pallas>,
    x3: FpVesta,
    z: FpVesta,
    U: G1_pallas,
    W: G1_pallas,
    n: u128,
    k: usize,
    u: Polyx,
    L_blinding: Polyx,
    R_blinding: Polyx
) -> (Polyx, Seq<G1_pallas>, Polyx, Seq<G1_pallas>, Seq<G1_pallas>, Polyx, Polyx)

Step 24 Get G‘, p’, b, L, R, and {L,R} blinds

Arguments

• p_prime_poly - the polynomial p’(X) from step_23
• G - the vector of group elems from public-params
• x3 - the challenge from step_15
• z - the challenge from step_21
• U - the group elem U from public-params
• W - the group elem U from public-params
• n - n from the protocol preamble
• k - k from the protocol preamble
• u - the list of u_j challenges from the verifier
• L_blinding - the list of blinding to be used for L_j
• R_blinding - the list of blinding to be used for R_j

Returns

• p_prime - Seq<Fp>
• G_prime - Seq<G1>
• b - Seq<Fp>
• L - Seq<G1> the sequence of all L_j
• R - Seq<G1> the sequence of all R_j
• L_blinding- Seq<Fp> the sequence of blinding used for L_j
• R_blinding- Seq<Fp> the sequence of blinding used for R_j