Function hacspec_halo2::step_12

pub(crate) fn step_12(
    n_a: u128,
    x1: FpVesta,
    h_prime: Polyx,
    r: Polyx,
    a_prime: Seq<Polyx>,
    q: Seq<Seq<u128>>,
    sigma_list: Seq<u128>,
    a_blinds: Polyx,
    r_blind: FpVesta,
    h_prime_blind: FpVesta
) -> (Seq<Polyx>, Polyx)

Step 12 Get the list of q’s (q_0, …, q_{n_q - 1}) and q_blinds (accumulated blindness)

Arguments

• n_a - n_a from the protocol
• x1 - challenge 1
• h_prime - h’, the computed polynomial from step_8
• r - the “random” polynomial from [step_3]
• a_prime - a’, the list of univariate polys from [step_1]
• q - q, from the protocol
• sigma_list - s.t. q[sigma_list[i]]=p_i (indexing/mapping into q, for p_i)
• a_blind - the blindness used in step 1 for the A_i commitments