One of the trickiest things to code in Bitcoin is validating transactions. Another one is creating transactions. In this chapter, we’ll cover the exact steps to doing both. Towards the end of this chapter, we’ll be creating a testnet transaction and broadcasting it.
Every node, when receiving transactions makes sure that each transaction adheres to the network rules. This process is called transaction validation. Here are the main things that a node checks:
-
Inputs of the transaction are previously unspent.
-
Sum of the inputs are greater than or equal to the sum of the outputs.
-
ScriptSig successfully unlocks the previous ScriptPubKey.
(1) prevents double-spending. Any input that’s been spent (that is, included in the blockchain) cannot be spent again.
(2) makes sure no new Bitcoins are created (except in a special type of transaction called Coinbase transactions. More on that in [chapter_blocks]).
(3) makes sure that the combined Script is valid. In the vast majority of transactions, this means checking that the one or more signatures in the ScriptSig are valid.
Let’s look at how each is checked.
To prevent double-spending, a node checks that each input exists and has not been spent. This can be checked by any full node by looking at the UTXO set (see [chapter_tx_parsing]). We cannot determine from the transaction itself whether it’s double-spending, much like we cannot look at a personal check and determine whether it’s overdrafting. The only way to know is to have access to the UTXO set, which requires calculation from the entire set of transactions.
In Bitcoin, we can determine whether an input is being double spent by keeping track of the UTXOs. If an input is in the UTXO set, that transaction input both exists and is not double-spending. If the transaction passes the rest of the validity tests, then we remove all the inputs of the transaction from the UTXO set. Light clients that do not have access to the blockchain have to trust other nodes for a lot of the information, including whether an input has already been spent.
A full node can check the spentness of an input pretty easily, a light client has to get this information from someone else.
Nodes also make sure that the sum of the inputs is greater than or equal to the sum of the outputs. This ensures that the transaction does not create new coins. The one exception is a Coinbase transaction which we’ll study more in [chapter_blocks]. Since inputs don’t have an amount field, this must be looked up on the blockchain. Once again, full nodes have access to the amounts associated with the unspent output, but light clients have to depend on full nodes to supply this information.
We covered how to calculate fees in [chapter_tx_parsing].
Checking that the sum of the inputs being greater than or equal to the sum of the outputs is the same as checking that the fee is not negative (that is, creating money).
Recall the last exercise in [chapter_tx_parsing].
The method fee looks like this:
class Tx:
...
link:code-ch07/tx.py[role=include]We can test to see if this transaction is trying to create money by using this method.
link:code-ch07/examples.py[role=include]-
This only works because we’re using Python (see The Value Overflow Incident).
If the fee is negative, we know that the output_sum is greater than the input_sum, which is another way of saying that this transaction is trying to create Bitcoins out of the ether.
|
Note
|
The Value Overflow Incident
Back in 2010, there was a transaction that created 184 billion new Bitcoins. This is due to the fact that in C++, the amount field is a signed integer and not an unsigned integer. That is, the value could be negative! The clever transaction passed all the checks including the one for not creating new bitcoins, but only because the output amounts overflowed past the maximum number. 264 is ~1.84 * 1019 satoshis, which is 184 billion Bitcoins. The fee was negative by enough that the C++ code was tricked into believing that the fee was actually positive by 0.1 BTC! The vulnerability is detailed in CVE-2010-5139 and was patched via soft-fork in Bitcoin Core 0.3.11. The transaction and the extra Bitcoins it created was invalidated retroactively by a block reorganization, which is another way of saying that the block including the value overflow transaction and all the blocks built on top of it were replaced. |
Perhaps the trickiest part of validating a transaction is the process of checking its signatures.
A transaction typically has at least one signature per input.
If there are multisig outputs being spent, there may be more than one.
As we learned in [chapter_elliptic_curve_cryptography], the ECDSA signature algorithm requires the public key P, the signature hash z, and the signature (r,s).
Once these are known, the process of verifying the signature is pretty simple as we already coded in [chapter_elliptic_curve_cryptography]:
link:code-ch07/examples.py[role=include]SEC public keys and DER signatures are in the stack when an instruction like OP_CHECKSIG is executed make getting the public key P and signature (r,s) pretty straightforward (see [chapter_script]).
The hard part is getting the signature hash, z.
A naive way to get the signature hash would be to hash the transaction serialization as shown in A signature is in the yellow highlighted part, or the ScriptSig..
Unfortunately, we can’t do that since the signature is part of the ScriptSig and a signature can’t sign itself.
Instead, we modify the transaction before signing it.
That is, we compute a different signature hash, or z, for each input.
The procedure is as follows.
The first step is to empty all the ScriptSigs when checking the signature (Empty each input’s ScriptSig (in yellow highlighted field)). The same procedure is used for creating the signature, except the ScriptSigs are usually already empty.
Note that this example has only 1 input, so only that input’s ScriptSig is emptied, but it’s possible to have more than 1 input. Each of those would be emptied.
Each input points to a previous transaction output, which has a ScriptPubKey. Recall the diagram from [chapter_script] shown in ScriptPubKey and ScriptSig.
We take the ScriptPubKey that the input is pointing to and put that in place of the empty ScriptSig (Replace the ScriptSig (yellow highlighted field) for one of the inputs with the previous ScriptPubKey). This may require a lookup on the blockchain, but in practice, the signer already knows the ScriptPubKey as the input is one where the signer has the private key.
Lastly, we add a 4-byte hash type to the end.
This is to specify what the signature is authorizing.
The signature can authorize that this input has to go with all the other inputs and outputs (SIGHASH_ALL), go with a specific output (SIGHASH_SINGLE) or go with any output whatsoever (SIGHASH_NONE).
The latter two have some theoretical use cases, but in practice, almost every transaction is signed with SIGHASH_ALL.
There’s also rarely used hash type called SIGHASH_ANYONECANPAY which can be combined with any of the previous three, which we won’t get into here.
For SIGHASH_ALL, the final transaction must have the exact outputs that were signed or the input signature is invalid.
The integer corresponding to SIGHASH_ALL is 1 and this has to be encoded in Little-Endian over 4 bytes, which makes the modified transaction look like Append the hash type (SIGHASH_ALL), or the orange 01000000:
01000000The hash256 of this modified transaction is interpreted as a Big-Endian integer to produce z.
The code for converting the modified transaction to z looks like this:
link:code-ch07/examples.py[role=include]Now that we have our z, we can take the public key in SEC format and the signature in DER format from the ScriptSig to verify the signature.
link:code-ch07/examples.py[role=include]We can code this transaction validation process into a method for Tx.
Thankfully, the Script engine can already handle signature verification (see [chapter_script]), so our task here is to glue everything together.
We need the z, or signature hash, to pass into the evaluate method and we need to combine the ScriptSig and ScriptPubKey.
|
Note
|
Quadratic Hashing
The signature hashing algorithm is inefficient and wasteful and is called the Quadratic Hashing problem.
The Quadratic Hashing problem states that calculating the signature hashes, or This was particularly obvious with the biggest transaction mined to date:
This transaction had 5569 inputs and 1 output and took many miners over a minute to validate as the signature hashes for the transaction were expensive to calculate. Segwit ([chapter_segwit]) fixes this with a different way of calculating the signature hash, which is specified in BIP0143. |
Now that we can verify an input, the task of verifying the entire transaction is straightforward:
class Tx:
...
link:code-ch07/tx.py[role=include]-
We make sure that we are not creating money.
-
We make sure that each input has a correct ScriptSig.
Note that a full node would verify more things like checking for double-spends and checking some other consensus rules not discussed in this chapter (max sigops, size of ScriptSig, etc), but this is good enough for our library.
The code to verify transactions will help quite a bit with creating transactions. We can create transactions that fit the verification process. Transactions we create will require the sum of the inputs to be greater than or equal to the sum of the outputs. Similarly, transactions we create will require a ScriptSig that, when combined with the ScriptPubKey will be valid.
To create a transaction, we need at least one output we’ve received. That is, we need an output from the UTXO set whose ScriptPubKey we can unlock. The vast majority of the time, we need one or more private keys corresponding to the public keys that are hashed in the ScriptPubKey.
The rest of this chapter will be concerned with creating a transaction whose inputs are locked by p2pkh ScriptPubKeys.
The construction of a transaction requires answering some basic questions:
-
Where do we want the bitcoins to go?
-
What UTXOs can we spend?
-
How quickly do we want this transactions to get into the blockchain?
We’ll be using testnet for this example, though this can easily be applied to mainnet.
The first question is about how much we want to pay whom.
We can pay one or more addresses.
In this example, we will pay 0.1 testnet bitcoins (tBTC) to mnrVtF8DWjMu839VW3rBfgYaAfKk8983Xf.
The second question is about what’s in our wallet. What do we have available to spend? In this example, we have an output here denoted by transaction ID and output index:
0d6fe5213c0b3291f208cba8bfb59b7476dffacc4e5cb66f6eb20a080843a299:13
When we view this output on a testnet block explorer (UTXO that we’re spending), we can see that our output is worth 0.33 tBTC.
Since this is more than 0.1 tBTC, we’ll want to send the rest back to ourselves.
Though it’s generally bad privacy and security practice to reuse addresses, we’ll send the bitcoins back to mzx5YhAH9kNHtcN481u6WkjeHjYtVeKVh2 to make the transaction construction easier.
|
Warning
|
Why reusing addresses is a bad idea
Back in [chapter_script], we went through how p2pk was inferior to p2pkh, in part because it was only protected by ECDSA. p2pkh, on the other hand, is also protected by sha256 and ripemd160. However, because the blockchain is public, once we spend from a ScriptPubKey corresponding to our address, we reveal our public key as part of the ScriptSig. Once we’ve revealed that public key, sha256 and ripemd160 no longer protect us as the attacker knows the public key and doesn’t have to guess. That said, as of this writing, we are still protected by the Discrete Log problem, which is unlikely to be broken any time soon. It’s important from a security perspective, however, to understand what we’re protected by. The other reason to not reuse addresses is for privacy. Having a single address for all our transactions means that people can link our transactions together. If, for example, we bought something private (medication to treat some disease you don’t want others to know about) and spent another output with the same ScriptPubKey for a donation to some charity, the charity and the medication vendor could identify that we did business with the other. Privacy leaks tend to become security holes over time. |
The third question is really about fees. If we want to get the transaction in the blockchain faster, we’ll want to pay more fees and if we don’t mind waiting, we’ll want to pay less. In our case, we’ll use 0.01 tBTC as our fee.
|
Note
|
Fee Estimation
Fee estimation is done on a per-byte basis. If your transaction is 600 bytes, you’ll want to have double the fees as a transaction that’s 300 bytes. This is because block space is limited and larger transactions take up more space. This calculation has changed a bit since Segregated Witness (See [chapter_segwit]), but the general principle still applies. We want to pay enough on a per-byte basis so that miners are motivated to include our transaction as soon as possible. When blocks aren’t full, almost any amount above the default relay limit (1 satoshi/byte) is enough to get a transaction included. When blocks are full, this is not an easy thing to estimate. There are multiple ways to estimate fees including:
Many wallets use different strategies and this is an active area of research. |
We have a plan for a new transaction with one input and two outputs. But first, let’s look at some other tools we’ll need.
We need a way to take an address and get the 20-byte hash out of it.
This is the opposite of encoding an address, so we call the function decode_base58
link:code-ch07/helper.py[role=include]-
We get what number is encoded in this base58 address
-
Once we have the number, we convert it to Big-Endian bytes
-
The first byte is the network prefix and the last 4 are the checksum. The middle 20 is the actual 20-byte hash (aka hash160).
We also need a way to convert the 20-byte hash to a ScriptPubKey.
We call this function p2pkh_script since we’re converting the hash160 to a p2pkh.
link:code-ch07/script.py[role=include]Note that 0x76 is OP_DUP, 0xa9 is OP_HASH160, h160 is a 20-byte element, 0x88 is OP_EQUALVERIFY and 0xac is OP_CHECKSIG.
This is the p2pkh ScriptPubKey instruction set from [chapter_script].
Given these tools, we can proceed transaction creation.
link:code-ch07/examples.py[role=include]-
The amount must be in satoshis and given there are 100,000,000 satoshis per BTC, we have to multiply and cast to an integer.
-
Note we have to designate which network to look up using the
testnet=Trueargument.
We have created the actual transaction. However, every ScriptSig in this transaction is currently empty and filling it is where we turn next.
Signing the transaction would be tricky, but we know how to get the signature hash, or z, from earlier in this chapter.
If we have the private key whose public key hash160’s to the 20-byte hash in the ScriptPubKey, we can sign the z and produce the DER signature.
link:code-ch07/examples.py[role=include]-
We only need to sign the first input as there’s only one input. Multiple inputs would require us to sign each input with the right private key.
-
The signature is actually a combination of the DER signature and the hash type which is
SIGHASH_ALLin our case. -
The ScriptSig of a p2pkh from [chapter_script] is exactly two elements: signature and SEC format public key.
-
We only have that one input that we need to sign, but if there were more, this process of creating the ScriptSig would need to be done for each input.
To creating your own transaction, get some coins for yourself. In order to do that you’ll need an address. If you completed the last exercise in [chapter_serialization], you should have your own testnet address and private key. If you don’t remember, here’s how:
link:code-ch07/examples.py[role=include]-
Please use a phrase other than
Jimmy Song secret
Once you have an address, you can get some coins at a myriad of testnet faucets. Faucets are where you can get testnet coins for free for testing purposes. You can Google "testnet bitcoin faucet" to find them or use one from this list: https://en.bitcoin.it/wiki/Testnet#Faucets. My website, https://faucet.programmingbitcoin.com/ is updated to point to a testnet faucet that works. Enter your address from above into these faucets to get some testnet coins.
After receiving some coins, spend them using this library. This is a big accomplishment for a budding Bitcoin developer, so please take some time to complete this exercise.
We’ve successfully validated existing transactions on the blockchain and we’ve also created our own transactions on testnet! This is a major accomplishment and you should be proud.
The code we have so far will do p2pkh and p2pk. In the next chapter, we turn to a more advanced smart contract, p2sh.