I asked Justin what kind of throughout is Lean Ethereum is going to target for supporting as an infrastructure. What @drakefjustin responded is a glimpse into "Terra gas frontier for L2s". Here is what he had to say: "...the goal is to get to "Terra gas frontier for the L2s". It means that all L2s combined will have enough data availability to support one Teragas per second. If you have an average consumption of a hundred thousand gas per transaction, that amounts to 10 million transactions per second. And if you want to look at it in bytes, it's one gigabyte per second, which is orders of magnitude more than what we have. Few things that will help us get there. > One, all of the learnings that we'll have in the short term from the incremental improvements, that's going to be very important. >Two, we're going to have Nielsen's law, which basically is the equivalent of Moore's law for bandwidth, which says that every year bandwidth of a commodity internet connection will grow roughly 50%. And when you compound 50 % over 10 years, you get roughly a 100x. > And then the third thing that we're looking at is basically a from scratch redesign of the blobs that would be bundled with the move to post quantum. KZG cryptography, as used for blob, is not post-quantum secure. So we're looking at designs, for example, inspired by ZODA (@alexhevans et al.) from Celestia (@celestia). Unfortunately, Celestia makes various assumptions that don't translate well into the Ethereum context. They assume, for example, an honest majority for data availability. This is not an assumption that we want to make. So we're going to have to work quite a bit harder than Celestia in order to achieve that. And one of the candidate ideas, which seems very promising, is to reuse the cryptography that we're developing for the aggregation of post-quantum signatures for the data layer as well. We have this infrastructure called lean VM, which is a minimal ZKVM, which is especially optimized for hash based cryptography. And the idea could be that we could basically prove the correctness of the merculization of an erasure code of a blob..." Listen to the full episode for more details.