Function hacspec_halo2::step_7

source · 
pub(crate) fn step_7(
    commitment_seq: Seq<G1_pallas>,
    x: FpVesta,
    n: u128
) -> G1_pallas
Expand description

Step 7 Computes the sum from step 7 in the protocol description

Arguments

  • commitment_seq - is a sequence of commitments
  • x - is the challenge each commitment should be multiplied with
  • n - Global parameter for the prooving system