Function test_chunk_frob_fp12

bitvm/src/chunk/taps_ext_miller.rs:501–567

()

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

        for (power, should_corrupt_output_hash) in [
            (1, true),
            (2, true),
            (3, true),
            (1, false),
            (2, false),
            (3, false),
        ] {
            // data points
            let (hout, input_is_valid, hout_scr, hout_hints) = chunk_frob_fp12(f_n.c1, power);
            assert!(input_is_valid);
            let hout = DataType::Fp6Data(hout);
            let f_n_c1_elem = DataType::Fp6Data(f_n.c1);

            let mut output_hash = hout.to_hash();
            if should_corrupt_output_hash {
                if let CompressedStateObject::Hash(r) = output_hash {
                    let random_hash = extern_hash_nibbles(vec![r, r]);
                    output_hash = CompressedStateObject::Hash(random_hash);
                }
            }
            let bitcom_scr = script! {
                {output_hash.as_hint_type().push()}
                {Fq::toaltstack()}
                {f_n_c1_elem.to_hash().as_hint_type().push()}
                {Fq::toaltstack()}
            };

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

            let tap_len = hash_scr.len() + hout_scr.len();

            let scr = script! {
                for h in hout_hints {
                    {h.push()}
                }
                for h in f_n_c1_elem.to_witness(ElementType::Fp6) {
                    {h.push()}
                }
                {bitcom_scr}
                {hout_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));
                }
            }