Ethereum Scalability Solved? Inside OP Succinct's Revolutionary Unlock

4 Dec 2024 · 55:21

Uma Roy of Succinct and Andrew Huang of Conduit explain OP Succinct, which proves the OP Stack inside SP1, Succinct's zero-knowledge virtual machine (zkVM), to turn optimistic rollups into ZK rollups with finality in about an hour instead of seven days. They describe the main trade-off as cost, roughly 0.1 to 1 cent more per transaction, and argue that dropping fault proofs and their large bonds can lift rollups from stage zero to stage one. Huang likens ZK proofs to clean API boundaries that let rollups interoperate, and Roy says proving costs have fallen about 10x a year and expects that to continue. She sees latency, not cost, as the main barrier to an enshrined zkEVM on Ethereum, and both defend the rollup-centric roadmap.

Speakers

Topics

Transcript

really interesting thing that we've seen with like succinct and zk in general is just the cost curves are coming down and so if we can find a foothold today and kind of low throughput chains or even higher throughput chains where users are willing to pay that additional transaction cost it just gets better over time and Welcome to Bankless, where today we are exploring the frontier of ZK technology. It's been said that ZK is the end game, and it's also been noted that ZK technology has been progressing a little bit faster than people previously anticipated. Meanwhile, in the old world of optimistic roll-ups, we are still kind of stuck in stage zero, stage one of the roll-up decentralization. Our two guests today, Uma Roy from Succinct and Andrew Huang

from Conduit, think that they have a silver bullet to leapfrog a bunch of the optimistic roll-up stacks. What do we get with what they are delivering, the OP Succinct? is potentially hyperscale rollups that are at stage one or stage two that have what are like restful APIs between rollups to be able to talk to each other and fix some of Ethereum's fragmentation. Is this the silver bullet that they promised? Well, this is the big question that we ask in this episode. And how does this fix Ethereum's fragmentation? I'm pretty excited about this. The fact that this is already out in production is pretty cool. So we will let you, Bankless Nation, judge for yourself about what you think. But I left this episode quite bullish. All that sounds super brainy,

David. But my biggest question going into this episode is, does this help my ETH bags at all? Okay. And that's a question. Could ZK supercharge the Ethereum rollup-centric roadmap? Could it even supercharge the initiative to make L1 better? And those were some of the questions we asked at the end of this episode. In addition to this narrative funk, this sentiment that... has invaded Ethereum, like, you know, price is down, it feels bad. What do they think about that? And so we weigh into this as to whether we're on the right track or not with the larger Ethereum roadmap and how ZK can help. I think there's been some consternation about the slowness of Ethereum core devs, even though the... Ethereum roadmap is competing with, you know, Celestia, Solana, Bitcoin on different parts of execution, data availability, consensus. Even though the role of the developers are

all kind of going in parallel in three different directions, I think what people are forgetting about is that what's also happening in parallel is roll up technology from third parties, from private interests, innovating and scaling the rest of the roadmap, the rest of the rollups to, like I said, supercharge them kind of to their logical conclusion. So all of that is happening at once. And this episode is focusing on that part of the Ethereum roadmap. So let's go ahead and get right into the episode with Uma from Succinct and Andrew from Conduit. But first, a message to talk about some of these fantastic sponsors that make the show possible, especially Kraken, our preferred crypto exchange for 2024. If you do not have an account with Kraken, consider clicking the link in the show notes to getting started with Kraken. If you want a crypto trading

experience backed by world-class security and award-winning support teams, then head over to Kraken, one of the longest standing and most secure crypto platforms in the world. Kraken is on a journey to build a more accessible, inclusive, and fair financial system, making it simple and secure for everyone, everywhere to trade crypto. Kraken's intuitive trading tools are designed to grow with you, empowering you to make your first or your hundredth trade in just a few clicks. And there's an award-winning client support team available 24/7 to help you along the way, along with a whole range of educational guides, articles, and videos. With products and features like Kraken Pro and Kraken NFT Marketplace and a seamless app to bring it all together, it's really the perfect place to get your complete crypto experience.

So check out the simple, secure, and powerful way for everyone to trade crypto, whether you're a complete beginner or a seasoned pro. Go to kraken.com/banklist to see what crypto can be. Not investment advice, crypto trading involves risk of loss. Are you ready to take control over your entire financial life? Crypto, DeFi, and fiat all in one place? Meet iYield, the free financial planning tool built for crypto natives. Unlike traditional portfolio trackers that just show you the value of your assets, iYield goes deeper. It consolidates everything: assets, debts, income, and expenses, offering you a complete financial picture across 16,000 tokens, 40 DeFi protocols, and all fiat currencies. With real-time DeFi yield tracking for platforms like Aave, Athena, EigenLayer, and Uniswap, iYield ensures that you're always on top of your stake in rewards, investments, and cash flow. And the best part? It's 100% free with no ads

and it's secure. No personal data, no ID requirements, no compromises. So head over to iYield.com. So sign up today and get the guesswork out of financial planning. The Uniswap Wallet is officially the preferred wallet of bankless, and it's the one we use anytime when we want to transact on-chain. Whether you're on your browser or on the go, Uniswap Wallet makes it easier than ever to swap anytime, anywhere. Use your wallet to transfer funds directly from a top centralized exchange and tap in thousands of tokens across Ethereum and over 10 other chains like Base, Arbitrum, and Optimism. Uniswap Wallet delivers deep liquidity, fast execution, and reliable quotes with zero gas swaps through UniswapX. And when it comes to security, you can rest easy knowing it's backed by Uniswap Labs, one of the most trusted teams in DeFi. Their code is open source and independently reviewed, so

you know it's protected. So why wait? Download the Uniswap wallet today on Chrome, iOS, and Android. And don't forget to claim your free uni.eth username directly in the mobile wallet. Start swapping smarter with Uniswap. Okay, so Andrew, Uma, last month, you two announced a collaboration called OP Succinct. And I'll read from the introduction of the blog post. We partnered with Conduit, this is from the Succinct blog, we partnered with Conduit, a leading roll-up platform, to support easy development of OP Succinct roll-ups. OP SYNCED is a best-of-all-worlds ZK rollup. It combines the innovation of SP1, our general-purpose ZK VM, with the OP stack to create a fast, affordable, and highly customizable ZK EVM. This is the first ZK rollup stack that Conduit supports and is the only one offering fast finality of one hour instead of seven days. So guys, whatever is going on here is

kind of breaking the mold for how I've traditionally understood ZK rollups to come into the market. ZK Sync, Polygon, Scroll, these teams are all building their ZK framework stack as like their own flavor. Yet here we are with a Rust-based ZK VM provider combining with a rollup as a service provider to bring a new ZK stack framework to the table. Can you guys tell me what the hell is going on here? Can you guys elaborate on this alternative approach to entering the market? Uma, can I start with you? Yeah. So I think you had a great point, which is how were ZK rollups done in the past is really different than what we're doing with OP's Hissinked. And that's because it used to be the case that ZK was really hard. So you'd have all these teams like Scroll, Polygon, ZK Sync that have teams

of 30 cryptography PhDs that have to build all these ZK circuits, which is basically magic moon math, and make a really complicated thing, a very complicated machine to build a ZK rollout. And there's a lot of downsides to this, like the roll-ups are not fully EVM compatible, which means it makes life worse for developers. They take a really long time to develop. They're hard to upgrade. And it's all very complicated. And I think that's part of the reason why these roll-up as a service companies like Conduit haven't really been able to offer these types of roll-ups to the broader ecosystem.

So that was the old way of doing ZK. Now with SP1, ZK is really easy. You don't have to have 30 cryptography PhDs. You can just write normal code and use it. So ZK basically turns into a weekend project. And that's pretty awesome. And then what this lets us do is it lets us take an existing rollup stack, Lego P stack, which is used by Base, Unichain, Rollchain, and a lot of other teams. I think, Andrew, you guys have like hundreds of teams like experimenting with it. And you can take that and you can just take normal code for it, put it in SP1 and make it a ZK rollup. So that's why I like to say it's kind of the best of all worlds because you kind of get the existing roll-up stack that's used by many teams. It's battle-tested, it's production-ready, and you

can get all the benefits of ZK, which is fast finality, better interop, actually secure, stuff like that, and get the best of all worlds. Okay, so are we saying effectively that all of the optimistic roll-ups that we have, at least in the OP stack, it could be a weekend project to just optimize upgrade those to ZK roll-ups? Yeah. Wait, for real? Seems a little too good. There's no trade-offs there? We're used to the word trade-offs. Is there a trade-off in that transition? I think probably the only trade-off is that it's a little bit more expensive. Like, you have to pay for ZK Proving. Yeah, or it's a little more expensive than if you don't have to do ZK proofs. Why this feels like a big deal is like I've long,

I mean, we've watched a kind of the dual development of optimistic roll ups and ZK roll ups, all the while the entire industry has knowledge like that ZK roll ups are going to be the end game. So it's always felt like there's some technical debt out there with all the optimistic roll-ups will eventually have to kind of like become ZK roll-ups. And I was just under the naive impression that that would be like a really massive, uh, like roadmap item that could take like months to years to actually accomplish plus the actual willpower and we might like forever be stuck on optimistic roll ups. But this is just like if it's as simple as kind of some lines of code and flip flipping a switch. Like is why do you essentially predict that all of the optimistic roll ups will just turn into ZK roll

ups like Sometime next year. Is there anything preventing that or could that even like, why is that a good thing? So we think the ZK technology is like incredibly impressive. I'd say it looks like it's happening overnight, but Uma has been like building for like years. And I met her two years ago, actually at the the zero X park kind of residency and in New York. And back then, like the state of the art of ZK was you're using Surcom, you're writing like these custom circuits that take forever to write. And there's no hope of getting these really complicated like EVM implementations to prove in a way that was computationally efficient and like... not super, super expensive. I think the core innovations that have happened over the last few years

are really one, much better rust tooling for the EVM. So like I think Georgios with, you know, I think Reth and like our EVM, OP Alloy, all this stuff has made developing the EVM in rust much, much easier. And then I think the core kind of innovation here is really SP1, which enables you to turn any kind of Rust code into like a ZK VM. And so that's really the composition that's happening here, enabling us to, in some ways, like leapfrog a lot of the ZK implementations that are out there today. I think the main barrier to entry today is really one like the integration. So obviously, you know, we can project to like get it quote unquote working. It's a little more effort to get this integrated into a

production ready kind of framework. And we've been working with the team on that and we're excited for it. I think the other thing that kind of comes up is really, and Uma mentioned is kind of the cost. And so I, You might use this for a high throughput rollup. And the way to make it scalable is actually to pass on the cost to the user. And Uma will actually have better stats here on the cost per transaction, but it's somewhere between 0.1 cent to a cent more per transaction, which if you look at most Layer 2s, a lot of users are kind of willing to pay. I think where ZK might have more trouble today is where teams are subsidizing fees for their users, in which case it might be too expensive. But I think the really interesting thing that we've seen with like Sysynct

and ZK in general is just the cost curves are coming down. And so if we can find a foothold today and kind of a low throughput chains or even higher throughput chains where users are willing to pay that additional transaction cost, it just gets better over time. And really, I think the story here is if you look at optimistic fault proofs, particularly for large systems like Arbitrum One or Base or OPMainnet. They require like huge bonds and these large kind of challenge periods and withdrawal periods because they have this like interactive kind of proof system. And so, you know, it's really cool technology. It's like big brain. It's awesome. But probably only the largest chains are going to be able to afford the bond that secures that TVL. I think the really interesting thing about ZK is democratizing that security and that

proof system to any chain that kind of wants it. And so I think that's the core innovation here, in addition to a bunch of other kind of secondary effects like faster finality. There is two things, Andrew, that you said that I want to make sure I understood. You're talking about which of these like layer two chains are like the most appropriate for this upgrade. And I think what you alluded to is it's the ones that have a critical mass of users because the last I checked in on like my ZK knowledge, ZK really works when you can amortize costs across many, many, many transactions. And so if you are like a brand new layer two with like not a lot of activity and you're just kind of bootstrapping up your activity, the proving costs are going to be high per transaction. But like maybe if

you're base or arbitrum, the big ones, where you can really spread out the cost of proving across thousands and thousands of user transactions, this is when leveraging SP1 really makes the most sense. You guys are both nodding, so I'm sounding like I'm getting that part right. I think definitely directionally right in that the more, so there's an overhead per block for proving, but the more transactions you have, the more you can amortize. What I'll say that's, you know, what's been impressive is actually bringing down the fixed costs that you're referring to. And so like a new chain can actually get started as easily as like resupply like three K a month for kind of succinct proving, which is like on par actually with the cost of like, you know, launching the roll up on Conduit. And then the kind of volume based cost or the

usage based cost, you can end up passing on to the user to the tune of 0.1 to one cent per transaction. And so there are a lot of use cases that, you know, particularly on the lower throughput side that can support that, even on the higher volume side. I think if you look at priority fees and base fees on base, users are typically paying at least that much or even more than that. And so I think it's getting to the point of affordability where really anybody can use it. I think the main use cases where it's harder to do is where kind of the chain operators subsidizing transactions. Because it's at that point, you know, you're already dealing with, you know, spam prevention and things like that. And ZK might be too expensive. And that's where, you know, ZK fault proof might make more sense.

Again, an improvement over the OP fault proof because it's, you know, it does require a challenge, but it's non-interactive. And so you don't need a super expensive bond. And really, I think what we're seeing is like ZK almost leapfrogging kind of the optimistic technology. And this was such an underrated like kind of advancement on the tech tree that honestly we didn't see coming. And so when Uma came to like pitch us on it, like we were kind of blown away and we're super excited by it. Okay, that was one of the things that I wanted to get clarity on. The other one was the bond. You talked about the very large arbitrum bond that arbitrum has to use to facilitate withdrawal requests, right? Like it needs to have liquidity in the bridge to unlock assets that people are depositing and getting out of arbitrum. And

because of the seven-day optimistic fraud-proof window, they need to have a sufficient amount of liquidity to account for seven days of liquidity. And so anything can happen in seven days. But because this ZK OP Succinct only has a one hour challenge period, all of a sudden we're unlocking a lot of capital. Is that the main benefit of having a one hour challenge period? If we can just like, you know, unleash a lot of capital here and kind of restore that into circulation or what other benefits come with that one hour challenge period? So the The bond is separate from actually the liquidity and the bridge, and the bond is there and needs to be proportional to the amount of capital at risk. And so for Arbitrum, there's billions of TVL in there, and that's why their bond is millions of dollars. You might see the

same thing on OP Mainnet or Base. So that's why it gets so expensive. I think what's interesting about ZK is because you don't have this challenge kind of mechanism, you're actually proving the execution and the state route that gets posted to layer one can only be accepted if the proof is correct. It means you don't need a challenge game. And so with that, that means you don't need the bond. and you can have much faster finality guarantees. What faster finality actually enables is much actually cheaper kind of bridging or interop between different Layer 2s. And so I think you're exactly kind of, you hit the nail on the head where if you have a seven day withdrawal period, you know, fast bridges, whether it's like, you know, across Layer 0, kind of relay, you name it. They have to take kind of the capital cost

of, you know, shifting capital across these layer twos and having this capital locked in these seven-day bridges. That gets like very expensive over time. When you bring that from seven days to one hour, that's just like an over 100x improvement in the capital efficiency of these protocols. And if bridging is even like relatively inexpensive today, it goes even cheaper. And I think that's the type of interop and kind of primordialization primitive that I think enables cross-chain interactions in a way that we see today at kind of a minimal level in terms of like kind of bridging. But I think Intents and Interop is something that is going to be turbo boosted by kind of fast finality. Well, one thing I'm seeing in the Interop space is that it's increasingly finding ways to be abstracted and kind of pushed into the background. And if bridging costs

also go down significantly because the cost of capital is going down significantly, that's just another way that we can just kind of like hide the costs of bridges. If bridge cost goes from 10 cents to a 10th of a cent, like you can kind of just like sneak that into just like a fee somewhere and hide that. So that's pretty interesting. I want to really tap into what I think is kind of the main course of this upgrade, which is scale, scale, scale, scale. Uma, do you have any kind of numbers that you can give us about what you're doing to the roll-up space or what you can do to the roll-up space when we have SP1 integrated into the OP stack? Yeah, so I think Andrew from Conduit is kind of of the opinion, which I agree, where we're going to have thousands of

roll-ups on Ethereum. And that's really how we're going to reach the massive TPS, the massive scale that we need. And we already see that today where basically every big application or company like Base, Unisol, WorldCoin, they're all launching their own chains. I think something you said earlier, is that today with all these different roll-ups, it's really hard to make them interoperate. Like bridging is a huge topic in the ecosystem. Interoperability, fragmentation is like a lot of what's in the Ethereum narrative right now. And it's like negative narratively. And I think ZK really helps solve that. Basically, if you have every roll-up being a ZK roll-up, You don't have this seven-day nonsense anymore. And you just have all the roll-ups talking to each other in like an hour. They can verify

each other's EK proofs. You get interoperability within an hour in the worst case. And then in the best case, you have teams like Across or Layer Zero who can just fast bridge. And basically, the way it works is they issue kind of like a... They kind of front the capital to the user, and then they settle in the background. Now, if you talk to Hart from across today, he'll say his life is really difficult to set up all this infrastructure because he has to manage all these capital issues for seven days across all the roll-ups. So that really sucks for him and his team, and it sucks for any team that's trying to set up these fast bridges or chain abstraction layers or whatever. But with ZK, that seven days becomes one hour, which is literally over 100x improvement. And it makes all those teams'

lives easier. So the biggest thing I'm excited about is kind of to fix all the problems with Ethereum, of fragmentation and interop, We're going to need chain abstraction. We're going to need all these bridges. We're going to need all these liquidity layers to make all the roll-ups feel like one chain. And I think that'll happen for sure. And I think the way that's going to happen is that it'll be a thousand times easier for all those teams to kind of manage their capital and manage all the bridging and liquidity and money across all the different roll-ups when all the roll-ups can settle and talk to each other in one hour instead of seven days. So... Maybe to summarize, I think actually having fast finality and ZK level finality is one of the biggest things that's holding back the Ethereum ecosystem today from feeling like one

unified chain. Okay, this is amazing. This is why we wanted to have both you guys on is because I thought this was, and I think David thought this was like a distant future, right? And again, it's here and now. So like, I'm kind of asking what the like... I mean, is there bad news here? Like, this seems like such a no-brainer for all of the optimistic roll-up chains to just upgrade at some point, right? Like, why wouldn't they all do this? So you're telling me that we get better interoperability when you're... like one hour interoperability and like we don't have that withdrawal period. We get to not worry about all the complicated fraud proof code.

And by the way, fraud proofs were kind of a kludge anyway, right? It's like it felt like it the entire time. It's like, you know, no one wanted to say optimistic rollups were just like using some kludgy kind of like you know, better to replace that with cryptography whenever we can. So we have Z cave rollups and then capital efficiency improvements. Anyway, at the end of 2025, is there any reason that all existing optimistic rollups don't just like upgrade? I've talked to the Arbitrum team and they have seemed in the past to be a bit less bullish on ZK than like other teams. So I don't know if they'd be a hold up and a hold out. And if so, if so, why would they be like, is there any downside to this? I think if you talk to the optimism team or the arbitrum

team, they actually agree with you and they think ZK is the end game. I think the probably the biggest disagreement that me and Andrew might have with them is the timescale. I think the optimism team and the arbitrum team thought the maybe all their rollups will be ZK in like three to five years. I kind of agree with you, Ryan, that it should be the end of next year. I think the tech is finally ready. It's actually like cheap and fast with SP1. And it's also really easy. Like the developer experience, the customizability, the upgradability is really, really good with SP1. One thing to say is this tech is pretty new. Like SP1 only went live on mainnet in August. And, you know, we only got OP Sysync working. We demoed it in like late August, early September. And then we only recently got stuff

running in production. And there's like a long cycle to take something from a really promising proof of concept to production. We worked a lot with the Condra team on that, even like late October, earlier this month. So I think as with any big tech advancement, it like takes some time for these big companies like Optimism and Arbitrum to kind of Understand it be like oh, it's actually real. Oh, it's actually running. Oh, okay. Let's use it They don't want to be first out of the gate, right? Okay, but Does this do anything for you know The L to beat stage progressions in terms of like the level of decentralization of your roll-up does incorporating like you're converting your optimistic roll-up into a zk roll-up Does does it do anything to advance that cause can you get to stage one faster or stage two faster as

a result? Yeah Yeah, today, most rollups that run are stage zero, actually. So most rollups deployed on the rollup as a service platforms are not actually using the fault proof technology, because it is pretty complicated to set up. It requires large bonds. You know, who's running the challengers? I mean, there's a lot of questions around that. And I actually think there's this kind of myth that fault proofs are simpler than ZK, I actually think they're a lot more complicated. You're totally right to call it this like kludgy technology. And there's a lot of hidden costs associated with what's going on there, including the bond period, capital inefficiency, stuff like that. So... Yeah, I think basically like all those rollups today are at stage zero. When they adopt Opie Succinct, I

think they'll be at stage one, which is a dramatic improvement versus just being a multi-sig. So guys, one part of the Ethereum roadmap, many of the EF developers, Justin Drake, will say like, It's left up to the layer twos. And that's really a lot of like the order of magnitude of scale and reducing latency. And maybe we can kind of fill in that part of the conversation of how this model, the ZK model, kind of just completes the rest of the picture of Ethereum's like layer two scaling roadmap. You know, Uma, you said ZK is the end game. Yeah. Uma, I think when Uma talks, we're talking about like, okay, here's one individual chain and we're gonna just like juice that thing up to the max. And then we're gonna turn to Andrew and be like, and then I'm gonna do that for 10,000 more

chains. So maybe Uma, we can kind of go back to that part. Like, again, like how, can you articulate just the narrative, the vision for how you can take this and scale a chain to its like logical conclusion? Yeah, so a natural question is if I have a really, really high TPS chain, like how does ZK kind of work? Like, does it become really, really expensive? And the answer is actually no, because if you have a really high TPS chain, there's some fixed costs for even generating the proofs at all. And those are actually really cheap, as Andrew was saying. It's like a couple thousand bucks a month. And that number is going down like day over day. And then there's like kind of each transaction has a proving cost associated with it. And it's pretty similar to DA. Like every transaction today pays a

little bit of money for posting DA to Ethereum. In the future, every transaction will pay a little bit of money for DA and also for proving. The proving costs do scale significantly. with the number of transactions in the chain. But people should think about it as every transaction paying its little bit to the overall proofing cost for the entire roll-up. And those proofing costs are really cheap. So for example, for an ERC-20 transaction, that's like 20 or 40k gas, it ends up being like hundreds of a cent. It ends up being less than a tenth of a cent in proving costs. So I think that actually might be comparable to the cost they'll pay for DA when blobs are priced on Target. And for, you know, more expensive transactions like a deck swap, it's like a couple tenths of a cent. And then at the

top end of transactions that are millions of gas, it's like around one cent. And although all those costs are honestly pretty cheap compared to like what users on base even pay today, I think the average transaction cost on base is like a couple cents, especially when you factor in priority fees. And so I think overall the proving costs actually have really nice scaling properties for very high TPS chains. Umai, like you said, this is a brand new technology that we are just testing out and all technologies iterate and improve. Can you kind of simulate for us the future of the cost structure of this whole tech stack as it kind of matures, gets better, improves?

How much juice is left to squeeze here? I think there was a lot. So, you know, six months ago, I think, well, a year ago, people didn't even think this was possible. They thought ZKVMs would be too slow. If you just take Rust code and stick it in a ZKVM and try to prove the EVM, it would be like way, way, it would be impossible. It wouldn't even finish in time. It would take like days. Then a year ago, I think it was like millions of dollars per year to even prove like Ethereum blocks or prove any of this stuff. Then when we first released SYNKT, I think all this stuff would have taken like dollars. So it was like 10x more expensive. And since we first released SYNKT in February and SP1 in February to today, we've improved our performance and costs by 10x.

So that's pretty significant. And I think over the next year, there'll be another 10x that comes out from like better cryptography, better algorithms, you know, even better Rust code. So overall, I still think there's like a 10x left, if not much more. And hopefully at that point, the proving costs are like almost zero. So users don't notice. So you're talking about the... I've heard this term and I don't fully understand what it means. It's like the cost of proving needs to go down before we can do X, Y, Z, right? I hear that repeated constantly. about like distant Ethereum futures and all sorts of discussions. Is that effectively what you're talking about? The cost of proving like kind of like going down and why does that matter? Why is that significant in the scheme of like unlocking the potential here? And like when you say

it goes down, how does it go down? Is this like a Moore's law thing? Are we like improving some hardware somewhere? Like, this is something I've not quite understood, but, like, you guys are the ZK experts, so maybe you could shed some light on this. Yeah, ZK definitely has its own Moore's Law, where the costs have been going down by 10x, like, every year. And that comes from a bunch of different things. It certainly comes in part from, like, better hardware. Like, when we first started, we were using CPUs. Now we use GPUs. Um, it also comes from better cryptography and algorithms. So we're like innovating on the ZK front to make our algorithms just more efficient. And that just comes from like being smarter and like thinking harder about how to make all this stuff theoretically better. Um, And so the combination of those

two things is what's leading to these like 10 X's every year. And do we expect that will continue? It's just kind of like, you know, you see those charts like Moore's law, of course, is a famous one in compute technology. But there's also like genomic sequencing and sort of the cost to sequence a genome. It's cost billions. And now it's like, I don't know, we're down into the thousands and that will get into hundreds. How much more can we squeeze out of this proving costs like through hardware acceleration and software algo improvements? Do we have, you know, many years of this to expect into the future? Yeah, I mean, it's happened for like the past five years. So I think there's no reason to think it won't continue. So I'm super optimistic that we still have like orders in magnitude to squeeze out. And I

think definitely, again, if you look at SP1 from earlier this year to now, there was like a 10x. I think if you look hopefully by this time next year, there'll be another 10x through a variety of factors. I think one thing to point to is like, If you look at AI, if you look at GP3 versus GP4 versus like the new GP, whenever they put out GP5, you kind of see a similar thing where the models just get better and better and better. And it's like really astonishing and remarkable. And I think a big reason for that is like those models had the right form factor where anyone can talk to them in English and they like spit back out, you know, smart words, basically. Yeah. And I think ZK's finally arrived at like the right form factor where you just put in normal code

and you get out proofs. And now that we have this like final form factor that's really flexible, that's general purpose, that can prove any computation, that can prove any software, we can just take that form factor and basically like turbo accelerate it and make it faster and cheaper because it's like, it's the correct like final form. So I think that's like, the unlock to enable ZK to like be everywhere. Okay. And then when prover costs get really cheap as they will, and we're plotting kind of the trajectory trajectory of this, then so like, what does the average crypto user get out of that? Do their ZK roll up transactions like get cheaper, like 10x per year? Do they become like, is that what we get? What what what is how

does everyone benefit in crypto from really cheap proving costs? Yeah, their transactions will get cheaper. They'll have more security. In some cases, they'll upgrade from having zero security and relying on a multisig to having actual security. And everything will be verifiable. I think like verifiability is this like key cornerstone of crypto, right? Like the whole point of all the systems we're building is that it's decentralized, it's transparent, it's verifiable. And with CheapZK, now we can just make a lot more things verifiable. So every role will be verifiable. Every transaction is verifiable. It can all talk to each other. There'll be seamless interoperability. New projects are coming online to the Mantle Layer 2 every single week.

Why is this happening? Maybe it's because Mantle has been on the frontier of Layer 2 design architecture since it first started building Mantle DA, powered by technology from EigenDA. Maybe it's because users are coming onto the Mantle Layer 2 to capture some of the highest yields available in DeFi and to automatically receive the points and tokens being accrued by the $3 billion Mantle treasury in the Mantle Rewards Station. Maybe it's because the Mantle team is one of the most helpful teams to build with, giving you grants, liquidity support, and venture partners to help bootstrap your Mantle application. Maybe it's All of these reasons all put together. So if you're a dev and you want to build on one of the best foundations in crypto or you're a user looking to claim some ownership on Mantle's DeFi apps, click the link in the show notes to

getting started with Mantle. Radically simple ideas always tend to catch on. That's why Cartesi did the hard work of putting Linux on-chain. So that building dApps can be radically simple by using Python or JavaScript and their suite of libraries. Simple, like not rebuilding the basics from scratch. Simple, like dedicated scalable compute for your dApp. Simple, like building dApps however you want. Web3 should be simple too, like bread and butter. Cartesi brings radically simple solutions to Ethereum, so developers can do what they do best: build. Go ahead and discover a flexible, modular stack on Cartesi and build your most powerful, ambitious project yet. So Uma, I think represents the vertical scaling strategy in this conversation.

Andrew is the horizontal here. So Andrew, Uma just gave us the roadmap for how she's going to allow us a chain to scale to its logical conclusion with being verifiable and secure. You are going to distribute this technology. You are the distributor. Can you talk about Conduit's role of democratizing access to all the GigaBrain stuff that UMA's building? For sure. And then one thing that I think wasn't mentioned, but I think is important in kind of the vertical scaling topic is latency. And so right now it takes about 45 minutes. Uma can correct me if I'm off there, but about 45 minutes to generate a proof.

When that goes down to like 30 minutes, 15 minutes, even something as real time as like one minute, I think that's where cross-chain communication starts to get really interesting. And today we're relying on basically interrupt protocols to front capital. when you have the proof that something happened, and you can actually have double proofs on both sides, I think that starts to get really interesting in terms of kind of unique primitive and removing trust from the equation. And ultimately, like, what we're building here is, you know, scalable systems that don't require trust and that have verifiability. And I think that's a very important cornerstone, in addition to, obviously, the cost, is the latency of generating kind of these proofs. In terms of distribution, the way that I kind of think about ZK and kind of Ethereum in general, you know, we have so many different roll-up

frameworks, right? And they all have, like, different ways of communicating their state to Ethereum. And you even probably felt this at the DEVCON Interop Summit, right? You have these different frameworks, how do they all kind of talk to each other? And kind of the interface is really, can I withdraw to Ethereum? And with a seven-day kind of optimistic challenge window, it's very difficult and very slow and very expensive to do that. And there are like some solutions like Superchain is maybe a good example where they're trying to find a way to get faster kind of native interop working with an optimistic kind of fault proof. I think one of the, and like, there's a good story from AWS where when they were scaling the company, instead of kind of teams

reaching into each other's code bases and like making modifications, they defined very clear API boundaries. And that was how AWS kind of scaled. I think ZK with fast finality has the potential to do this for all the chains across Ethereum, right? So you no longer have to introspect the implementation of a particular rollup. You don't need to know about another rollup state. All you need to know is that you can have fast finality and move capital out of that roll up, you know, starting with an hour today, maybe it goes to, you know, five to 10 minutes in the future. And that being kind of the ultimate interface where you don't have to know any implementation details, but you can easily move and transact across chains seamlessly kind of on Ethereum. And so that I think more than anything is kind of what we're excited

about is, yeah, again, like, de-risking and kind of decoupling these chains and enabling a flourishing of innovation and different types of kind of roll-ups across the area. Andrew, I really like that metaphor. I remember hearing it like once before, and I think it's worth kind of going over it again and its significance. The metaphor of like internal AWS teams, this was about like cross-team cooperation, communication, compatibility with like Amazon working itself as an org structure. And Bezos, the leader here is like learning that like different components of like the AWS team would like different teams would talk to different teams, like teams of five persons talking to another team of like five persons in like a different part of the org. And I think there's another like famous Bezos quote

of just like, your team needs to be able to share two pizzas. And if you can't feed your team with two pizzas, then you need to break apart the team because they're gonna slow down. So you like these small modular kind of teams. And the story here is that he wanted to have these teams stop talking to each other because that slows down progress. And so there should be like API endpoints. These teams, if you want to talk to another team, you got to talk to their API. You don't go talk to the team. You go talk to their API. And that's what scaled coordination internally to Amazon. Uh, and what allowed like Amazon to become like the gargantuan that it is. And you're extending this metaphor to roll ups.

It's like, stop heart, stop going into like the code base of these, uh, roll up teams. Stop looking at like what their internals are like. So you can figure out how to couple there. Just it's a ZK proof, just like hook right in into that. And this is like extending this metaphor to just like this is just how efficient cross-chain communication can happen faster, lower latency with like stronger assurances. What can you add to that metaphor? 100%. This is really, I think, the execution of the roll-up-centric roadmap, right? And Ethereum is kind of like, you know, AWS. And, like, how do we get these different teams or these different parties that are building on top of Ethereum to collaborate and coordinate in a way that provides a seamless kind of

interface and kind of experience for the end user? And I think, like, just to take a very explicit example, like, you know, the Optimism and Arbitrum codebases are... in terms of how they approach roll-ups and it might be tough to get those two teams to kind of work together. With ZK, it kind of doesn't matter, right? Because Ethereum is that unified interface. ZK is the technology that enables that kind of fast finality. And it's kind of really the glue between kind of the communication there. And so I think that... When they say ZK is the endgame, I think it's really true. I think what we really underrated is how fast it would kind of get here. And I think, you know, credit to SP1 and great teams working in ZK for making that happen. So ZK proofs are kind of like the RESTful API that

allows like all of these different like rollups to, you know, communicate with one another as a standard? That's right. So I would say basically the, it's really the faster finality and the validity proof that's enabling faster communication. And so OpsCon, Optimistic roll-ups by their construction with the challenge game and kind of censorship resistance requirements will always need a very long kind of challenge period and withdrawal period. And so this is kind of the core thing is faster finality. Well, it's interesting because whenever we talk to you, like one fixing like fragmentation solution set that's been brought up in recent months is Polygon's AgLayer solution. And whenever I've like we've asked about, OK, what's required for everyone to participate in like this idea of shared interoperability between all of the roll ups and kind of an Aglare type standard, whether it's a polygon standard or something

else, like just something that uses that tech. Always the answer is like, well, only ZK roll ups can participate. Right. And I think that's effectively what you're saying. But like this gets a fast path to all the optimistic rollups to become ZK rollups. And then they can all interoperate rollup to rollup without going back to Ethereum mainnet in like kind of an Aglare type construct. Is that sort of what you're saying here, Andrew? Yeah, I think there's, so there's going to be like, so AgLayer, I would say, is like a kind of custom implementation that they're going to work on that is going to enable additional features. What I would say is what ZK provides is a minimal kind of interface and API so that anybody can communicate with anybody.

And so AgLayer So AgLayer is going to be for AgLayer-specific chains in the same way that Superchain is for Superchain-specific chains. What ZK enables is kind of the lowest common denominator without kind of high overhead. One potential problem that I might see, Arbitrum loves their Orbitz. Optimism loves their super chain. And you guys are presenting this like alternative solution. And there's that classic XKCD meme of we have 14 different interoperability standards. You know, Polygon wants their ag layer. Now we have this like 15th. And sure, it's better. But, But how do you actually convince the market? How do you convince adoption of this standard when optimism has just been so hyper-focused on their

own internal system and so has Arbitrum? I think with Superchain or Orbit or Aglare, like, ZK is not competitive. It just, like, helps accelerate all those things. So especially with something like Aglare, it really relies on every roll-up being ZK. But I think Aglare can actually... accommodate any stack. So Aglare, you can have OP stack chains connected to Aglare with OP Sysynced. You can have any chain that has a ZK-proof connect to Aglare. So it's actually super general and it's uniquely enabled by ZK. And also, oh, by the way, they're building Aglare with SP1 too. Same with Superchain. Like Superchain is kind of two things. One is this like protocol for shared sequencing and interop at like real time, basically, to really make all the chains of

the Superchain feel like one. But then there's like settlement of all the Superchain chains and making sure that like, you know, the validity of kind of having these cross-chain Superchain transactions are preserved. And that can be done with the ZK proof. So Superchain Super Chain one day can use ZK and that'll just make all their lives better, basically. So it's actually an accelerant, not competitive. One reason why I've been like kind of bearish on, uh, interoperability between the Layer 2 space and Ethereum. One hurdle that Ethereum's Layer 2 is going to have to get over for me to get bullish on Interop was the fact that it was a lot of social coordination more than it was technological coordination. But Uma, I think what you're alluding to is like, there is no social coordination here. It's actually, we could just go back to

the tech And it's actually just like adopting superior tech. And what results out of that is just better interoperability. Is that correct? Yeah, totally. I mean, tech problems are easier to solve than social problems. And I really like what Ryan said about ZK being like the restful API of rollups, like Each roll up, if I have a proof for an OP roll up and I have a proof for an arbitrum roll up, then those two roll ups can talk to each other. And it kind of doesn't matter if like the teams don't like each other or like, you know, they're not building a protocol. It's just a proof is a proof. I love that. The classic Bitcoin meme about this is Bitcoin is money for enemies. Like Bitcoin is trusted between enemies. Like two enemies can transact using Bitcoin. And, you know, optimism, arbitrage, not

enemies. But, you know, they've had their tensions before. And so maybe the SP1, the ZK proofs is cross-chain communication for teams that are competitive. Now I want to broaden this for a second to a topic that's also near and dear to my heart and our hearts and everyone listening probably to Bankless who's in the Ethereum space, which is this concept on the more distant Ethereum future roadmap of native ZK rollups. And since we have some ZK experts here, maybe one of the things in the future and one of the hopes for Ethereum is that the execution layer on the L1 actually develops to the point that we can like snarkify the EVM, as like Justin Drake likes to say, in addition to like snarkifying the consensus layer. And I'm

wondering from your perspective, Uma, what is necessary from a ZK perspective to like allow that to happen? So can we have a native ZK EVM on the layer one using this type of tech, would SP1 be involved in that? How close or how far away are we on that? And like another thing that I've heard, which is like, you know, proving costs have to go down in order for this to be actually practical. Anyway, what are the constraints, the bottlenecks? How soon are we to that vision of a ZK roll up on the layer one?

Yeah, I think... there's a few components. One component is like the proving costs, which actually are pretty cheap. So I think we did some numbers and we think to prove all of Ethereum for an entire year would be a couple hundred thousand dollars like that are well under a million dollars. It would be that's actually not that cheap at all compared to like the rest of the costs of what people pay on chain. I think the main blocker today for an enshrined CKEVM is latency. If you want it to be part of the protocol, then you need real-time proving of Ethereum blocks so that when the proposer proposes a block, they can also include a proof of what the block's outcome is and a proof of what the next state is. And for that, latency is super important. And we need to be able to

generate a proof in less than 12 seconds of an Ethereum block. So I think the next frontier of ZK is actually not only cost, it's actually like this real time proving latency thing. And I think we're not quite there yet, but I'm pretty optimistic that over the next year or so, we'll be able to hit that in ZK world. You think over the next year or so, we'll be able to hit the latency of like, do you say 12 seconds or under to like make this possible? Because that's now the constraints. It's not proving cost, actually. It's just like latency of proving. Yeah. Yeah. What else needs to happen for like, is that the only constraint? So we get those two things. I'd imagine some of this has to be more battle tested because when we're talking about like deploying this across like a, you

know, $400 billion network, stakes are a lot higher. So is that another, like, how do we know when it's ready? This tech is actually ready to be deployed to mainnet. I'm sure we can experiment in these layer twos, but... Will that take some time as well? Yeah, I think that's a really good point. The security of all this stuff is super, super important, especially for a really big chain like Ethereum. And I think SP1 helps with that because when you try to prove the execution of an Ethereum block with SP1, you're taking ref and revm, which is like normal Rust code and proving it within SP1. So you're not hand coding this complicated contraption for the EVM. You're just taking normal Rust code and proving the EVM with that. So that makes it a lot more secure because like ref is an actual node that

a lot of people are running. So it kind of like reuses, it's actually used in practice. But I think SP1 itself, obviously, you know, that has to be more battle tested. It has to go through audits or it already has gone through audits, to be clear, but it has to go through more audits. And then the Ethereum Foundation recently launched this 20 million dollar grant program for formal verification of ZKVMs. And that can also really help with security and making people feel good about stuff. So, yeah, I think you're right that for this to be enshrined in the mainnet layer, there'll definitely need to be a lot of conversations and work around that. Andrew, do you have any takes on this, like native rollups? Yeah. I mean, native rollups, I'm less educated on. I think like what's nice about what we have today is you

have a lot of different opinions and you have a lot of different like implementations and people get to opt into the implementations and the trade-offs that they care about. So I don't know quite as much about like enshrining one rollup implementation. That to me seems like a premature optimization. But I think in terms of a native ZK EVM for layer one, I think that is obviously kind of the end game. I don't quite know when we're going to have that, but, you know, we have a lot of discussions today about performance on layer one and what it takes to host a very decentralized kind of network. How do we enable the solo staker. And like, if we want kind of our cake and to eat it too, which is having a decentralized network, making it performant, faster blocks, which, you know, is also going to

help the kind of roll up centric roadmap. We're going to need to get to ZK because ZK enables you to run a much lighter kind of validator node, right? That is really just proving or just kind of verifying the proof of the execution versus needing to do the entire execution themselves. And that's today, like ultimately the bottleneck on getting, you know, more folks kind of validated in the network. So to me, ZK is kind of the end game in almost every capacity. I think the core question is like, when does it get cheap enough? When does the latency get fast enough to really enable execution? the types of kind of real-time proving that we need to enable that. As we wrap this up, and thank you for your time with Uma and Andrew, this has been fantastic. As we maybe bring this to a close,

I want to ask you guys a broader question because like, so when we do episodes like this, I get even more excited about Ethereum and the rollup-centric roadmap because the end game of ZK deployed across rollups now sounds like it's much faster than I anticipated. And that's because the ecosystem is working in parallel across many of these things. And like Uma, what looks to us like an overnight success, and suddenly it's here and we can just convert our optimistic rollups into ZK rollups. I know you've been working tirelessly for years on this, so it probably doesn't seem as surprising. But to me, it's surprising. I want to ask you guys a question about the sentiment and narrative around Ethereum, because I'm not going to lie, it's not great right now.

Okay? Price is down. People aren't feeling good. David mentioned parasitic L2s, and you guys have heard that narrative. But in general, people are fading Ethereum and the vision here and the rollup-centric roadmap and the choices and the product decisions that it's made. What's your take on this? Maybe I'll just open it up in general to your take on the really bad sentiment around Ethereum right now. First, you, Uma. Well, I think the world-centric roadmap is totally correct. I think if we want to build the world computer, it's not going to fit all in one machine. I think that's totally ridiculous.

And that is the Solana approach. And I think it has some trade-offs in the short term, where short term seems good, it's working. But in the long term, If we really want to put all compute on chain, it's very obvious that it has to be distributed across many machines. And the only way to do that in a verifiable way is with ZK. So I think to me, actually, the rollup-centric roadmap is exactly correct. It's like to maximally scale. If you look at any other system in any computing paradigm, you've had this horizontal scaling. And the way we do horizontal scaling in blockchain that's verifiable is with ZK. So I think the core thesis is correct.

I feel like though right now there's a lot of like growing pains. We're going through like our adolescence phase where the roll-ups are actually now they're working and like now they have users and now there's many different teams that are battling it out and they're not talking to each other and it's kind of awkward. So I think like actually having fighting in the roll-up centric roadmap is a sign that there's actually something to fight over, which is I think actually good and I do think we do have to get to the point, though, where we kind of get out of that phase and get to everything being really high TPS and everyone talking to each other and not having this like kind of awkward growing pains again. So that's like the thing I'm excited about over like the next year is like actually getting to

you. unification and interoperability across the roll-ups. And I think ZK will be a key part of that. But I think the fundamental roadmap thesis is actually totally correct and will actually scale and stand the test of time. - I agree with a lot of that. I think that we're still so early in kind of the roll-up centric roadmap, right? We launched Blobs like six months ago and they launched and they're free and we're starting to finally see kind of price discovery there. To me, it seems a little myopic to look at the fees generated off of like a new product and to not think about like three to four to five years from now. And in some ways, like, I always like to show people rollup.wtf in terms of the amount of TPS and, like, mgas a second we're doing. You guys put that together,

right? It's great. We were just looking at that with recording with Justin Drake. Yeah, it's a great performance-based dashboard. But I think what it shows is, one, we've scaled Ethereum, like, 50x or so. But if you compare, like, 300, 400 TPS with, like, Visa alone, right, does, like, 50,000 TPS. And if you look at Facebook, Instagram, they're doing, like, millions or hundreds of millions of TPS. Yeah. just the amount of stuff we're doing is tiny. And so to think that this is the end state and that this is all that there is, to me, is very myopic on crypto in general. And we believe in a world in which on-chain compute is really abundant and that the role of centric roadmap is the way to achieve that in kind of a secure, decentralized way. And so ultimately, there's going to be a trade-off of spectrums.

Ethereum has always been very kind of on the censorship resistance and kind of decentralization side of things. And, you know, we believe that if you're building crypto, you know, those are some pretty important primitives. And it takes time to scale it out. But I think with innovations like SP1, we're getting there. I'm bullish. I'm bullish. This is great. Might take some time though, I guess. Uma, Andrew, thank you so much for talking to us all about ZK and the exciting developments. Thanks for having us. Thanks for having us. Bankless Nation, got to let you know, crypto is risky. You could lose what you put in, but we are headed west. This is the frontier. It's not for everyone, but we're glad you're with us on the bankless journey. Thanks a lot.