Function test_tap_precompute_p_from_hash

bitvm/src/chunk/taps_ext_miller.rs:705–757

()

    #[test]
    fn test_tap_precompute_p_from_hash() {
        // runtime
        let mut prng = ChaCha20Rng::seed_from_u64(0);
        let p1 = ark_bn254::G1Affine::rand(&mut prng);
        let p2 = ark_bn254::G1Affine::new_unchecked(ark_bn254::Fq::ONE, ark_bn254::Fq::ZERO);
        let p3 = ark_bn254::G1Affine::new_unchecked(ark_bn254::Fq::ZERO, ark_bn254::Fq::ZERO);
        let p4 = ark_bn254::G1Affine::new_unchecked(p1.x, p1.x);
        let dataset = vec![(p1, false), (p2, true), (p3, true), (p4, true)];

        for (p, disprovable) in dataset {
            let (hint_out, input_is_valid, tap_prex, hint_script) = chunk_precompute_p_from_hash(p);
            assert_eq!(input_is_valid, !disprovable);
            let hint_out = DataType::G1Data(hint_out);
            let p = DataType::G1Data(p);

            let bitcom_scr = script! {
                {hint_out.to_hash().as_hint_type().push()}
                {Fq::toaltstack()}
                {p.to_hash().as_hint_type().push()}
                {Fq::toaltstack()}
            };
            let preim_hints = p.to_witness(ElementType::G1);
            let hash_scr = script! {
                {hash_messages(vec![ElementType::G1, ElementType::G1])}
                OP_TRUE
            };

            let tap_len = tap_prex.len();
            let script = script! {
                for h in hint_script {
                    { h.push() }
                }
                for h in preim_hints {
                    {h.push()}
                }
                {bitcom_scr}
                {tap_prex}
                {hash_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));
                }
            }
            assert_eq!(res.success, disprovable);
            assert!(res.final_stack.len() == 1);
            println!(
                "chunk_precompute_p_from_hash disprovable({}) script {} stack {}",
                disprovable, tap_len, res.stats.max_nb_stack_items
            );
        }
    }

    #[test]
    fn test_tap_verify_fp12_is_unity() {