Function query_table

bitvm/src/bn254/msm.rs:185–198

Given a precomputed table of some table index Lookup a_i-th row and return result The result is a G1Affine element corresponding to [a_i] (2^(w.i) P)

(
    table: (Vec<ark_bn254::G1Affine>, Script),
    row_index: (usize, Script),
)

// Lookup a_i-th row and return result
// The result is a G1Affine element corresponding to [a_i] (2^(w.i) P)
fn query_table(
    table: (Vec<ark_bn254::G1Affine>, Script),
    row_index: (usize, Script),
) -> (ark_bn254::G1Affine, Script) {
    let row = table.0[row_index.0];
    let scr = script! {
        // [scalar]
        {row_index.1}
        // [scalar slice] => a_i
        {table.1}
        // [a_i] (2 ^ (w.i) P)
    };
    (row, scr)
}

/// Compute: Sum of [a_i] (2^ (wi) P) for i = 0..N, N is the number of terms in addition chain
/// BATCH_SIZE_PER_CHUNK such terms are batached inside a chunk