Function hacspec_halo2::step_22

source · 
pub(crate) fn step_22(
    p: G1_pallas,
    g0: G1_pallas,
    s: G1_pallas,
    v: FpVesta,
    xi: FpVesta
) -> G1_pallas
Expand description

Step 22 Get the P’ curve-point/group-element

Arguments

  • p - the group element from step 18
  • g0 - the group element at index zero in G from pp
  • s - the group element/commitment from step 20
  • v - v as calculated in step 18
  • xi - the ξ challenge from step 21