BIP0322_verification.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "750da738",
   "metadata": {},
   "source": [
    "# BIP0322 Verification\n",
    "\n",
    "Initially this is just attempting to verify the test vectors provided in BIP0322"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "27894f77",
   "metadata": {},
   "source": [
    "### Simple Signature\n",
    "\n",
    "\n",
    "From the BIP-0322:\n",
    "\n",
    "`A simple signature consists of a witness stack, consensus encoded as a vector of vectors of bytes, and base64-encoded. Validators should construct to_spend and to_sign as defined below, with default values for all fields except that`"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "740d6374",
   "metadata": {},
   "source": [
    "### Test Vector Sig\n",
    "\n",
    "This signature is the test vector taken from [bip0322](https://github.com/bitcoin/bips/blob/master/bip-0322.mediawiki#message-signing).\n",
    "\n",
    "**Currently unable to get this to verify.**\n",
    "\n",
    "**It appears this is a mistake. It is not the test vector they use in the Bitcoin core P.R. tests**"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 53,
   "id": "eae941be",
   "metadata": {},
   "outputs": [],
   "source": [
    "simple_signature = 'AkcwRAIgG3PASL/vRTgAqogWT6S8rUOQXNnfRzX6JncmbFlHc1ACIGQdsW+rnVmsQzyAYRQisHKFMigDmKiL7LUw4x17Fw5tASECx/EgAxlkQpQ9hYjgGu6EBCPMVPwVIVJqO4XCsMvViHI='"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "bbd4f285",
   "metadata": {},
   "source": [
    "### Produced Sig\n",
    "\n",
    "This signature was produced in the [BIP0322_signing](http://localhost:8888/notebooks/BIP0322_signing.ipynb) notebook. Currently it is this signature that verifies against the message and signing address.\n",
    "\n",
    "**Note: It seems likely I am just replicating the same mistake across both notebooks?**"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 54,
   "id": "5cb63d95",
   "metadata": {},
   "outputs": [],
   "source": [
    "produced_sig = 'AkgwRQIhAOzyynlqt93lOKJr+wmmxIens//zPzl9tqIOua93wO6MAiBi5n5EyAcPScOjf1lAqIUIQtr3zKNeavYabHyR8eGhowEhAsfxIAMZZEKUPYWI4BruhAQjzFT8FSFSajuFwrDL1Yhy'"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "6c75e7ee",
   "metadata": {},
   "source": [
    "### Signing Address"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 55,
   "id": "e7397d71",
   "metadata": {},
   "outputs": [],
   "source": [
    "# Test vector taken from the bip\n",
    "address = 'bc1q9vza2e8x573nczrlzms0wvx3gsqjx7vavgkx0l'"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "6d4a514c",
   "metadata": {},
   "source": [
    "### Message Signed"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 56,
   "id": "39505d18",
   "metadata": {},
   "outputs": [],
   "source": [
    "from buidl.hash import tagged_hash\n",
    "from buidl.helper import hash256\n",
    "message = b\"Hello World\"\n",
    "tag = b\"BIP0322-signed-message\"\n",
    "\n",
    "tagged_hash = tagged_hash(tag,message)\n",
    "\n",
    "test_vector = 'f0eb03b1a75ac6d9847f55c624a99169b5dccba2a31f5b23bea77ba270de0a7a'\n",
    "assert(test_vector == tagged_hash.hex())"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "a73a62f3",
   "metadata": {},
   "source": [
    "# Bitcoin Core Implementation Results"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "bb7bf5bb",
   "metadata": {},
   "source": [
    "### The Test Case"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "dac74fe0",
   "metadata": {},
   "source": [
    "```c\n",
    "BOOST_CHECK_EQUAL(\n",
    "    MessageVerify(\n",
    "        \"bc1q9vza2e8x573nczrlzms0wvx3gsqjx7vavgkx0l\",\n",
    "        \"AkcwRAIgZRfIY3p7/DoVTty6YZbWS71bc5Vct9p9Fia83eRmw2QCICK/ENGfwLtptFluMGs2KsqoNSk89pO7F29zJLUx9a/sASECx/EgAxlkQpQ9hYjgGu6EBCPMVPwVIVJqO4XCsMvViHI=\",\n",
    "        \"Hello World\"),\n",
    "    MessageVerificationResult::OK);\n",
    "```"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "edb6ab2f",
   "metadata": {},
   "source": [
    "### Command Line Output\n",
    "\n",
    "Output generated by adding the following cout print statements to MessageVerifyBIP322. See https://github.com/bitcoin/bitcoin/blob/843ce398a1d4661b9d93160635b46cc0a70d6153/src/util/message.cpp#L48 for original"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "cd80c918",
   "metadata": {},
   "source": [
    "```c\n",
    "MessageVerificationResult MessageVerifyBIP322(\n",
    "    CTxDestination& destination,\n",
    "    std::vector<unsigned char>& signature,\n",
    "    const std::string& message,\n",
    "    MessageVerificationResult legacyError)\n",
    "{\n",
    "    auto txs = BIP322Txs::Create(destination, message, legacyError, &signature);\n",
    "    if (!txs) return legacyError;\n",
    "\n",
    "    const CTransaction& to_sign = txs->m_to_sign;\n",
    "    const CTransaction& to_spend = txs->m_to_spend;\n",
    "\n",
    "    std::cout << \"This is the to_spend tx : \\n\" << to_spend.ToString();\n",
    "    std::cout << \"\\nThis is the to_spend tx hash : \\n\" << to_spend.GetHash().ToString();\n",
    "\n",
    "    std::cout << \"\\n\\n This is the to_spend tx : \\n\" << to_sign.ToString();\n",
    "\n",
    "    std::cout << \"\\nThis is the to_sign tx hash : \\n\" << to_sign.GetHash().ToString();\n",
    "\n",
    "    const CScript scriptSig = to_sign.vin[0].scriptSig;\n",
    "    const CScriptWitness& witness = to_sign.vin[0].scriptWitness;\n",
    "\n",
    "    PrecomputedTransactionData txdata;\n",
    "    txdata.Init(to_sign, {to_spend.vout[0]});\n",
    "    TransactionSignatureChecker sigcheck(&to_sign, /* nInIn= */ 0, /* amountIn= */ to_spend.vout[0].nValue, txdata, MissingDataBehavior::ASSERT_FAIL);\n",
    "    sigcheck.RequireSighashAll();\n",
    "\n",
    "    if (!VerifyScript(scriptSig, to_spend.vout[0].scriptPubKey, &witness, BIP322_REQUIRED_FLAGS, sigcheck)) {\n",
    "        return MessageVerificationResult::ERR_INVALID;\n",
    "    }\n",
    "\n",
    "    // inconclusive checks\n",
    "\n",
    "    if (to_sign.nVersion != 0 && to_sign.nVersion != 2) {\n",
    "        return MessageVerificationResult::INCONCLUSIVE;\n",
    "    }\n",
    "\n",
    "    if (!VerifyScript(scriptSig, to_spend.vout[0].scriptPubKey, &witness, BIP322_INCONCLUSIVE_FLAGS, sigcheck)) {\n",
    "        return MessageVerificationResult::INCONCLUSIVE;\n",
    "    }\n",
    "\n",
    "    // timelock check\n",
    "    if (to_sign.nLockTime > 0 || to_sign.vin[0].nSequence > 0) {\n",
    "        return MessageVerificationResult::OK_TIMELOCKED;\n",
    "    }\n",
    "\n",
    "\n",
    "\n",
    "    return MessageVerificationResult::OK;\n",
    "}\n",
    "```"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "23f75047",
   "metadata": {},
   "source": [
    "### The Resulting Output"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "a42bccdb",
   "metadata": {},
   "source": [
    "```bash\n",
    "This is the to_spend tx : \n",
    "CTransaction(hash=b79d196740, ver=0, vin.size=1, vout.size=1, nLockTime=0)\n",
    "    CTxIn(COutPoint(0000000000, 4294967295), coinbase 0020f0eb03b1a75ac6d9847f55c624a99169b5dccba2a31f5b23bea77ba270de0a7a, nSequence=0)\n",
    "    CScriptWitness()\n",
    "    CTxOut(nValue=0.00000000, scriptPubKey=00142b05d564e6a7a33c087f16e0f7)\n",
    "\n",
    "This is the to_spend tx hash : \n",
    "b79d196740ad5217771c1098fc4a4b51e0535c32236c71f1ea4d61a2d603352b\n",
    "\n",
    " This is the to_spend tx : \n",
    "CTransaction(hash=88737ae86f, ver=0, vin.size=1, vout.size=1, nLockTime=0)\n",
    "    CTxIn(COutPoint(b79d196740, 0), scriptSig=, nSequence=0)\n",
    "    CScriptWitness(304402206517c8637a7bfc3a154edcba6196d64bbd5b73955cb7da7d1626bcdde466c364022022bf10d19fc0bb69b4596e306b362acaa835293cf693bb176f7324b531f5afec01, 02c7f12003196442943d8588e01aee840423cc54fc1521526a3b85c2b0cbd58872)\n",
    "    CTxOut(nValue=0.00000000, scriptPubKey=6a)\n",
    "\n",
    "This is the to_sign tx hash : \n",
    "88737ae86f2077145f93cc4b153ae9a1cb8d56afa511988c149c5c8c9d93bddf\n",
    "\n",
    "info: check MessageVerify( \"bc1q9vza2e8x573nczrlzms0wvx3gsqjx7vavgkx0l\", \"AkcwRAIgZRfIY3p7/DoVTty6YZbWS71bc5Vct9p9Fia83eRmw2QCICK/ENGfwLtptFluMGs2KsqoNSk89pO7F29zJLUx9a/sASECx/EgAxlkQpQ9hYjgGu6EBCPMVPwVIVJqO4XCsMvViHI=\", \"Hello World\") == MessageVerificationResult::OK has passed\n",
    "```"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "5f50f0b6",
   "metadata": {},
   "source": [
    "### Bitcoin core generated tx hashes extracted from the above output\n",
    "\n",
    "**Currently neither of these hashes match the impl below.**"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 58,
   "id": "af8067a4",
   "metadata": {},
   "outputs": [],
   "source": [
    "btc_to_spend_tx_hash = \"b79d196740ad5217771c1098fc4a4b51e0535c32236c71f1ea4d61a2d603352b\"\n",
    "btx_to_sign_tx_hash = \"88737ae86f2077145f93cc4b153ae9a1cb8d56afa511988c149c5c8c9d93bddf\""
   ]
  },
  {
   "cell_type": "markdown",
   "id": "972494a0",
   "metadata": {},
   "source": [
    "## Identified Differences compared to Below Implementation"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "aa9dc0c5",
   "metadata": {},
   "source": [
    "### The test vector\n",
    "\n",
    "Most strikingly the test vector that Bitcoin core uses to get a `MessageVerificationResult::OK` on the message \"Hello World\" is **NOT** the same as the BIP!\n",
    "\n",
    "See [line 2596 of util_tests.cpp](https://github.com/bitcoin/bitcoin/blob/843ce398a1d4661b9d93160635b46cc0a70d6153/src/test/util_tests.cpp#L2596):\n",
    "\n",
    "```c\n",
    "    BOOST_CHECK_EQUAL(\n",
    "        MessageVerify(\n",
    "            \"bc1q9vza2e8x573nczrlzms0wvx3gsqjx7vavgkx0l\",\n",
    "            \"AkcwRAIgZRfIY3p7/DoVTty6YZbWS71bc5Vct9p9Fia83eRmw2QCICK/ENGfwLtptFluMGs2KsqoNSk89pO7F29zJLUx9a/sASECx/EgAxlkQpQ9hYjgGu6EBCPMVPwVIVJqO4XCsMvViHI=\",\n",
    "            \"Hello World\"),\n",
    "        MessageVerificationResult::OK);\n",
    "```\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 59,
   "id": "7cfad941",
   "metadata": {},
   "outputs": [
    {
     "ename": "AssertionError",
     "evalue": "",
     "output_type": "error",
     "traceback": [
      "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
      "\u001b[0;31mAssertionError\u001b[0m                            Traceback (most recent call last)",
      "Input \u001b[0;32mIn [59]\u001b[0m, in \u001b[0;36m<cell line: 3>\u001b[0;34m()\u001b[0m\n\u001b[1;32m      1\u001b[0m btc_core_test_vector_sig \u001b[38;5;241m=\u001b[39m \u001b[38;5;124m\"\u001b[39m\u001b[38;5;124mAkcwRAIgZRfIY3p7/DoVTty6YZbWS71bc5Vct9p9Fia83eRmw2QCICK/ENGfwLtptFluMGs2KsqoNSk89pO7F29zJLUx9a/sASECx/EgAxlkQpQ9hYjgGu6EBCPMVPwVIVJqO4XCsMvViHI=\u001b[39m\u001b[38;5;124m\"\u001b[39m\n\u001b[0;32m----> 3\u001b[0m \u001b[38;5;28;01massert\u001b[39;00m(simple_signature \u001b[38;5;241m==\u001b[39m btc_core_test_vector_sig)\n",
      "\u001b[0;31mAssertionError\u001b[0m: "
     ]
    }
   ],
   "source": [
    "btc_core_test_vector_sig = \"AkcwRAIgZRfIY3p7/DoVTty6YZbWS71bc5Vct9p9Fia83eRmw2QCICK/ENGfwLtptFluMGs2KsqoNSk89pO7F29zJLUx9a/sASECx/EgAxlkQpQ9hYjgGu6EBCPMVPwVIVJqO4XCsMvViHI=\"\n",
    "\n",
    "assert(simple_signature == btc_core_test_vector_sig)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "cf5a0efb",
   "metadata": {},
   "source": [
    "### Although neither is it the same as the signature I produced in the signing notebook"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 60,
   "id": "9d8be88f",
   "metadata": {},
   "outputs": [
    {
     "ename": "AssertionError",
     "evalue": "",
     "output_type": "error",
     "traceback": [
      "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
      "\u001b[0;31mAssertionError\u001b[0m                            Traceback (most recent call last)",
      "Input \u001b[0;32mIn [60]\u001b[0m, in \u001b[0;36m<cell line: 1>\u001b[0;34m()\u001b[0m\n\u001b[0;32m----> 1\u001b[0m \u001b[38;5;28;01massert\u001b[39;00m(produced_sig \u001b[38;5;241m==\u001b[39m btc_core_test_vector_sig)\n",
      "\u001b[0;31mAssertionError\u001b[0m: "
     ]
    }
   ],
   "source": [
    "assert(produced_sig == btc_core_test_vector_sig)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "721362c0",
   "metadata": {},
   "source": [
    "## to_spend transaction\n",
    "\n",
    "Bitcoin Core output when printing the to_spend.ToString() result\n",
    "\n",
    "################################################################################\n",
    "\n",
    "```bash\n",
    "CTransaction(hash=b79d196740, ver=0, vin.size=1, vout.size=1, nLockTime=0)\n",
    "    CTxIn(COutPoint(0000000000, 4294967295), coinbase 0020f0eb03b1a75ac6d9847f55c624a99169b5dccba2a31f5b23bea77ba270de0a7a, nSequence=0)\n",
    "    CScriptWitness()\n",
    "    CTxOut(nValue=0.00000000, scriptPubKey=00142b05d564e6a7a33c087f16e0f7)\n",
    "```\n",
    "################################################################################\n",
    "\n",
    "### Differences\n",
    "\n",
    "**THERE DON'T APPEAR TO BE ANY**\n",
    "\n",
    "- CTxIn appears as a coinbase in the print, but so is the tx I produced (See below)\n",
    "- nValue in CTxOut is in decimal. \n",
    "    - Don't think this should matter"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "291372a8",
   "metadata": {},
   "source": [
    "### to_sign transaction\n",
    "\n",
    "Bitcoin Core output\n",
    "\n",
    "##########################################################################\n",
    "\n",
    "```bash\n",
    "CTransaction(hash=88737ae86f, ver=0, vin.size=1, vout.size=1, nLockTime=0)\n",
    "    CTxIn(COutPoint(b79d196740, 0), scriptSig=, nSequence=0)\n",
    "    CScriptWitness(304402206517c8637a7bfc3a154edcba6196d64bbd5b73955cb7da7d1626bcdde466c364022022bf10d19fc0bb69b4596e306b362acaa835293cf693bb176f7324b531f5afec01, 02c7f12003196442943d8588e01aee840423cc54fc1521526a3b85c2b0cbd58872)\n",
    "    CTxOut(nValue=0.00000000, scriptPubKey=6a)\n",
    "```\n",
    "##########################################################################\n",
    "\n",
    "### Differences\n",
    "\n",
    "- The witness (and hence the actual BIP0322 signature is different)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "e34a0148",
   "metadata": {},
   "source": [
    "# Verification Process"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "8cbf8770",
   "metadata": {},
   "source": [
    "## 1. Basic Validation"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "cc9f488f",
   "metadata": {},
   "source": [
    "### 1a. Compute virtual to_spend transaction\n",
    "```\n",
    "    nVersion = 0\n",
    "    nLockTime = 0\n",
    "    vin[0].prevout.hash = 0000...000\n",
    "    vin[0].prevout.n = 0xFFFFFFFF\n",
    "    vin[0].nSequence = 0\n",
    "    vin[0].scriptSig = OP_0 PUSH32[ message_hash ]\n",
    "    vin[0].scriptWitness = []\n",
    "    vout[0].nValue = 0\n",
    "    vout[0].scriptPubKey = message_challenge\n",
    "```"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 61,
   "id": "5260c393",
   "metadata": {},
   "outputs": [],
   "source": [
    "from buidl.tx import Tx, TxIn, TxOut\n",
    "from buidl.helper import little_endian_to_int\n",
    "from buidl.script import Script,ScriptPubKey"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 62,
   "id": "31cee86f",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "0020f0eb03b1a75ac6d9847f55c624a99169b5dccba2a31f5b23bea77ba270de0a7a\n"
     ]
    }
   ],
   "source": [
    "# Not a valid Tx hash. Will never be spendable on any BTC network.\n",
    "prevout_hash = bytes.fromhex('0000000000000000000000000000000000000000000000000000000000000000')\n",
    "# prevout.n\n",
    "prevout_index = little_endian_to_int(bytes.fromhex('FFFFFFFF'))\n",
    "sequence = 0\n",
    "\n",
    "# Byte array of message hash\n",
    "message_hash = tagged_hash\n",
    "\n",
    "# Spotted the error\n",
    "# OP_PUSH32 gets automatically added to the stack when add 32 bytes of data\n",
    "# commands = [0, 32, message_hash]\n",
    "commands = [0, message_hash]\n",
    "scriptSig = Script(commands)\n",
    "\n",
    "# This is equivalent to the one provided\n",
    "print(scriptSig.raw_serialize().hex())\n",
    "\n",
    "assert(\"0020f0eb03b1a75ac6d9847f55c624a99169b5dccba2a31f5b23bea77ba270de0a7a\" == scriptSig.raw_serialize().hex())\n",
    "\n",
    "# Create Tx Input\n",
    "tx_in = TxIn(prevout_hash,prevout_index,scriptSig,sequence)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 66,
   "id": "8ac39edb",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Implementation scriptpubkey hex representation 00142b05d564e6a7a33c087f16e0f730d1440123799d\n",
      "BitcoinCore scriptpubkey hex representation 00142b05d564e6a7a33c087f16e0f7\n"
     ]
    }
   ],
   "source": [
    "from buidl.script import address_to_script_pubkey\n",
    "\n",
    "# Value of tx output\n",
    "value = 0\n",
    "\n",
    "# Convert address to ScriptPubKey\n",
    "script_pubkey = address_to_script_pubkey(address)\n",
    "\n",
    "tx_out = TxOut(value,script_pubkey)\n",
    "\n",
    "# Note: This is the same as the Bitcoin core\n",
    "print(\"Implementation scriptpubkey hex representation\", script_pubkey.raw_serialize().hex())\n",
    "print(\"BitcoinCore scriptpubkey hex representation\", \"00142b05d564e6a7a33c087f16e0f7\")\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 67,
   "id": "85bbd21e",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0:OP_0 2b05d564e6a7a33c087f16e0f730d1440123799d "
      ]
     },
     "execution_count": 67,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "tx_out"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 68,
   "id": "7d83b406",
   "metadata": {},
   "outputs": [],
   "source": [
    "# create transaction\n",
    "version=0\n",
    "tx_inputs = [tx_in]\n",
    "tx_outputs = [tx_out]\n",
    "locktime=0\n",
    "network=\"mainnet\"\n",
    "\n",
    "# Could be false, but using a segwit address. I think this is the \"Simple Signature\" in BIP-0322\n",
    "segwit=True\n",
    "\n",
    "virtual_to_spend_tx = Tx(version,tx_inputs,tx_outputs,locktime,network,segwit)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "fbfa4776",
   "metadata": {},
   "source": [
    "### This is equivalent to the txid from the Bitcoin core impl"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 69,
   "id": "005e1495",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "b79d196740ad5217771c1098fc4a4b51e0535c32236c71f1ea4d61a2d603352b\n"
     ]
    }
   ],
   "source": [
    "print(virtual_to_spend_tx.id())\n",
    "assert(virtual_to_spend_tx.id() == btc_to_spend_tx_hash)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 70,
   "id": "b0b90e22",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "True\n"
     ]
    }
   ],
   "source": [
    "print(virtual_to_spend_tx.is_coinbase())"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "5707bc26",
   "metadata": {},
   "source": [
    "### 1b.Decode the signature as the transaction virtual to_sign\n",
    "\n",
    "Note: the signature in simple format is just the witness stack\n",
    "\n",
    "```python\n",
    "    nVersion = 0 or (FULL format only) as appropriate (e.g. 2, for time locks)\n",
    "    nLockTime = 0 or (FULL format only) as appropriate (for time locks)\n",
    "    vin[0].prevout.hash = to_spend.txid\n",
    "    vin[0].prevout.n = 0\n",
    "    vin[0].nSequence = 0 or (FULL format only) as appropriate (for time locks)\n",
    "    vin[0].scriptWitness = message_signature\n",
    "    vout[0].nValue = 0\n",
    "    vout[0].scriptPubKey = OP_RETURN\n",
    "```"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "bd87fa1f",
   "metadata": {},
   "source": [
    "#### Decode signature into witness stack using bip322 test vector"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 76,
   "id": "6fbf9faa",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "304402201b73c048bfef453800aa88164fa4bcad43905cd9df4735fa2677266c594773500220641db16fab9d59ac433c80611422b0728532280398a88becb530e31d7b170e6d01 02c7f12003196442943d8588e01aee840423cc54fc1521526a3b85c2b0cbd58872 \n"
     ]
    }
   ],
   "source": [
    "from buidl.helper import base64_decode\n",
    "from buidl.ecc import Signature\n",
    "from buidl.witness import Witness\n",
    "\n",
    "# Note: Using the test vector I am unable to get the code to verify\n",
    "decoded_witness_test = base64_decode(simple_signature)\n",
    "\n",
    "\n",
    "import io\n",
    "stream = io.BytesIO(decoded_witness_test)\n",
    "witness_test = Witness.parse(stream)\n",
    "print(witness_test)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "e50cbccf",
   "metadata": {},
   "source": [
    "#### Decode signature into witness stack using produced signature"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 77,
   "id": "4845b290",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "3045022100ecf2ca796ab7dde538a26bfb09a6c487a7b3fff33f397db6a20eb9af77c0ee8c022062e67e44c8070f49c3a37f5940a8850842daf7cca35e6af61a6c7c91f1e1a1a301 02c7f12003196442943d8588e01aee840423cc54fc1521526a3b85c2b0cbd58872 \n"
     ]
    }
   ],
   "source": [
    "from buidl.helper import base64_decode\n",
    "from buidl.ecc import Signature\n",
    "from buidl.witness import Witness\n",
    "\n",
    "# Using the signature produced in the other notebook does work however\n",
    "decoded_witness_produced = base64_decode(produced_sig)\n",
    "\n",
    "import io\n",
    "stream = io.BytesIO(decoded_witness_produced)\n",
    "witness_produced = Witness.parse(stream)\n",
    "print(witness_produced)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "023b3930",
   "metadata": {},
   "source": [
    "#### Decode signature into witness stack using the btc core test vector witness"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 78,
   "id": "9ca6540a",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "304402206517c8637a7bfc3a154edcba6196d64bbd5b73955cb7da7d1626bcdde466c364022022bf10d19fc0bb69b4596e306b362acaa835293cf693bb176f7324b531f5afec01 02c7f12003196442943d8588e01aee840423cc54fc1521526a3b85c2b0cbd58872 \n"
     ]
    }
   ],
   "source": [
    "from buidl.helper import base64_decode\n",
    "from buidl.ecc import Signature\n",
    "from buidl.witness import Witness\n",
    "\n",
    "# Using the signature produced in the other notebook does work however\n",
    "decoded_witness_btc = base64_decode(btc_core_test_vector_sig)\n",
    "\n",
    "import io\n",
    "stream = io.BytesIO(decoded_witness_btc)\n",
    "witness_btc = Witness.parse(stream)\n",
    "print(witness_btc)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "5dd21d3b",
   "metadata": {},
   "source": [
    "#### Create tx_in using bip322 test vector witness"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 79,
   "id": "ead24a7d",
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "304402201b73c048bfef453800aa88164fa4bcad43905cd9df4735fa2677266c594773500220641db16fab9d59ac433c80611422b0728532280398a88becb530e31d7b170e6d01 02c7f12003196442943d8588e01aee840423cc54fc1521526a3b85c2b0cbd58872 "
      ]
     },
     "execution_count": 79,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "prevout_hash = virtual_to_spend_tx.hash()\n",
    "prevout_index = 0\n",
    "sequence = 0\n",
    "\n",
    "\n",
    "tx_in_test = TxIn(prevout_hash,prevout_index,sequence=sequence)\n",
    "\n",
    "# set the witness\n",
    "tx_in_test.witness = witness_test\n",
    "\n",
    "tx_in_test.witness"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "58192627",
   "metadata": {},
   "source": [
    "#### Create tx_in using notebook produced witness"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 80,
   "id": "8ca73c64",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "3045022100ecf2ca796ab7dde538a26bfb09a6c487a7b3fff33f397db6a20eb9af77c0ee8c022062e67e44c8070f49c3a37f5940a8850842daf7cca35e6af61a6c7c91f1e1a1a301 02c7f12003196442943d8588e01aee840423cc54fc1521526a3b85c2b0cbd58872 "
      ]
     },
     "execution_count": 80,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "prevout_hash = virtual_to_spend_tx.hash()\n",
    "prevout_index = 0\n",
    "sequence = 0\n",
    "\n",
    "tx_in_produced = TxIn(prevout_hash,prevout_index,sequence=sequence)\n",
    "\n",
    "# set the witness\n",
    "tx_in_produced.witness = witness_produced\n",
    "\n",
    "tx_in_produced.witness"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "cfa8c3ed",
   "metadata": {},
   "source": [
    "#### Create tx_in using notebook btc_test_vector witness"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 81,
   "id": "7e0effa2",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "304402206517c8637a7bfc3a154edcba6196d64bbd5b73955cb7da7d1626bcdde466c364022022bf10d19fc0bb69b4596e306b362acaa835293cf693bb176f7324b531f5afec01 02c7f12003196442943d8588e01aee840423cc54fc1521526a3b85c2b0cbd58872 "
      ]
     },
     "execution_count": 81,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "prevout_hash = virtual_to_spend_tx.hash()\n",
    "prevout_index = 0\n",
    "sequence = 0\n",
    "\n",
    "tx_in_btc_core = TxIn(prevout_hash,prevout_index,sequence=sequence)\n",
    "\n",
    "# set the witness\n",
    "tx_in_btc_core.witness = witness_btc\n",
    "\n",
    "tx_in_btc_core.witness"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "a3772e17",
   "metadata": {},
   "source": [
    "#### Create tx_out (same output for all)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 83,
   "id": "4e2d210e",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0:OP_RETURN "
      ]
     },
     "execution_count": 83,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "value = 0\n",
    "# OP Code 106 for OP_RETURN\n",
    "commands = [106]\n",
    "scriptPubKey = Script(commands)\n",
    "\n",
    "tx_output = TxOut(value,scriptPubKey)\n",
    "tx_output"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "b923d9e3",
   "metadata": {},
   "source": [
    "#### Create virtual_to_sign_tx for test vector"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 84,
   "id": "48fd363f",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "88737ae86f2077145f93cc4b153ae9a1cb8d56afa511988c149c5c8c9d93bddf\n"
     ]
    }
   ],
   "source": [
    "version = 0\n",
    "locktime = 0\n",
    "virtual_to_sign_tx_test_vector = Tx(version, [tx_in_test], [tx_output],locktime,segwit=False)\n",
    "\n",
    "print(virtual_to_sign_tx_test_vector.id())"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "dbf13950",
   "metadata": {},
   "source": [
    "#### Create virtual_to_sign_tx for produced signature"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 85,
   "id": "f2bdfad7",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "88737ae86f2077145f93cc4b153ae9a1cb8d56afa511988c149c5c8c9d93bddf\n"
     ]
    }
   ],
   "source": [
    "version = 0\n",
    "locktime = 0\n",
    "virtual_to_sign_tx_produced = Tx(version, [tx_in_produced], [tx_output],locktime,segwit=False)\n",
    "print(virtual_to_sign_tx_test_vector.id())"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "17f7f072",
   "metadata": {},
   "source": [
    "#### Create virtual_to_sign_tx for btc_core_test_vector signature"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 86,
   "id": "3ea9b77d",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "88737ae86f2077145f93cc4b153ae9a1cb8d56afa511988c149c5c8c9d93bddf\n"
     ]
    }
   ],
   "source": [
    "version = 0\n",
    "locktime = 0\n",
    "virtual_to_sign_tx_bitcoin_core = Tx(version, [tx_in_btc_core], [tx_output],locktime,segwit=False)\n",
    "print(virtual_to_sign_tx_bitcoin_core.id())"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "cb8571fa",
   "metadata": {},
   "source": [
    "## Note: The txid's are the same. The different witness does not change these"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "7e751f37",
   "metadata": {},
   "source": [
    "### A whole bunch of validation that SHOULD happen ..."
   ]
  },
  {
   "cell_type": "markdown",
   "id": "d477db7d",
   "metadata": {},
   "source": [
    "### Initially all I am trying to do is validate the signature on the input in the to_sign transaction\n"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "ce7914d3",
   "metadata": {},
   "source": [
    "### The input for the virtual to_sign transation IS the output at index 0 from the virtual to_spend transaction\n",
    "\n",
    "Normally the relevant information (The outputs script_pubkey and value) would be populated by querying the network for the transaction and fetching it from there. In this case we set those values on the input manually."
   ]
  },
  {
   "cell_type": "markdown",
   "id": "07b34a96",
   "metadata": {},
   "source": [
    "# Verification of BIP322 Test Vector\n",
    "\n",
    "## Note: This Fails"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 90,
   "id": "4f210ecb",
   "metadata": {},
   "outputs": [],
   "source": [
    "virtual_to_sign_tx_test_vector.tx_ins[0]._script_pubkey = script_pubkey\n",
    "virtual_to_sign_tx_test_vector.tx_ins[0]._value = 0"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "08301a53",
   "metadata": {},
   "source": [
    "### Verify the input is a valid unlocking of the to_spend output\n",
    "\n",
    "Not sure why this isn't working for the test vector of BIP-0322"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 91,
   "id": "1ce8ad1a",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "False"
      ]
     },
     "execution_count": 91,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "virtual_to_sign_tx_test_vector.verify_input(0)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "162afb2d",
   "metadata": {},
   "source": [
    "# Verification of Notebook Produced Signature"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 92,
   "id": "79bc45e7",
   "metadata": {},
   "outputs": [],
   "source": [
    "virtual_to_sign_tx_produced.tx_ins[0]._script_pubkey = script_pubkey\n",
    "virtual_to_sign_tx_produced.tx_ins[0]._value = 0"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "92b4e735",
   "metadata": {},
   "source": [
    "### Verify the input is a valid unlocking of the to_spend output\n",
    "\n",
    "Not sure why this isn't working for the test vector of BIP-0322"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 93,
   "id": "c2acac80",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "True"
      ]
     },
     "execution_count": 93,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "virtual_to_sign_tx_produced.verify_input(0)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "5a58967b",
   "metadata": {},
   "source": [
    "# Verification of Notebook Bitcoin Core Signature"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 94,
   "id": "b45aff86",
   "metadata": {},
   "outputs": [],
   "source": [
    "virtual_to_sign_tx_bitcoin_core.tx_ins[0]._script_pubkey = script_pubkey\n",
    "virtual_to_sign_tx_bitcoin_core.tx_ins[0]._value = 0"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "2cdd00ea",
   "metadata": {},
   "source": [
    "### Verify the input is a valid unlocking of the to_spend output\n",
    "\n",
    "Not sure why this isn't working for the test vector of BIP-0322"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 95,
   "id": "998f78c4",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "True"
      ]
     },
     "execution_count": 95,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "virtual_to_sign_tx_bitcoin_core.verify_input(0)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "822a72ac",
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.8.5"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}