Ethereum Explained Merkle Trees, World State, Transactions, and More
At PegaSys we understand that entering into the Ethereum world can be a daunting task. There are many new concepts and terms that one needs to learn to engage in the community. In Ethereum Explained our protocol engineer, Lucas Saldanha, provides an easy to digest summary of the Ethereum Yellow Paper for technical and non-technical people alike.
Hi everyone! This is a post exploring some topics in the Ethereum Yellow Paper. In this post, we will learn more about the main objects in Ethereum and their roles. We'll also briefly discuss how Merkle trees are used in Ethereum.
I hope that after reading this post, you'll know what Merkle trees are and the role that they play in Ethereum, what the world state and account state are, and what a transaction and a block look like.
(DISCLAIMER: this post is based on the Byzantium version of the Yellow Paper, version e94ebda from 5th June 2018)
Before discussing the main data objects in Ethereum, I'd like to present a summary of what Merkle trees are and the properties that make them useful.
The Yellow Paper states that it assumes implementations will maintain the world state and transactions in a modified Merkle Patricia tree (trie). This data structure is described in Appendix D.
The Merkle Patricia tree (trie) has some really interesting properties and, if you want to learn more about the Ethereum implementation, I'd recommend reading this article.
In a Merkle tree, the leaf nodes contain the hash of a block of data and the non-leaf nodes contain the hash of its children nodes.
In a Merkle tree any change to the underlying data causes the hash of the node referring to the data to change. Since each parent node hash depends on the data of its children, any change to the data of a child node causes the parent hash to change. This happens to each parent node up to the root node. Therefore, any change to the data at the leaf nodes causes the root node hash to change. From this finding, we can derive two important properties:
- We don't need to compare all the data across the leaf nodes to know if they have the same data. We can just compare the root node hash.
- If we want to prove that specific data is part of the tree, we can use a technique called Merkle proofs. We won't dive into details here but it is an easy and effective way to prove that a piece of data is in the Merkle tree.
The first property is important because it makes it possible to store only a hash of the root node to represent the data at that point in time. This means we only need to store the root hash of the tree representing the block on the blockchain (as opposed to storing all the data in the blockchain) and still keep the data immutable.
Now that we have an idea of what a Merkle tree root hash represents, let's talk about Ethereum main objects.
The world state is a mapping between addresses (accounts) and account states. The world state is not stored on the blockchain but the Yellow Paper states its expected implementations store this data in a trie (also referred as the state database or state trie). The world state can be seen as the global state that is constantly updated by transaction executions. The Ethereum network is like a decentralized computer and the world state is considered this computer's hard drive.
All the information about Ethereum accounts live in the world state and is stored in the world state trie. If you want to know the balance of an account, or the current state of a smart contract, you query the world state trie to retrieve the account state of that account. I'll describe how this data is stored shortly.
In Ethereum, there are two types of accounts: Externally Owned Accounts (EOA) and Contract Accounts. An EOA account is the account that you and I would have, that we can use to send Ether to one another and deploy smart contracts. A contract account is the account that is created when a smart contract is deployed. Every smart contract has its own Ethereum account.
The account state contains information about an Ethereum account. For example, it stores how much Ether an account has and the number of transactions sent by the account. Each account has an account state.
Let's take a look into each one of the fields in the account state:
Number of transactions sent from this address (if this is an External Owned Account – EOA) or the number of contract-creations made by this account (don't worry about what contract-creations means for now).
Total Ether (in Wei) owned by this account.
Hash of the root node of the account storage trie (weâ€™ll see what the account storage is in a moment).
For contract accounts, hash of the EVM code of this account. For EOAs, this will be empty.
One important details about the account state is that all fields (except the codeHash) are mutable. For example, when one account sends some Ether to another, the nonce will be incremented and the balance will be updated to reflect the new balance.
One of the consequences of the codeHash being immutable is that if you deploy a contract with a bug, you can't update the same contract. Instead, you need to deploy a new contract (the buggy version will be available forever). This is why it is important to use Truffle to develop and test your smart contracts and follow the best practices when working with Solidity.
The Account Storage trie is where the data associated with an account is stored. This is only relevant for Contract Accounts, ;in EOAs the storageRoot is empty and the codeHash is the hash of an empty string. All smart contract data is persisted in the account storage trie as a mapping between 32-bytes integers. We wonâ€™t discuss in details how the contract data is persisted in the account state trie. If you really want to learn about the internals, I suggest reading this post. The hash of an account storage root node is persisted in the storageRoot field in the account state of the respective account.
Transactions are what makes the state change from the current state to the next state. In Ethereum, we have three types of transactions:
- Transactions that transfer value between two EOAs (e.g., change the sender and receiver account balances)
- Transactions that send a message call to a contract (e.g., set a value in the smart contract by sending a message call that executes a setter method)
- Transactions that deploy a contract (therefore, create an account, the contract account)
(Technically, types 1 and 2 are the same...transactions that send message calls that affect an account state, either EOA or contract accounts. But is it easier to think about them as three different types.)
These are the fields of a transaction:
Number of transactions sent by the account that created the transaction.
Value (in Wei) that will be paid per unit of gas for the computation costs of executing this transaction.
Maximum amount of gas to be used while executing this transaction.
- If this transaction is transferring Ether, address of the EOA account that will receive a value transfer.
- If this transaction is sending a message to a contract (e.g., calling a method in the smart contract), this is address of the contract.
- If this transactions is creating a contract, this value is always empty.
- If this transaction is transferring Ether, amount in Wei that will be transferred to the recipient account.
- If this transaction is sending a message to a contract, amount of Wei payable by the smart contract receiving the message.
- If this transaction is creating a contract, this is the amount of Wei that will be added to the balance of the created contract._
v, r, s
Values used in the cryptographic signature of the transaction used to determine the sender of the transaction.
(only for value transfer and sending a message call to a smart contract)
Input data of the message call (e.g., imagine you are trying to execute a setter method in your smart contract, the data field would contain the identifier of the setter method and the value that should be passed as parameter).
(only for contract creation)
The EVM-code utilized for initialization of the contract.
Don't try to grasp all of this at once... Some fields like the data field or the init field require you to have a deeper understanding of the internals of Ethereum to really understand what they mean and how to use them.
Not surprisingly, all transactions in a block are stored in a trie. And the root hash of this trie is stored in the...block header! Let's take a look into the anatomy of an Ethereum block.
The block header is divided in two parts, the block header and the block body.
The block header is the blockchain part of Ethereum. This is the structure that contains the hash of its predecessor block (also known as parent block), building a cryptographically guaranteed chain.
The block body contains a list of transactions that have been included in this block and a list of uncle (ommer) blocks headers. If you want to learn know more about uncle blocks, I recommend this post.
Let's take a look at all fields in the block header:
Hash of the block header from the previous block. Each block contains a hash of the previous block, all the way to the first block in the chain. This is how all the data is protected against modifications (any modification in a previous block would change the hash of all blocks after the modified block).
Hash of the uncle blocks headers part of the block body.
Ethereum account that will get fees for mining this block.
Hash of the root node of the world state trie (after all transactions are executed).
Hash of the root node of the transactions trie. This trie contains all transactions in the block body.
Every time a transaction is executed, Ethereum generates a transaction receipt that contains information about the transaction execution. This field is the hash of the root node of the transactions receipt trie.
Bloom filter that can be used to find out if logs were generated on transactions in this block (if you want more details, check this Stack Overflow answer). This avoids storing of logs in the block (saving a lot of space).
Difficulty level of this block. This is a measure of how hard it was to mine this block (I'm not diving into the details of how this is calculated in this post).
Number of ancestor blocks. This represents the height of the chain (how many blocks are in the chain). The genesis block has number zero.
Each transaction consumes gas. The gas limit specifies the maximum gas that can be used by the transactions included in the block. It is a way to limit the number of transactions in a block.
Sum of the gas cost of each transaction in the block.
Unix timestamp when the block was created. Note that due to the decentralized nature of Ethereum, we can't trust in this value, especially when implementing smart contracts that have time related business logic.
Arbitrary byte array that can contain anything. When a miner is creating the block, it can choose to add anything in this field.
Hash used to verify that a block has been mined properly (if you want to really understand this, read about the Ethash proof-of-work function).
Same as the mixHash, this value is used to verify that a block has been mined properly.
Phew... This is a long list... Take your time to read it! Again, the point here is not to memorize each one of the fields and what they represent (you can always Google it later). What I intended was to describe each field in a simple way (at least simpler than the Yellow Paper) to help you to understand what they mean. Think of it as an Ethereum objects for dummies! ðŸ™‚
Let's do a quick recap about what we just saw! Basically, Ethereum has 4 types of tries:
- The world state trie contains the mapping between addresses and account states. The hash of the root node of the world state trie is included in a block (in the stateRoot field) to represent the current state when that block was created. We only have one world state trie.
- The account storage trie contains the data associated to a smart contract. The hash of the root node of the Account storage trie is included in the account state (in the storageRoot field). We have one Account storage trie for each account.
- The transaction trie contains all the transactions included in a block. The hash of the root node of the Transaction trie is included in the block header (in the transactionsRoot field). We have one transaction trie per block.
- The transaction receipt trie contains all the transaction receipts for the transactions included in a block. The hash of the root node of the transaction receipts trie is included in also included in the block header (in the receiptsRoot field); We have one transaction receipts trie per block.
And the objects that we discussed today are:
- World state: the hard drive of the distributed computer that is Ethereum. It is a mapping between addresses and account states.
- Account state: stores the state of each one of Ethereum's accounts. It also contains the storageRoot of the account state trie, that contains the storage data for the account.
- Transaction: represents a state transition in the system. It can be a funds transfer, a message call or a contract deployment.
- Block: contains the link to the previous block (parentHash) and contains a group of transactions that, when executed, will yield the new state of the system. It also contains the stateRoot, the transactionRoot and the receiptsRoot, the hash of the root nodes of the world state trie, the transaction trie and the transaction receipts trie, respectively.
I tried to capture all the information contained in this post in the diagram at the top of the page.
In my experience, learning from the Yellow Paper is not easy and requires a lot of patience. As I said before, the main goal was to describe each one of the main Ethereum objects in words that someone relatively new to the blockchain and Ethereum ecosystem could understand. I hope that you have found this post useful!
- Merkle Trees
- Merkle Proofs
- How data is stored in Ethereum?
- Diving into Ethereum's world state
- How does Ethereum work anyway?
- A (Practical) Walkthrough of Smart Contract Storage
- Inside an Ethereum transaction
- Life Cycle of an Ethereum Transaction
- Ethereum Design Rationale
- Kauri original title: Ethereum Explained Merkle Trees, World State, Transactions, and More
- Kauri original link: https://kauri.io/ethereum-explained-merkle-trees-world-state-transa/1f4196c3db7f41e5845f063dc1581a4e/a
- Kauri original author: PegaSys (@pegasys)
- Kauri original Publication date: 2019-01-15
- Kauri original tags: Ethereum-Architecture, State, Ethereum, Merkle-Trees, PegaSys
- Kauri original hash: QmfSkxDaqNr1oTC4VeWHtKtgvATgUCqY8WwNTkBNjGENH1
- Kauri original checkpoint: QmUP9qZg9vxiTYmDyCRfVzpyYLQbtd6r3GAM7CyqCFhShv