Function hacspec_halo2::step_8

source · 
pub(crate) fn step_8(
    h_parts: Seq<Polyx>,
    x: FpVesta,
    n: u128,
    h_blinds: Seq<FpVesta>
) -> (Polyx, FpVesta)
Expand description

Step 8 This functions calculates h’(X) from the h_i parts created in step 5 and the challenge x

Arguments

  • h_parts - Sequence of the h_i parts from step 5
  • x - the challenge from step 5
  • n - n from the protocol