Function test_utils_fq12_dd_mul_valid_data

bitvm/src/chunk/taps_mul.rs:560–623

()

    #[test]
    fn test_utils_fq12_dd_mul_valid_data() {
        let mut prng = ChaCha20Rng::seed_from_u64(0);
        let f = ark_bn254::Fq12::rand(&mut prng);
        let f_n = ark_bn254::Fq12::new(ark_bn254::Fq6::ONE, f.c1 / f.c0);

        let g = ark_bn254::Fq12::rand(&mut prng);
        let g_n = ark_bn254::Fq12::new(ark_bn254::Fq6::ONE, g.c1 / g.c0);

        let h = f * g;
        let h_n = ark_bn254::Fq12::new(ark_bn254::Fq6::ONE, h.c1 / h.c0);

        let (hint_out, is_valid_input, h_scr, mul_hints) = utils_fq12_dd_mul(f_n.c1, g_n.c1);
        assert_eq!(h_n.c1, hint_out);
        assert!(is_valid_input);

        let f_n_c1 = DataType::Fp6Data(f_n.c1);
        let g_n_c1 = DataType::Fp6Data(g_n.c1);
        let h_n_c1 = DataType::Fp6Data(h_n.c1);

        let mut preimage_hints = vec![];
        let f6_hints = f_n_c1.to_witness(ElementType::Fp6);
        let g6_hints = g_n_c1.to_witness(ElementType::Fp6);
        let h6_hints = h_n_c1.to_witness(ElementType::Fp6);
        preimage_hints.extend_from_slice(&f6_hints);
        preimage_hints.extend_from_slice(&g6_hints);
        preimage_hints.extend_from_slice(&h6_hints);

        let tap_len = h_scr.len();
        let scr = script! {
            for h in mul_hints {
                {h.push()}
            }
            for h in &preimage_hints {
                {h.push()}
            }
            // [hints, f, g, h]
            {h_scr}
            // [f, g, h, 1]
            OP_VERIFY
            {Fq6::push(hint_out)}
            {Fq6::equalverify()}
            for h in g6_hints.iter().rev() {
                {h.push()}
                {Fq::equalverify(1, 0)}
            }
            for h in f6_hints.iter().rev() {
                {h.push()}
                {Fq::equalverify(1, 0)}
            }
            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);