Function hacspec_halo2::calculate_L_or_R

pub(crate) fn calculate_L_or_R(
    p_part: Polyx,
    b_part: Polyx,
    g_part: Seq<G1_pallas>,
    z: FpVesta,
    U: G1_pallas,
    W: G1_pallas,
    blinding: FpVesta
) -> G1_pallas

Auxilary function for computing L_j or R_j in step 24

Arguments

• p_part - $p’{hi}$ for L or $p’{lo}$ for R
• b_part - $b_{lo}$ for L or $b_{hi}$ for R
• g_part - $g’{lo}$ for L or $g’{hi}$ for R
• z - the challenge z from step 21
• U - group element U from pp
• W - group element W from pp