Function hacspec_halo2::step_13

pub(crate) fn step_13(
    n: u128,
    omega: FpVesta,
    x: FpVesta,
    x1: FpVesta,
    r: FpVesta,
    s: Seq<Polyx>,
    q: Seq<Seq<u128>>,
    sigma_list: Seq<u128>,
    a: Seq<Polyx>,
    g_prime: Polyx
) -> Seq<Polyx>

Step 13 Get the list of r’s (r_0, …, r_{n_q - 1})

Arguments

• n - n from the protocol
• omega - omega from the protocol
• x - the challenge from step 7
• x1 - the challenge from step 11
• r - r from step 9
• s - s, the computed polynomials from step 10
• q - q, from the protocol
• sigma_list - s.t. q[sigma_list[i]]=p_i (indexing/mapping into q, for p_i)
• a - a, the list of evaluations from step 9
• g_prime - the polynomial from step 2