Dissecting a Bitcoin Script

Image by Alexas_Fotos

In the book Programming Bitcoin by Jimmy Song at the end of Chapter 6 we are presented with the following Bitcoin script as part of an exercise.

What is the following supposed to do?

Let’s take a step back. What are we looking at?

It’s a bunch of operation codes. Opcodes. They specify the operation to be performed. They are what makes up Bitcoins Smart Contract Programming language.

Wait. Smart Contracts in Bitcoin? Isn’t that what Ethereum was created for?

In a sense yes. In Ethereum we could be more expressive. For example by using loops. Whether the added expressiveness is helpful would depend on who we ask.

Bitcoin offers a way of programming Smart Contracts using the stack based Bitcoin Script. No loops. We will get to what stack-based is supposed to be now.

We take a look at the script again

When ordering the the opcodes. They will be applied in the listed order. OP_2DUP first.

Script without inputs

The stack is currently empty. All we have is the script.

We can find out what the Opcodes are doing in the Bitcoin Wiki for Script.

OP_2DUP is on top. It will be applied first. It will duplicate the top two stack items.

OP_2DUP tells us we need to have two items on the stack.

Let’s take the numbers 1 and 1 and play through what will happen when evaluating the script. We put the two numbers on the stack. They are the input to our script.

OP_2DUP about to be applied

After applying OP_2DUP we are left with.

OP_EQUAL about to be applied

The two items on top of the stack were duplicated. OP_2DUP was applied.

On to OP_EQUAL. It returns a 1 if the inputs are equal. Else a 0. OP_EQUAL is applied and of course 1 is equal to 1. Thus we are left with a 1.

OP_NOT about to be applied

OP_NOT flips the input if its a 1 or a 0. A 0 would become a 1 and a 1 would become a 0. If the input is anything other than 1 or 0 the output is a 0.

When applying OP_NOT it will flip the top value. It becomes a 0 (false). Because the input is 1 (true).

OP_VERIFY about to be applied

OP_VERIFY pops the top stack value and mark the transaction as invalid if is not 1. Because it is a 0 the transaction will be invalid. Evaluation stops.

Of course we want the script to continue to learn what it does.

For it to continue we need to have a 1 on the stack when OP_VERIFY is applied. To have a 1 on the stack the previous OP_NOT needs to flip a 0 to 1. The 0 would have to be the output of OP_EQUAL. Meaning the two inputs can’t be equal.

Because we used the same inputs, two 1, we destined the transaction to fail from the start.

Let’s go for another evaluation. Using two different inputs. 1 and 2.

OP_2DUP about to be applied

After we apply OP_2DUP. Duplicating the top two values.

OP_EQUAL about to be applied

Now OP_EQUAL. 1 and 2 are not equal. The 0 (false) is put on the stack.

OP_NOT about to be applied

We apply OP_NOT. The Input (0) is flipped to 1

OP_VERIFY about to be applied

In our last go we have stopped at that point because the top value was a 0. We apply OP_VERIFY. Since the top value is 1 everything is fine and the 1 on top gets removed (popped).

OP_SHA1 about to be applied

OP_SHA1 hashes the input using SHA-1. A cryptographic hash function. The input 1 is hashed and we have

OP_SWAP about to be applied

OP_SWAP swaps the two top items on the stack and we are left with.

OP_SHA1 about to be applied

While OP_SHA1 hashes the 2

OP_EQUAL about to be applied

We can already guess these two hashes are not equal. OP_EQUAL returns a 0. The final result is 0 (false). The script execution was a failure.

So how do we get here with two hashes that are equal?

The hash of 1 is always the same. We can’t use the same inputs as we learned when we used 1 and 1.

But we need to have two different values on the stack in the beginning to not end up with an invalid transaction.

Different values lead to different hashes. Or don’t they? If two different values would end up with the same hash we have a hash collision.

The script above was used to offer a reward, or the ability to spend, for someone who can produce different values that lead to the same hash. Usually the ability to spend requires us to prove ownership of the private key.

It was set up by Peter Todd in 2013. The reward of 2.48 BTC was claimed in 2017 after the first SHA-1 hash collision was found by researchers.

If we check the transaction details we see the inputs used were

and

The different parts are marked bold.

In the shattered.io paper the identical prefix and the colliding message blocks from above can be found on page 3 and 4.

Does this matter for Bitcoin? Not really. OP_SHA1 is an opcode that is barely used. Bitcoin itself depends on SHA-256.

Hopefully the article has shown how we can use a Bitcoin Script for more than “just” proving we are in control of the private keys allowing us to spend.

Building things. Usually by writing code. www.hodler.co. Software Engineering @porschedigital

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store