Function hacspec_halo2::step_26

pub(crate) fn step_26(
    u: Polyx,
    L: Seq<G1_pallas>,
    P_prime: G1_pallas,
    R: Seq<G1_pallas>,
    c: FpVesta,
    G_prime_0: G1_pallas,
    b_0: FpVesta,
    z: FpVesta,
    U: G1_pallas,
    f: FpVesta,
    W: G1_pallas
) -> bool

Step 26 Verifiers final check of the protocol

Arguments

• u - Sequence of u_j from step 24
• L - Sequence of L_j from step 24
• P_prime - from step 22
• R - Sequence of R_j from step 24
• c - from step 25
• G_prime_0 - the first entry in the G_prime sequence from step 24
• b_0 - the first entry in the b sequence from step 24
• z - the challenge from step 21
• U - from public parameters
• f - blinding factor from step 25
• W - from public parameters