Function test_tap_verify_fp12_is_unity

bitvm/src/chunk/taps_ext_miller.rs:760–825

()

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

        let q4 = ark_bn254::G2Affine::rand(&mut prng);
        let t = frob_q_power(q4, 3).neg();
        let t4 = ElemG2Eval {
            t,
            p2le: [ark_bn254::Fq2::ONE; 2],
            one_plus_ab_j_sq: ark_bn254::Fq6::ONE,
            a_plus_b: [ark_bn254::Fq2::ONE; 2],
        };

        let (is_valid, tap_scr, mut hint_script) = chunk_final_verify(f.c1, g.c1, t4.t, q4);
        assert!(is_valid);

        let f_c1 = DataType::Fp6Data(f.c1);
        let t4 = DataType::G2EvalData(t4);

        // [f, t]
        hint_script.extend_from_slice(&f_c1.to_witness(ElementType::Fp6));
        hint_script.extend_from_slice(&t4.to_witness(ElementType::G2EvalPoint));

        let bitcom_scr = script! {
            // thash
            {t4.to_hash().as_hint_type().push()}
            {Fq::toaltstack()}
            // fhash
            {f_c1.to_hash().as_hint_type().push()}
            {Fq::toaltstack()}

            {Fq::push(q4.y.c1)}
            {Fq::toaltstack()}
            {Fq::push(q4.y.c0)}
            {Fq::toaltstack()}
            {Fq::push(q4.x.c1)}
            {Fq::toaltstack()}
            {Fq::push(q4.x.c0)}
            {Fq::toaltstack()}
        };

        let tap_len = tap_scr.len();
        let script = script! {
            for h in hint_script {
                { h.push() }
            }
            {bitcom_scr}
            {tap_scr}
        };
        let res = execute_script(script);
        if res.final_stack.len() > 1 {
            for i in 0..res.final_stack.len() {
                println!("{i:} {:?}", res.final_stack.get(i));
            }