Function hacspec_halo2::step_11

pub(crate) fn step_11(
    n_a: u128,
    x1: FpVesta,
    x2: FpVesta,
    H_prime: G1_pallas,
    R: G1_pallas,
    a: Seq<G1_pallas>,
    q: Seq<Seq<u128>>,
    sigma_list: Seq<u128>
) -> (Seq<G1_pallas>, FpVesta, FpVesta)

Step 11 Get the list of Q’s (Q_0, …, Q_{n_q - 1})

Arguments

• n_a - n_a from the protocol
• x1 - challenge 1
• x2- challange 2
• H_prime - H’, the computed sum from step 7
• R - R, commitment from step 3
• a - A, the list of hiding commitments for a_i’s
• q - q, from the protocol
• sigma_list - s.t. q[sigma_list[i]]=p_i (indexing/mapping into q, for p_i)