Function test_chunk_hinted_square

bitvm/src/chunk/taps_mul.rs:499–557

()

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

        let (hint_out, input_is_valid, h_scr, mul_hints) = chunk_fq12_square(f_n.c1);
        assert_eq!(h_n.c1, hint_out);
        assert!(input_is_valid);

        let f_n_c1 = DataType::Fp6Data(f_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 h6_hints = h_n_c1.to_witness(ElementType::Fp6);
        preimage_hints.extend_from_slice(&f6_hints);
        preimage_hints.extend_from_slice(&h6_hints);

        let bitcom_scr = script! {
            {hint_out.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])}
            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));
            }
        }
        assert!(!res.success);
        assert!(res.final_stack.len() == 1);
        println!(
            "chunk_fq12_square disprovable(false) script {} stack {:?}",
            tap_len, res.stats.max_nb_stack_items
        );