And now his watch has ended.
Justin’s Orb is over, and no further activity will happen. Thank you to everyone who participated. Follow Justin on X to keep up with his thinking.
Follow JustinBased on your feeling, what are the top 3 places for startups, research and innovation? Specifically for blockchain, AI or both.
I don't feel well equipped to comment on AI. As an armchair observer, fundamental research and innovation seems to be extremely concentrated in megacorps—think NVDIA, Microsoft, Google, OpenAI. Startups using AI as a tool to build products are in a somewhat shaky position, at the mercy of some overlord that controls the underlying infra. With blockchains it's the opposite: research and innovation is distributed across many small and medium teams, and startups using blockchains as a tool to build products can enjoy sovereignty from the platform they build upon.
Now to answer your question about "the top 3 places", the number 1 place for startups and innovation is clearly Ethereum. Back when I joined the blockchain space 10 years ago that top place was Bitcoin. Unfortunately Bitcoin has since dropped the ball and is probably not in the top 3, even with recent innovation like BitVM. I'd probably give second place to "advanced applied cryptography"—SNARKs are an absolute revolution and blockchains are at the epicentre of it. An amazingly bullish fact is that advanced applied cryptography will extend far beyond SNARKs to include FHE, MPC, witness encryption, functional encryption, iO, one-shot signatures. Moon math has a bright future IMO in terms of research and innovation, with blockchains being the primary underlying motivator and driver. In position 3 I would go with "restaking" as another general category. Platforms like EigenLayer (see invocation #5 for an extended disclosure) seem to open up a whole new blockchain design space. It feels like there's significant low-hanging fruit and excitement for infrastructure that goes beyond vanilla smart contract-based dapps. Of course there is a risk that the hype won't stand the test of time which is why it's in a distant position 3. As a side note my state of mind as a restaking alignment researcher is to assume that restaking will be wildly successful so as to motivate exploring mitigations to systemic risks that this success could bring to Ethereum.
Can you give your thoughts on EigenLayer? (Asking a 2nd time after deadline extension)
Extended disclosure: As mentioned in my last response I am now an advisor to the EigenFoundation. I feel the community deserves transparency so here we go :)
Can you give your thoughts on EigenLayer?
Restaking plausibly is to Ethereum what AI is to humanity: a wonderful paradigm-changing tool in the short- and medium-term which may be powerful enough to introduce systemic risks that ultimately lead to our demise. My research interest is in better understanding those risks and searching for mitigations—the equivalent of AI alignment for restaking. How do we ensure restaking sustainably supercharges Ethereum without undermining it?
I see two categories of restaking risks: chronic and acute. Chronic is the slow but pernicious type, exemplified by a potential erosion of the solo validators. In AI-land this would be the equivalent of resourceful corporations—with zettabytes of training data and gigawatts of compute—slowly but surely using their AI edge to entrench themselves within society and erode meaningful individual sovereignty. Acute is the fast yet catastrophic type, exemplified by a major infrastructure breakage or market meltdown large enough to tear the social fabric—think of The DAO but involving $5T not $50M. In AI-land the equivalent could be having a rogue AI getting access to nuclear launch codes and starting WW3.
One direction I'm excited about is fully decoupling execution proposing from validation. This means having Ethereum validators no longer propose EVM blocks, an extreme form of proposer-builder separation (PBS). Until recently the leading proposal was execution tickets (ETs) but Barnabé may have discovered an even better design I call execution auctions (EAs). By decoupling proposing from validation it is no longer possible for native restaking to overload proposing. All proposing duties and yield (including MEV) is quarantined. Ideas like based preconfirmations which overload L1 proposing would no longer require validators to be involved and are fundamentally safer with ETs or EAs.
Another direction I'm excited about is economic stake capping, e.g. discouraging (or preventing) more than 1/4 of all ETH to be staked by having an issuance curve that goes to zero (or negative) as the amount of ETH staked approaches the cap. This will obviously limit the size of the natively restaked economy and the corresponding blast radius if things blow up. Maybe more importantly, stake capping lowers the cost of money to a minimum and prevents the chronic overcompensation of staking. If staking is by default at best financially net neutral, stakers will need to provide more than just brute force economic security for staking to be rational. The good news is that stake decentralisation is one of the most promising potential staking differentiators. Solo validators that provide "refined stake" have already done extremely well relative to institutional "crude stake" thanks to airdrops that disproportionately reward solo validators. I hope we can develop more tools to identify, engage, and reward decentralised stake. See for example proof of location ideas by Witness Chain.
A third direction I want to highlight is intersubjective slashing. The EIGEN token design is all about offering a solution to the problem of overloading "objective" tokens like ETH with intersubjective risk. The EIGEN token is a sponge that promises to mop up intersubjective risk. Intersubjective tokens are a great match for fundamentally intersubjective services like DA and oracles, and act as pressure valves in case of 51% attacks. I could also see intersubjective tokens being valuable to derisk objective AVSs while bugs are being rooted out: if unintended slashing happens (either accidentally or maliciously) the social layer can simply fork the intersubjective token. Maybe we should encourage AVSes to cap their usage of ETH collateral (say, at 1M ETH) until they have formally verified slashing conditions and clients. On that note, I am increasingly bullish on formal verification tools like Lean soon reaching a maturity inflection point. The EF is launching a $20M zkEVM formal verification competition this year and I hope it can serve as a template for the wider Ethereum ecosystem.
A final direction I've been thinking about is generalised PBS to increase the decentralisation of AVS operators. The goal is to limit the need for trusted delegation and instead make use of trustless generalised builders. Such builders would do the sophisticated heavy lifting (e.g. devops and algorithms) yet compete in a ruthless permissionless market which drives the mast majority of restaking rewards to unsophisticated AVS operators.
Can you give your thoughts on EigenLayer? (Vitalik's "Don't overload Ethereum's consensus" post and/or how you think it will evolve)
Dear Orb Keeper, I'm writing to ask for a deadline extension 😅
I recently became an advisor to the EigenFoundation, a non-profit closely tied to the EigenLayer project. The foundation will be announced publicly in a few days. It's probably best for me to publicly disclose the advisorship before commenting on EigenLayer.
My plan is to properly respond to your question with invocation #5. In the meantime, I've talked about restaking risks in this Devconnect talk, this Bankless episode, and this Devconnect panel.
Also, do feel free to ping me on Telegram—I'm @justindrake there :)
Can you provide an overview of the current state of fragmentation in the ethereum ecosystem between L2s? How can it be improved?
Can you provide an overview of the current state of fragmentation in the ethereum ecosystem between L2s?
For me an L2 is a chain that settles on Ethereum. This means that everything that characterises an L2, with the exception of the choice of settlement layer, can be idiosyncratic. This idiosyncrasy naturally leads to fragmentation: L2s can have different data availability, VM, proof system, Merkleisation, rate limiting, fee mechanism, sequencing, governance—the list goes on.
Most of the above fragmentation vectors yield beautiful experimentation and diversity that is typical to Ethereum. It's a great thing that Ethereum can permissionlessly run the EVM, the SVM, WASM, RICS-V, that we can experiment with Optimism-style public goods funding, and that hundreds of devs across dozens of L2s are incentivised to engineer zkVMs and grow platforms and communities.
If I were to pick one pain point with the current state of L2s it would be sequencer fragmentation. The reason is that sequencer fragmentation is often a lose-lose game that breaks down network effects. We don't have cross-L2 aggregators like 1inch or Matcha because of sequencer fragmentation: we have lost unified liquidity. Each sequencing zone is a silo that is only loosely connected to other sequencing zones through asynchronous message passing and asset bridging.
Sequencer fragmentation is not just about breaking down liquidity network effects. It makes bootstrapping L2s extremely expensive because L2s have to start from scratch: no apps, no liquidity, no users, no oracle integrations. A new L2 can't easily plug into existing network effects without shared sequencing.
Sequencer fragmentation also makes building complex dapps that span k sequencing zones brittle. For example, if one of the k zones is censoring (even if only censoring preconfirmations and delaying inclusion) then the whole application is censored. Liveness degrades to the weakest sequencing zone.
Last but not least, sequencer fragmentation breaks opportunities for synchronous composability which unlock significantly more fluid UX and DevX. I attribute most of Solana's current success to its synchronous execution—there's no reason Ethereum can't match Solana on synchrony!
How can it be improved?
IMO there is a compelling solution to sequencer fragmentation: shared Ethereum sequencing. The idea is that most L2s opt into using a credibly-neutral and secure shared sequencer, thereby fixing ~80% of the downsides of L2 fragmentation.
My personal thesis is that we ought to use L1 proposers as the sequencing substrate for L2s, with the shared sequencing mechanism inheriting the credible neutrality, security, and network effects of Ethereum L1. That is to say, the shared sequencer ought to be L1-driven, or "based".
Credible neutrality is particularly important to solve the coordination game. Would Arbitrum want to use Optimism's shared sequencer? Would Optimism want to use Arbitrum's shared sequencer? We need to find common neutral ground and Ethereum itself is maximally neutral.
Security is critical for liveness and censorship resistance, and based sequencing is the only way to get a sequencer which fully inherits Ethereum L1 security, without introducing a new 51% attack vector.
Finally based sequencing allows for synchronous composability between L1 and L2 execution environments, something non-based sequencers can't provide. This means that L1 TVL (~$0.5T) which hasn't (and possibly will never) migrate to L2 continue driving the network effects that make Ethereum an unstoppable force.
If you're interested in more details here are some resources:
Do you think we will ever see a major non-USD based stablecoin? What's the best possible collateral for it in principle? USD certainly isn't
Apologies for the slight delay—I included some BitVM alpha which hopefully makes up for it :)
Do you think we will ever see a major non-USD based stablecoin?
As a good enough first approximation I expect all assets that can be digited to eventually make it onchain. In particular, any non-USD fiat currency you may consider major (e.g. CNY or EUR) will eventually be a stablecoin, either via a directly-issued CBDC or a third-party wrapper.
What's the best possible collateral for it in principle? USD certainly isn't
The best possible collateral for a CNY stablecoin would be central bank money directly issued by the central bank of China. In this CBDC model there is arguably no collateral: the stablecoin is central bank money itself, 1-to-1.
For Liquity- and Maker-style overcollateralised decentralised stablecoins my favourite form of collateral is maximally trustless money like ETH or BTC. Unfortunately neither ETH nor BTC have accrued enough monetary premium to provide enough economic bandwidth for tens of trillions of dollars of stablecoins.
For the sake of argument, let's assume that both ETH and BTC will eventually achieve $100T marketcaps—what would be required to build a successful over-collateralised stablecoin? The three key ingredients are:
It is possible to do zk-rollups on Bitcoin with fancy cryptography like functional signatures and indistinguishability obfusction but it will likely take decades for the cryptography to become practical.
2) Better oracles: my favourite design here is restaking-based oracles that take the median across consensus participants, in some sense reusing the honest majority assumption of the L1. Zahary Karadjov is working on an oracle platform called Blocksense which has a bunch of interesting ideas to use MACI and other fancy tools to mitigate collusion 51% attacks.
3) Cheaper cost of money: ETH today has a high cost of money (~5%/year) which makes it almost untenable for a scalable decentralised stablecoin. One could use an LST like stETH as collateral instead but you'd lose the high-grade pristineness of ETH, defeating the point of a decentralised stablecoin. My favourite solution to the opportunity of cost of ETH is stake capping. The idea is to have an issuance curve which tends to zero (or, even better, negative infinity) as the total stake approaches the cap (say, 25% of all ETH).
Posted on Farcaster: https://warpcast.com/polymutex.eth/0x5e4d954e sha256: 5ad309be5a8d2ece94c65fcccdc5238d1913e9da088e9fd082e8c879fd9b60a6
Ok, privacy thoughts below! Disclaimer: I haven't spent much time thinking about privacy so take the following with a grain of salt :)