Function hacspec_halo2::step_18

source · 
pub(crate) fn step_18(
    x: FpVesta,
    x1: FpVesta,
    x2: FpVesta,
    x3: FpVesta,
    x4: FpVesta,
    omega: FpVesta,
    Q_prime: G1_pallas,
    Q: Seq<G1_pallas>,
    u: Polyx,
    r: Seq<Polyx>,
    q: Seq<Seq<u128>>
) -> (G1_pallas, FpVesta)
Expand description

Step 18 Get P and the v

Arguments

  • x - challenge from step 7
  • x1 - challenge from step 11
  • x2 - challenge from step 11
  • x3 - challenge from step 15
  • x4 - challenge from step 17
  • omega - omega from the protocol
  • Q_prime - commitment from step 14
  • Q - list of group-elements from step 11
  • u - list of scalars from step 16
  • r - list of polynomials from step 13
  • q - q, from the protocol