"Rollups are primed to be Ethereum's major scalability solution for the foreseeable future.”Vitalik Buterin
TLDR
- Rollups are the next generation of Layer 2 technology that will scale Ethereum to its full potential.
- Transactions that are sent to the Ethereum network are executed off-chain by Rollups and sent back to Ethereum allowing for greater scalability (increased throughput & cheaper gas fees).
- Two types of Rollups: Optimistic and ZK Rollups.
- Optimistic and ZK Rollups are different and will work in parallel with Ethereum but one will always seem to outshine the other.
- Total value locked in Rollups smart contracts $4.86 billion.
Disclaimer: Not financial nor investment advice. Any capital-related decisions you make is your full responsibility and only you are accountable for the results.
“You're born, you take shit. You get out in the world, you take more shit. You climb a little higher, you take less shit. Till one day you're up in the rarefied atmosphere and you've forgotten what shit even looks like. Welcome to the layer cake son.”Villians Wiki who plays the role of “Eddie Temple” in the movie “Layer Cake”.
The link between the above quote and the article is that “in Crypto, those who want to go higher up must increase their cognizance about this market, how it works and how to take advantage of the opportunities. In this case, understanding the models of the different types of L2s and where they are in their development. This puts you ahead of most people because you’d already know who’s winning over the short term and who’s winning over the long term.
This Research Report is longer and slightly more complex than others as we go all of the details relating to Layer 2s for a full explanation. We explore the different types, pros and cons, their mechanisms and on that basis we conclude which are likely to dominate.
What are Rollups?
Rollups execute transactions outside of the main Ethereum network and send the final data back to Ethereum once done for it to be entered into the immutable ledger.Rollups are secured by native Ethereum security because transaction data is included in Layer 1 blocks. When it comes to scaling Ethereum through Rollups, majority of the data is executed off-chain in a “Layer 2 Chain” while preserving some data on-chain for verification. Rollups deploy smart contracts on-chain that are responsible for deposits, withdrawals and for verifying proofs. By executing transactions off-chain, less gas is consumed, resulting in lower gas fees and higher throughput (i.e. better scalability).
Rollups Mechanics
There is a smart contract on-chain which maintains the state of each Rollup (meaning, the account balances, contract code, etc, that are "inside" the Rollup).
- Transactions that are sent to Ethereum are executed on L2 instead of L1 (off-chain). Data is taken from the main chain, compressed and rolled back to the main chain, hence the name Rollups.
- Any verifier can publish a batch on-chain from L2 to L1. A batch is a collection of transactions in a highly compressed form together with the previous state and the new state of the on-chain smart contract.
- Finally, the on-chain smart contract checks that the previous state in the batch matches its current state. If it does, the batch is stored on-chain, updating the state of the smart contract.
That's all there is to it! except for one crucial detail: how do you know if the batch stored has the correct information (post-state)? This question is crucial since there are two distinct answers to the problem, which results in two distinct Rollup flavors!
Optimistic Rollups
Optimistic Rollups assume that all transactions are valid and submit batches without performing any computation whatsoever, hence the name Optimistic which can lead to significant improvements in scalability. However, they include a challenge period during which anyone can dispute the legitimacy of the data contained in a batch.
If a fraudulent transaction is detected, the Rollup executes a so called fraud proof and runs the correct transaction computation using the data available on Layer 1, this process requires gas. To ensure that validators are incentivized to process only legitimate transaction data, validators are required to stake ETH. If they perform their duties diligently they receive staking rewards, but if a validator submits a fraudulent transaction to the main Ethereum chain, their stake is burned.
Therefore withdrawals through Optimistic Rollups from Layer 2 to Layer 1 would take up to 1 week because of the time it takes to generate a fraud proof.
ZK Rollups
ZK Rollups aim to ensure that everyone behaves in good faith, whereas Optimistic Rollups presume that everyone acts in good faith. ZK Rollups bundle hundreds of transactions into a single batch, a cryptographic proof know as ZK-SNARK is generated for each batch. The SNARK proof or the validity proof is then stored on-chain. This strategy reduces the size of the data in each block because you are replacing data with proofs (much much smaller) and as a result, reducing time and gas cost. The SNARK proof can be quickly verified on-chain, regardless of how large the computation is.In contrast to optimistic rollups, ZK Rollups do not require a challenge period because the validity proof has already validated the integrity of transaction data. As a result, this type allows for very quick withdrawals and instant finality. Therefore, ZK Rollups are ideal for exchanges and other dApps that require simple transactions.
The tweet is simply explaining the difference between the 2 mechanisms of Rollups. A ZK Rollup would proof that a batch has the correct post-state while an Optimistic Rollup would assume that a batch has the correct post-state.
Side note
- EVM-compatible: Ethereum smart contracts can be deployed on the compatible chain.
- EVM-equivalence: complete alignment with the Ethereum virtual machine (EVM).
Optimistic vs ZK
Privacy
Another aspect we'd like to mention is how each Rollup handles privacy. The technical difference is that ZK Rollups, as the name implies, use zero knowledge proofs. Which is a type of cryptography that allows the proof of data without revealing the data itself. ZK-SNARKS stand for “Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”. “Recursive proofs” refers to the act of verifying a proof inside another proof, verifying a SNARK inside of another SNARK. This is a handy compression technique that allows for greater efficiency and reduced privacy costs. Optimistic Rollups are incapable of this innovation.
SNARK proof verified inside another SNARK proof - just like Mina Protocol.
Security: Major Factor for Adoption
Security is the one of the key aspects in the success of every Blockchain. Many L2 solutions have attempted to scale Ethereum, they function, to be sure, but security was still jeopardized because these solutions relied on their own consensus rather than Ethereum's. Security is not at risk with Rollups. Let us explain why:- Rollups store batches on-chain, this allows Rollups to inherit the full security of Ethereum.
- If you ever had funds on Solana or Polygon and the network was down for an unusually long period of time then your funds would be stuck and there’s nothing you can do about it. Mainnet Rollup smart contracts contain "escape mechanisms” that allow users to exit Rollups with their funds back to mainnet even if the Rollup network is offline.
- When using a Rollup with a centralized validator you are compromising on trust and censorship-resistance, but not security. Centralized validators cannot steal your funds and you can always withdraw back to mainnet Ethereum.
Ethereum Sharding Upgrade
Sharding refers to splitting the entire Ethereum network into multiple chains called “shards”, which will reduce network congestion and increase transaction throughput. Each shard would have its own state, which would include a distinct set of account balances and smart contracts.Initially, there will be 64 "shard chains." Eventually, there will be 1,024 “Shard Chains”. Shard Chains provide extra, cheaper, storage layers for Rollups to store data. Rollups that use sharded data can process up to 100k TPS, and possibly even more in the future. So it’s Rollups on top of Shard Chains that will be the ultimate scaling solution. Of course, this is such a long term process and is still in development.
The Rollup King
The transition to Rollups is still at an extremely early stage, with the most activity still seen on Ethereum mainnet and a handful of alternative Layer 1s.Optimistic and ZK Rollups will be able to run at the same time and can interact with the Ethereum Blockchain, one will be more favorable than the other in certain dApps. They are versatile and can easily be upgraded or changed without affecting the fundamentals of the underlying blockchain they were built to interact with. Rollups also enable redeployment of all the existing Ethereum smart contracts to a Rollup with little or no change.
In the short term as of today, protocols seem to favor Optimistic Rollups simply because they are fully EVM compatible unlike ZK which are still in development to be fully verified on EVM. It is easier to transport an existing Ethereum dApp over to Optimsitic Rollups rather than ZK Rollups because ZK are more complex. Exisitng dApps have already migrated to Optimistic Rollups. Users can use Uniswap, Sushiswap, Synthetix and much more protocols on Optimisitc Rollups Layer-2s which explains why Optimisitc Rollups have a TVL of $3.46 billion compared to $1.42 billion for ZK Rollups across all Layer 2s.
However, if we were to pick one for the medium-to-long term, it would undoubtedly be ZK ROLLUPS! Simply said, ZK is more scalable, secure, and cheap. ZK Rollups provide immediate on-chain verification and instant withdrawals, which are critical for bridges. ZK-SNARKs tech is also a huge deal, and one that will very probably be incorporated in Crypto in the long run due to its privacy and scalability characteristics, as certain chains have already begun to do so.
Top Contenders
To be clear, we selected these projects based on their core qualities. These picks aren't meant to be considered as investment advice. Other investment aspects were not considered during the selection of these projects.Arbitrium
With $1.35 billion in TVL, it is now the most used Layer 2. Arbitrium is an Optimistic Rollup that acts as a bridge for the Ethereum Ecosystem where users can deposit and withdraw assets to enjoy a wonderful experience of fast transactions and cheap gas fees. It comes with its own Arbitrium virtual machine (AVM) where dApps from Ethereum such as Uniswap can migrate to Arbitrium. When withdrawing your funds back to Ethereum, the process can take up to 1-2 weeks because validators need to check for fraudulent transactions and provide a fraud proof. But it appears that users still enjoy using Arbitrum for it's wonderful user experience and TVL is proving that (steadily rising). Arbitrium does not have a token yet.Optimism (OP)
Optimism is an Optimistic Rollup that is set to be the main challenger for Arbitrium. After a delay in it’s launch, Arbitrium used the opportunity and launched before Optimism, attracting more capital. With $302.18 million in TVL offering fast transactions and cheap gas fees. Optimism is EVM-equivalent and even has it’s own virtual machine-OVM (optimistic virtual machine). Unlike Arbitrium, which executes certain parts of transactions in multiple rounds, Optimism executes the whole transactions in one round. The withdrawal period can still take up to one week, however it is shorter than Arbitrium. Optimism has it's own native token OP.ZkSync
EVM-compatible scaling Layer 2 that leverages ZK Rollups and supports ETH and ERC-20 tokens. ZkSync is still relatively new and has $80.19 million in TVL. ZkSync is very popular even though it does not have a token yet. Offering fast transactions and cheap gas fees with instant withdrawals. Users can bridge over to zkSync from Ethereum, however, most dApps on zkSync are not live which explains the relatively low TVL compared to other Rollups. ZkSync does not have a token yet.StarkWare Ecosystem
The StarkWare Ecosystem consists of two scaling solutions that rely on ZK Rollups for scalability. Instead of a SNARK, the validity proof generated is known as a STARK (another type of zero knowledge technology). STARKS differ from SNARKS in that they do not require a trusted setup, but their proofs are larger than SNARKS. StarkWare does not have a token yet.- StarkEx: ZK Rollup Layer 2 scaling engine, that allows a specific range of dApps (NFTs and decentralized exchanges) to be built on the StarkEx system that is live on the Ethereum mainnet. The TVL across StarkEx dApps (DeversiFi, dYdX, Immutable X and Sorare) is $1.047 billion. $954 million from a total of $1.047 billion TVL across StarkEx is secured by dYdX (91%).
- StarkNet: General-purpose ZK Rollup that operates as an L2 over the Ethereum network. StarkNet is not application specific unlike StarkEx. Therefore, anyone can deploy a wide range of dApps on StarkNet and still be fully secured by the Ethereum consensus. StarkNet has no TVL so far because dApps are soon to be deployed (no bridges with other chains at the moment). What makes StarkNet unqiue is that it allows other dApps from StarkEx such as dYdX to migrate to StarkNet allowing for greater scalability.
Final Words
We have covered the mechanics of Rollups in great detail including the differences between Optimistic and ZK Rollups, which Rollup will have an edge over the other in the short and long term and which assets are quite likely to dominate in the Layer 2 Ecosystem. Arbitrum, Optimism, StarkWare and zkSync are the chains we believe that will have the most upside in this sector. Optimism recently announced it's native token OP for governance and decentralisation which was airdropped to frequent users and will launch in the market in upcoming months being the first one to do so. The other L2s that we are bullish on do not have tokens yet. The best approach when it comes to L2s, is to use them to qualify for an airdrop. All details on how to use Layer 2s and how to potentially be eligible for an airdrop is covered in the next report.Recommended from Cryptonary
