Function run_winternitz_test

bitvm/src/signatures/winternitz.rs:783–816

(
        ps: &Parameters,
        secret_key: &SecretKey,
        public_key: &PublicKey,
        message: &[u8],
        message_checker: Script,
        desired_outcome: bool,
    )

    }

    fn run_winternitz_test<VERIFIER: Verifier, CONVERTER: Converter>(
        ps: &Parameters,
        secret_key: &SecretKey,
        public_key: &PublicKey,
        message: &[u8],
        message_checker: Script,
        desired_outcome: bool,
    ) {
        let o = Winternitz::<VERIFIER, CONVERTER>::new();
        let standard_script = script! {
            { o.sign(ps, secret_key, message) }
            if desired_outcome == false {
                 { try_malicious(ps, message, &get_type_name::<VERIFIER>()) }
            }
            { o.checksig_verify(ps, &public_key) }
        };

        println!(
            "For message_digit_len: {} and log2_base: {} {} with {} =>",
            ps.message_digit_len,
            ps.log2_base,
            get_type_name::<VERIFIER>(),
            get_type_name::<CONVERTER>()
        );
        test_script(ps, standard_script, message_checker, desired_outcome);
        if desired_outcome == true {
            let message_remove_script = script! {
                { o.sign(ps, secret_key, message) }
                { o.checksig_verify_and_clear_stack(ps, public_key) }
                OP_TRUE
            };
            assert!(execute_script(message_remove_script).success == true);
        }
    }

    #[test]
    fn test_winternitz_with_actual_message_success() {