Function hacspec_halo2::step_20

source · 
pub(crate) fn step_20(
    s: Polyx,
    crs: (Seq<G1_pallas>, G1_pallas),
    r: FpVesta
) -> (G1_pallas, FpVesta)
Expand description

Step 20 Get the commitment S and the blindness used

Arguments

  • s - a randomly sampled poly (degree n-1) with a root at x3 from step_15
  • crs - the common reference string
  • r - randomness for commiting