Function test_query_table

bitvm/src/bn254/msm.rs:348–387

()

    #[test]
    fn test_query_table() {
        let mut prng = ChaCha20Rng::seed_from_u64(1);
        let q = ark_bn254::G1Affine::rand(&mut prng);
        let window = WINDOW_G1_MSM as usize;
        let tables = generate_lookup_tables(q, window);
        let num_tables = tables.1.len();
        let table_index = u32::rand(&mut prng) % num_tables as u32;

        let fq = ark_bn254::Fr::rand(&mut prng);

        let (value, slice_scr) = get_query_for_table_index(fq, window, table_index as usize);

        let selected_table = (
            tables.0[table_index as usize].clone(),
            tables.1[table_index as usize].clone(),
        );
        let (row, row_scr) = query_table(selected_table, (value as usize, slice_scr));

        let tap_len = row_scr.len();
        let scr = script! {
            {Fr::push(fq)}
            {row_scr}
            {G1Affine::push(row)}
            {G1Affine::equalverify()}
            OP_TRUE
        };

        let res = execute_script(scr);
        if res.final_stack.len() > 1 {
            for i in 0..res.final_stack.len() {
                println!("{i:} {:?}", res.final_stack.get(i));
            }
        }
        assert!(res.success);
        assert!(res.final_stack.len() == 1);
        println!(
            "tap len {} stack len {}",
            tap_len, res.stats.max_nb_stack_items
        );
    }

    #[test]
    fn test_hinted_msm_with_constant_bases_affine_script() {