Function test_chunk_dense_dense_mul_numerator_zero

bitvm/src/chunk/taps_mul.rs:780–844

()

    #[test]
    fn test_chunk_dense_dense_mul_numerator_zero() {
        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_n = ark_bn254::Fq12::new(ark_bn254::Fq6::ONE, -f.c1 / f.c0);

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

        let (hint_out, is_invalid_input, h_scr, mul_hints) = chunk_dense_dense_mul(f_n.c1, g_n.c1);
        assert!(is_invalid_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 hint_out = DataType::Fp6Data(hint_out);

        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 bitcom_scr = script! {
            {hint_out.to_hash().as_hint_type().push()}
            {Fq::toaltstack()}
            {g_n_c1.to_hash().as_hint_type().push()}
            {Fq::toaltstack()}
            {f_n_c1.to_hash().as_hint_type().push()}
            {Fq::toaltstack()}
        };

        let hash_scr = script! {
            {hash_messages(vec![ElementType::Fp6, ElementType::Fp6, ElementType::Fp6])}
            OP_TRUE
        };

        let tap_len = h_scr.len() + hash_scr.len();
        let scr = script! {
            for h in mul_hints {
                {h.push()}
            }
            for h in preimage_hints {
                {h.push()}
            }
            {bitcom_scr}
            {h_scr}
            {hash_scr}
        };
        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));
            }
        }