0xAlpha

Co-founder @DeriProtocol
Personal blog:

[0xAlpha @0x_Alpha]

Join us to talk about DeFi & AI
https://t.co/bYZwjRuVxC

[0xAlpha @0x_Alpha]

The world computer with ultimate scalability!

[vitalik.eth @VitalikButerin]

The cryptographic world computer:

https://t.co/LF2JGU38Rx

My attempt to express in somewhat concise terms the true meaning of basically everything planned to happen to Ethereum starting from the fork after Hegota. It's really not just a blockchain anymore. It's a hybrid architecture that combines together blockchains and modern cryptography, to enable much more powerful properties.

FOCIL, EIP-8288, Lean consensus, state management, formal verification, advanced mempool improvements (including privacy), and the longer-term specter of obfuscation all mentioned.

[0xAlpha @0x_Alpha]

@shanshan521 有个项目听进去了，然后翻倍执行了😂

[0xAlpha @0x_Alpha]

LFG💪

[Deri Protocol @DeriProtocol]

⏳ 16 hours left! The Arbitrum @arbitrum × Deri × Upscale @UpscaleTrade Trading Tournament is about to officially kick off!

Here’s how to register:

1��Go to https://t.co/T9FOGbDIoy and click Register.
2⃣Click the "Register on Upscale" button
3⃣Click "Sign in" and complete your registration
4⃣Click your pfp to copy your Upscale ID
5⃣Go back to the Tournament page and enter your ID

Everyone who completes 5 trades + $5 in trading fees will receive a $1,000 Upscale prop account 🔥

[0xAlpha @0x_Alpha]

@wolfgangg37 @DeriProtocol @arbitrum @UpscaleTrade You can check it out in the strike panel

[0xAlpha @0x_Alpha]

@wepoets1107 @DeriProtocol 很棒的使用场景总结👍

[0xAlpha @0x_Alpha]

美国的数学教育到底出什么问题了？ 🇺🇸📉

2026年费城国际数学家大会刚刚颁发了菲尔兹奖。
首先是对美国的好消息：4名获奖者里有3位在美国工作，唯一在加拿大工作的 Tsimerman 也马上要入职 @OpenAI 了！🚀
这届获奖者创造了诸���个“第一”：
🥇 王虹：@PKU1898 、巴黎综合理工 (@Polytechnique)、@MIT 历史上的首位菲尔兹奖得主（含并列）！
🥇 邓煜：@PKU1898 和 @MIT 的（并列）首位菲尔兹奖得主！
🥇 Tsimerman：多伦多大学 (@UofT) 乃至全加拿大🇨🇦大学的首位得主！
但很多人没想到的是，John Pardon 其实也是一个“第一”：他是本世纪第一位美国本土出生的菲尔兹奖得主！

如果我们看一下“在美国接受本科教育”的群体：整个21世纪，美国的本科教育其实仅仅培养出了 2.5 个菲尔兹奖：
🎓 John Pardon
🎓 邓煜 (0.5个，本科一半在北大一半在 MIT)
🎓 Manjul Bhargava (2014年得主，@Harvard 本科，来自加拿大的印度裔)

是的，你没有看错！整个21世纪，只有2.5位菲尔兹得主是在美国完成的本科教育，其中只有1位是美国本土出生的。

美国的数学基础教育，到底哪里出了问题？🤔👇
#数学 #菲尔兹奖 #FieldsMedal #教育 #STEM #基础教育

[0xAlpha @0x_Alpha]

https://t.co/qsk3SUI0Yd

[0xAlpha @0x_Alpha]

https://t.co/qsk3SUI0Yd

[0xAlpha @0x_Alpha]

For those complaining that Yang got "educated" in the U.S. without giving back: a PhD isn't just education—it's more like a job. Considering the high intellectual barrier to entry and the dismal pay, PhD students are essentially super-cheap labor. From that angle alone, Yang had already contributed plenty to the U.S. by the time he graduated, simply through the research he published.

[0xAlpha @0x_Alpha]

@lanhubiji 如果要在agent的tool use里面加入一个pay的功能，��于公链来实现pay似乎的确是技术上阻力最小的解决方案。不过技术阻力只是方案被采纳的各种阻力之一。未来是不是沿着这个方向演进，暂时还看不清楚。我也希望是。

[0xAlpha @0x_Alpha]

@lanhubiji 但这个融合谈了很多年了。我自己其实也是这种融合的探索实践者，在这个方向上摸索好多年了。到目前为止，这个��谓的“融合”除了在币圈给一些项目提供了一些发币炒作噱头之外，似乎并没有什么真正有意义的落地实践。

[0xAlpha @0x_Alpha]

@Narutounknown2 @DeriProtocol @Scroll_ZKP The next DIP will be adding Ethereum as a new iChain.

[0xAlpha @0x_Alpha]

The ETA of 2030 might be just too conservative, isn't it?
AI-powered development can significantly speed up this process.

[vitalik.eth @VitalikButerin]

Two weeks ago, Ethereum researchers met in Berlin to continue charting the protocol's long-term trajectory, following along discussions with client teams in Svalbard in April.

The updated strawmap is at https://t.co/9e2AQ6rhz6, and I attached a picture of it to this post.

My own high-level takeaways:

* "Lean Ethereum" is not a single one-shot upgrade, it is a collection of improvements that will come online to the Ethereum network over the course of three or four years. But make no mistake, this IS the third major iteration of Ethereum in the same way that the Merge was the second. Almost every major piece of the protocol will be replaced:

- Verification through recursive STARKs, rather than direct re-execution. Recursive STARKs become an enshrined first-class core component of the protocol
- Replacing everything quantum-vulnerable with quantum-safe alternatives
- Consensus: decoupled available chain and finality, one or two-round finality. Theoretically optimal security properties, simpler than today, and faster than today
- Multidimensional gas
- State: not just tree structure, but what *types* of state are available
- Changes to client architecture
...

At the same time, simplification, cleanup and future-proofing. And this will all be done in a way that minimizes disruption to existing application. We've done this before (the Merge), we can do it again.

* H-star (aka Hegota) is probably Ethereum's last thematically "pre-Lean" fork. Starting from I-star, most of everything we do will have a very strong "Lean" feel to it in one way or another.

* Privacy is no longer an afterthought, it is a first class goal. When designing Frames, the mempool, additions to the state tree, we explicitly ask the question "okay, how do quantum-safe, intermediary-free privacy protocol transactions go through this, and what is the overhead?"

* Formal verification of everything for security.

* FV also makes us much more comfortable with canonicalization (having pieces of the protocol that are directly defined as a piece of bytecode expressed in some language). evm-asm is being written in part to become a canonical proof system for the EVM.

* Quantum safety has shifted up a LOT in priority. This adds a lot of work (eg. finalizing a quantum-safe blobs design has become urgent; this work has already been ongoing for months)

* Probably the single most disruptive part of the plan is the changes to state. There is growing consensus around leaving present-day-style "dynamic state" mostly unchanged, but scaling it only a medium amount, and adding new types of state that are more scalability-friendly (eg. no need for builders to sync/store all of it) but more restrictive, and that will scale a large amount.

eg. possible Ethereum in 2030: 2 TB of present-day-style (dynamic) state, and 100 TB of new-style (scalable but restrictive) state

This "new-style" state would work very well for ERC20s, NFTs, many defi use cases, but not eg. highly "central" objects like Uniswap contracts, or onchain order books, or other complex things (which are crucial for Ethereum but which only take up a small percentage of state)

Hence, it will not be *necessary* to rewrite any apps, but it will be *very cost-effective* to eg. rewrite an ERC20 token into a newer design that uses a new type of UTXO storage that is currently being explored, so that it will have >10x lower txfees.

Design of these new state types (current ideas: keyed nonces, ring buffers, UTXOs, statically accessible state, temp state) is an area where we will need a lot of feedback from application developers (incl. privacy-friendly application developers) and probably several rounds of rethinking and iteration.

* In the context of a much larger total state size, we need to figure out the incentive issues around who stores this state and what motivates them to. Even saying "each node stores 1%" is not good enough - why do they store that 1% and why are they willing to serve it? This is being elevated as a first-class research area.

* Ethereum will need to have a "VM" other than EVM in one form or another - at the very least, we need something like leanISA for recursive STARKs - and the gains are large in exposing it to users so that we support programmable privacy and better scalability. Right now, the most likely contenders are leanISA and RISC-V.

My own ideal is that in this world, we adjust the protocol so that the EVM becomes a high-level-language compiler-level feature, and the protocol only "sees" RISC-V / leanISA directly. But this is still far away.

* Gas limit increases, blob increases and slot time decreases will happen many times over the next ~5 years. We expect a large gas limit increase with Glasterdam. Each step of increased scale or decreased slot time is a matter of getting to the point where it is safe to do it, which comes from a combination of client optimization and protocol changes.

Ethereum is CROPS.

Ethereum is scaling.

Ethereum is reinventing itself.

Onward.

[0xAlpha @0x_Alpha]

@hotbabyrebao 这是哪个AI生成的图片？水平还有待提高啊——有明显的bug：
这个KTV歌词第二���“右手左手慢动作重播”都快唱完了，为什么上面“跟着我左手右手一个慢动作”还是白色的（表示这一句还没唱）呢？
这里应该显示下一句歌词才对啊

[0xAlpha @0x_Alpha]

@colinwu 各有各的难。AI行业最大的问题是，大模型通吃，几乎很少有机会留给startup来做🤣

[Deri Protocol @DeriProtocol]

Based on the current market conditions, https://t.co/4BADgx0VOw just added the following strikes:
ETHUSD-1600-C, ETHUSD-1600-P
ETHUSD-1700-C, ETHUSD-1700-P
ETHUSD-1800-C, ETHUSD-1800-P
ETHUSD-1900-C, ETHUSD-1900-P

😊 Thank you for your ongoing engagement and support.

[0xAlpha @0x_Alpha]

🚨If you still hold assets on one of those "ghost-town" chains like @zksync, @0xPolygon zkEVM, or @MantaNetwork, keep a very close eye on them.

We’ve already seen explorers get discontinued (some even without warning). The uncomfortable truth? You never know when the actual blockchain might be terminated next.

Don't get stuck. Stay vigilant.

[0xAlpha @0x_Alpha]

Several L2s (like @zksync just yesterday) have discontinued their @etherscan explorers.
The signal? 🚩 Financial trouble.
Prediction: We will see multiple L2s die off in 2026.
Be prepared!
#layer2 #rollup