Here’s how Ethereum’s ZK-rollups can become interoperable
Ethereum’s ZK rollups are engaged in a cutthroat competition. But they’ll need to join forces for Ethereum to win.
The past few weeks have seen a wave of zero-knowledge proof project launches, including Polygons zkEVM and Matter Labs zkSync Era on mainnet, and the Linea zkEVM from ConsenSys on testnet.
They join StarkWares long-running StarkEx solution and its decentralized cousin StarkNet along with a variety of other projects in development from Polygon (Miden, Zero, etc.) and Scroll.
They all promise faster and cheaper transactions to scale Ethereum using zero-knowledge proofs.
But is the brutal competition between ZK-rollups a zero-sum game where there can be only one winner? Or are we looking at a future in which lots of different rollups are able to work in harmony and interoperably?
Anthony Rose, head of engineering for zkSync, thinks the latter future is much more likely and predicts that one day, no one will think about which ZK-rollup they are on because itll all just be infrastructure.
I think that if we dont get to that world, then weve probably failed, he says. Its the same way as somebody using Snapchat or Facebook doesnt really have to know about TCP/IP or HTTP its just the plumbing of the way the internet works.
But how do we move from a bunch of competing sovereign rollups to an ecosystem of ZK solutions that are interoperable and composable?
People are already starting to think about this question, and all of the ZK projects Magazine spoke to have plans to make their projects interoperable with at least some other rollups although the extent to which that can happen likely depends on the development of standards and protocols.
Also read: Attack of the zkEVMs! Cryptos 10x moment
Zero knowledge about ZK-rollups?
If youre unfamiliar with the term zero-knowledge proofs which StarkWare insists should be called validity proofs theyre a way to scale Ethereum using cryptography. Rollups take the computation for tens of thousands of transactions off the main blockchain and write a tiny cryptographic proof back to Ethereum that proves the computation was carried out correctly.
Every proof we generate covers roughly 20,000 transactions and fits inside a single block of Ethereum, explains StarkWare co-founder Eli Ben-Sasson.
Despite this increase in transactions per block, zkSyncs Rose doesnt think Ethereum can come close to scaling up to become the base layer for everything via a single rollup.
A ZK-rollup on its own will not scale to the world that were talking about, Rose says. If we think that applications with some interactions on the blockchain are providing value to hundreds of millions of people, the scalability problem is still there to be solved.
Scaling is a little like internet bandwidth, in that the more you get, the more you realize you need. Back in 2017, Ethereum planned to scale using Eth2 sharding. This roadmap was then ripped up after ZK-rollups emerged in 2018 and promised vastly greater scaling, but only if Ethereum upgraded the blockchain with a different form of sharding (proto danksharding and then danksharding) to enable the ZK-rollups to achieve higher throughput.
Even then, Rose says its likely rollups will need to work in collaboration. This is a big active area of research for us, Rose says of interoperability. As the systems mature as well I think, naturally, this is kind of the pattern that these systems suggest.
Ethereum scaling is some way off
Its the early days yet for scaling, however. Although various solutions claim they can theoretically hit tens of thousands of transactions per second (or even talk about unlimited scaling), in practice, theyre hamstrung by data availability on Ethereum.
At present, between them, the various Ethereum scaling solutions and Ethereum are running at about 25 transactions per second (TPS). Ethereum itself has performed an average of about 12 TPS over the past month, Arbitrum One was at 7.2 TPS, Optimism at 2.65 TPS and zkSync at 1.6 TPS, according to ETHTPS.info.
These numbers move around a bit and are low mostly due to demand rather than capacity. StarkEx is not covered, but StarkWare tells Magazine it averaged 5 TPS over the past month.
Despite supply outweighing demand so far, interoperability between rollups would already be helpful to ensure that users dont get stuck in walled gardens. Optimistic Rollup users, for example, have to wait a week to withdraw funds, which rather limits interoperability.
ZK-rollups dont have that limitation and can allow instant withdrawals (but dont).
Also read: ZK-rollups are the endgame for scaling blockchains: Polygon Miden founder
Interoperable ZK-rollups are possible, but is it probable?
Bobbin Threadbare, founder of Polygon Miden, says interoperability between ZK-rollups is certainly technically possible, but whether it will happen in practice is a different question.
He explains that withdrawals arent instant yet because its not financially viable to put proofs on Ethereum that frequently, so transactions are fired off roughly every 10 or 20 minutes. As demand and throughput go up, this delay will become quicker and quicker.
And in that case, you get closer, closer and closer to this instant kind of movement between different places, he says.
The second thing is that different rollups will have to have some kind of incentives to say, Okay, lets figure out how we can seamlessly move things from this to that.
Threadbare adds, Very fast interoperability between ZK-rollups is technically possible, but a) People need to agree on standards, and b) They need to actually implement these standards in their systems.
And I think thats a much, much more complicated thing to do.
Interoperability is not composability
Theres a difference between interoperability and composability although people often use them interchangeably.
Interoperability is easier and basically involves being able to move funds from one layer-2 (L2) solution to another. By this definition, at least all of the rollups which share an L1 today already are interoperable! notes Optimism co-founder Ben Jones.
Arbitrum’s Patrick McCorry also says that for basic interoperability, you can already send an asset from one rollup to another via Ethereum its just slow.
Or you could have some off-chain solution, maybe like Hop protocol, where theres someone in the middle who you give them the assets from StarkWare and then you take the assets to Scroll, and they provide some way to synchronize. So, theres ways to do that, he says.
Hop Protocol currently allows users to send funds between Ethereum, Polygon, Gnosis, Optimism and Arbitrum, though ZK-rollups arent currently supported. Connext offers a similar service, including BNB. A cross-chain DEX and bridge aggregator called Rango already connects StarkNet to other L2s.
Also read: Ethereum is eating the world You only need one internet
Declan Fox, product lead for the ConsenSys Linea zkEVM, expects support will be added soon. Many third-party bridge providers will continue to offer interoperability solutions for ZK-rollups, he says, adding that bridges have drawbacks around trust and fees.
At Linea, we value open systems and interoperability highly. The Linea testnet has already integrated many of the leading bridging solutions for this reason. In the future, Linea will be able to trustlessly interoperate with any of the layer 3 off-chain systems deployed on top of the layer 2 through their validating bridges.
MetaMask Snaps might help
Another possibility for interoperability is via the browser wallet MetaMask. ConsenSys is in the midst of developing new crowdsourced wallet extensions called Snaps that projects can develop that extend the capabilities of MetaMask.
MetaMask senior product manager Alex Jupiter says Snaps are still in the testing phase, but if we imagine a future where you know Snaps is stable, developers can extend it in all manner of ways. Of course, the next step is to get these different Snaps talking to each other. So, one ZK-rollup can talk to another ZK-rollup, right? And thats part of the vision of Snaps, and yeah, we want to make that world possible.
One Snap that has been demoed already enables MetaMask users to control Bitcoin via their Ethereum wallet, so getting ZK-rollups talking to each other certainly seems achievable.
Who knows where bridging is gonna go in the future as well. Im not an expert on ZK-rollups, but I dont think theres a core technical limitation of that being a problem in the future.
ZK-rollups and composability
Composability is the ability to initiate a transaction that involves operations on more than one different rollup. Jones calls it a stronger form of interoperability where chains can do more than just communicate asynchronously with each other but actually have transactions, which are aware of the state of each chain in some more real-time manner (think cross-chain flash loans).
This is likely to require the development of new standards and protocols, and Rose says that the sooner this happens the better.
It is a strictly better user experience if teams can build through an interface, and we can attempt to have more standardization. I think there is appetite for some of this standardization as well, and I do think we will see more of it as these systems mature.
Fox says that to get to a point where we have synchronous composability, there will need to be a globally sequenced and ordered set of transactions across the different off-chain systems. This is theoretically possible with ZK-rollups thanks to SNARKs [a type of ZK proof] where, for example, a common sequencer could offer a UX of unified execution and pooled liquidity, he says.
Imagine making a DeFi trade where parts of the trade are executed on different chains for optimal liquidity all within the same transaction.
Optimistic about the Superchain
One potential coordination method might be Optimisms Superchain concept, which it announced at the same time Coinbase unveiled its base layer-2 fork of Optimism.
Optimism is an Optimistic Rollup, which is another way to scale Ethereum, though more limited in potential throughput. According to the announcement:
The Superchain seeks to integrate otherwise siloed L2s into a single interoperable and composable system.
Jones tells Magazine, There is no silver bullet, but there are a couple of requirements for interoperability and composability the Superchain aims to address:
Shared Sequencing: To have a system where you can do a cross-chain flash loan, at the very least, at the time when that transaction is being processed, it needs to be included in both of the chains reliably. This requires some notion of sequencers being able to communicate, merge or otherwise network together.
Separation of Proving and Execution: Different applications have different security requirements, and those security requirements impose different kinds of restrictions on what interoperability properties can be achieved. By de-coupling the computation of chain state from the proving of cross-chain messages, we can maximize the interoperability of applications without fragmenting them to other chains.
He says the Superchain can connect optimistic and ZK-rollups as well as other chains, providing a shared, modular standard for all these innovations to happen on.
It is going to be far easier to make these chains interoperate when they are built on the same codebase, compared to interoperating chains, which were written separately from the ground up, he says.
However, underscoring Threadbares point about political issues being more complicated than technical issues, Arbitrum CEO Steven Goldfeder dismissed the concept out of hand.
The notion that were going to sort of coalesce on one particular technology stack a technology stack thats not even built out today, that doesnt have the core features that make it a layer 2 or make it a rollup the notion that we do that is, I think, a bit presumptuous, he told The Defiant.
Why connect ZK-rollups with Optimism?
And Arbitrum is built using Optimistic Rollups. It might be even harder to convince ZK-rollups with their higher potential throughput, to coordinate via Optimism. To some it might seem like connecting fiber optic cables together with copper wire.
However, Optimism is laying the groundwork to incorporate ZK proofs (validity proofs) in its systems with the Bedrock upgrade, and the Superchain will take this idea even further. Compatibility there is the goal, says Jones.
Other potential coordination methods are the Inter-Blockchain Communication Protocol from Cosmos or modular blockchain Celestia (though the latter seems to be trying to replace Ethereum as the data availability layer).
But ZK-rollups could also connect directly with each other.
Polygon ZK-rollups will be interoperable
Polygon has a variety of flavors of ZK-rollup possible in development. They include Polygon Miden (similar to StarkNet), the Polygon zkEVM (compatible with existing EVM projects), Zero (recursive scaling) and Nightfall (Optimistic Rollups meet zero-knowledge cryptography).
Threadbare says that coordinating internally to hook up Polygons ZK solutions is easier than coordinating with outside projects, and he believes the technical challenges are doable. The team is working on the LX-LY bridge to enable this interoperability already.
Because we are all part of the same company, then the technical integration becomes much easier to solve, he says. Moving between these rollups will be super, super simple.
The friction, its not two separate chains or three separate chains. It doesnt appear like that. Its just one Polygon that settles on Ethereum. And moving assets or funds or tokens between these different environments is super, super straightforward and easy. Thats the end game.
StarkEx and StarkNet
StarkWares Ben-Sasson says they are building similar interoperability between StarkEx and StarkNet.
Yeah, definitely. Were gonna be porting the StarkEx systems to be layer 3s over at StarkNet, and, at some point, for them to be solutions on top of StarkNet. Thats definitely the plan, he says.
Back in 2020, StarkWare released a blog laying out its plans for interoperability, but Ben-Sasson says that has been superseded. StarkWares Cairo is a Turing-complete language and virtual machine, which makes it similar in capability to a general-purpose computer.
A good analogy is to think of a layer 2 or a layer 1 as some computer that is just a bit slower than your laptop, but it has a lot of integrity and safety, he says. So, you can start just connecting these computer programs in various ways. Just like today, computers talk to each other and inter-operate or compose.
To get computers to talk to each other over the internet, a set of standards like TCP/IP and HTTP were developed. Ben-Sasson agrees thats the likely path for connecting validity-proof rollups, too.
Perhaps ZK-rollups can connect direct
StarkNet isnt working on standards like that at present, but Ben-Sasson suggests there may be other paths to interoperability. He says smart contracts can be written to interpret the different types of incompatible proofs used by different rollups. StarkNet uses STARKs as the name suggests; zkSync uses SNARKs, for example, while Polygon Zero uses recursive SNARKs called PLONKs.
Someone already wrote on StarkNet a smart contract that allows you to verify a Groth 16 SNARK, he says.
This means the two rollups can communicate directly.
As long as you can, in chain one, verify the proofs of chain two, you can start having interoperability. StarkNet is already able to verify STARKs, and now also Groth 16 SNARKs, and Im pretty sure that very soon, well have things like, you know, PLONKs and Plonky and other kinds of systems.
So, at least in StarkNet, it should be relatively straightforward to be able to prove things happened correctly in other chains, and you can start having interoperability.
Fox tells me separately that Lineas system is already using the EVM to verify proofs (Groth16, PlonK, etc.) in a smart contract, which he says can make it interoperable with L3s.
Ben-Sasson says it seems likely that StarkNet would be able to connect to different rollups directly.
You can do it directly. You can do it because its a general-purpose computer and because of the validity rollup nature, right, that you can just have these systems talking to each other.
So, it sounds like the future is interoperable and composable.
Yes, it definitely is interoperable and composable. Yes. Definitely.
