Function hacspec_halo2::step_6

source · 
pub(crate) fn step_6(
    poly_parts: Seq<Polyx>,
    crs: &(Seq<G1_pallas>, G1_pallas),
    blindings: Polyx
) -> Seq<G1_pallas>
Expand description

Step 6 commit to each h_i polynomial keeping them in the seq to peserve the power (i)

Arguments

  • poly_parts - A sequence of polynomials to be commited to
  • crs - Commen Refernce Struct (Global variable for prooving system)
  • blindings - Sequence of random elements used as blinding factors

Constraints

  • blindings should be at least as long as the poly_parts