⚡️Vitalik
@VitalikButerin 再次更新了 ETH 路线图,跟2023年的路线图相比,明显发现了三种变化——
1⃣第一种:优先级变化。
最明显的是量子安全被大幅提前,从“灾难预案”变成了“架构约束”。
所以 V 神反复提及 EIP-8288,希望用以 Hash 为核心的密码学统一 CL、EL、DL:共识签名、数据可用性以及执行证明,都尽量落到对 STARK 和量子计算更友好的密码学基础上。
这和过去是完全不同的设计审美。
2⃣第二种:一些旧方向被降级甚至基本换掉。
比如 VDF 的优先级下降,很多细碎的 EVM 改进也不再那么重要;更典型的是过去花了很多研发资源的 Verkle Tree,路线已经从:
Verkle → Unified Binary Tree → Partitioned Binary Tree(PBT)
继续演化。
3⃣第三种,也是 V 神自己认为最值得注意的:2023 年根本不存在的一批东西,现在成为核心路线。
包括:
强隐私、后量子时代的激进扩容、Lean Ethereum、AI 辅助形式化验证、Blob/Gas Futures、Native Rollups、新 ISA,以及 New State Types。
这就是 V 神新的扩容哲学:Lean Ethereum + AI Formal Verification。
它真正追求的是:
让以太坊小到人类能够理解,大到能够支撑全球经济,同时简单到数学能够证明。
我太庸俗了,有点理解不了,只盼 V 神能够带领 ethereum:native 走向伟大!😂
I updated my 2023 roadmap diagram to overlay where the items that were there sit in the current Strawmap ( ).
In general, a lot of overlap, but:
* Some things got reshuffled in order (eg. quantum safety up-prioritized)
* Some things deprioritized (eg. VDFs; many EVM improvements)
* Some things replaced with superior constructions (eg. Verkle -> unified BT -> PBT; state expiry -> new state types)
What's most striking, however, is that some completely new things are in the strawmap that are NOT in this diagram, because they were not in the 2023 roadmap at all. These reflect changing priorities.
Notably:
* First-class attention to strong privacy. This covers: keyed nonces and recent roots, aspects of FOCIL, lean privacy pool & wormholes
* Aggressive scaling in the context of post-quantum. This covers: leanSPHINCS signatures and aggregation, zkzk frames (see )
* Lean-ification of the spec, to assist in formal verification (full FV of everything is only possible because of modern AI)
* Blob and gas futures (this idea just didn't exist back in 2023)
* Native rollups (SNARKs were nowhere near mature enough to even consider this back in 2023)
* A more open design space for the "future of the EVM". zkzk frames already implies that the protocol will expose to users some ISA that's not the EVM - current leading candidates are leanISA and RISC-V. These ISAs are more simple, modern and efficient than the EVM. Once they're there, why not expose them to developers everywhere? (And then, why not turn the EVM into being an IR on top of that ISA, instead of an enshrined feature massively complicating the base protocol?) Though much of the deeper exploration here is too early even for the strawmap.
* New state types are not just a replacement for expiry, they're a fundamentally different paradigm to how Ethereum does scaling
A common theme in scaling, found in both state types and zkzk frames (both new ideas), is that instead of trying to maximally scale ALL ethereum activity, we try to create specialized mechanisms that have more restrictive properties that make them more scaling-friendly, while supporting the heaviest loads incurred by users and applications today (eg. token transfers, swaps) and tomorrow (eg. privacy protocols).
The other common theme is treating STARKs and AI-accelerated FV as first-class objects, that we are okay betting the technical future of Ethereum on. There are recursive STARKs in many layers of the protocol, one particular primitive (the "aggregate to union verified dependencies" primitive) is expected to be used in *three* places in the protocol: EL, CL and DL. This can only be safe with formal verification, which is itself only feasible with modern AI tools.
In general, many steps forward in maturity. And a huge amount of hard work by many dozens of Ethereum researchers and developers on all of these features.
Ethereum will be quantum-safe. Ethereum will put users' privacy first. Ethereum will be secure. Ethereum will be censorship-resistant. Ethereum will be highly performant and scalable while satisfying the above. And Ethereum will be Lean.
顯示更多