以太坊 2029 Strawmap 指南:极速共识、原生隐私与 AI 带来的“加速变数”

原文标题:The Idiot's Guide to Ethereum's 2029 Strawmap

原文作者:James | Snapcrackle

编译:Ken, Chaincatcher

以太坊刚刚发布了其历史上最详尽的升级计划。七次升级。五个目标。一次大规模重建。

草图:https://strawmap.org/

这个比喻值得深入理解。

忒修斯之船是古希腊的一个思想实验:如果你把船上的每一块木板一块一块地换掉,直到最后每一块木板都被替换,它还是原来那艘船吗?

这正是 Strawmap 为以太坊提出的计划。

到 2029 年,系统的每个主要部分都将被替换。但绝不会有任何“停机重写”的计划。目标是实现向后兼容的升级,在更换“木板”的同时保持区块链的实时运行,尽管每次升级仍需要节点运营商更新其软件,并且某些边缘情况可能会发生变化。这实际上是一次伪装成增量升级的彻底重建。严格来说,虽然共识和执行逻辑正在被重建,但在所有分叉点中,状态(用户余额、合约存储和历史记录)都会被保留。这艘“船”是在仍然载着货物的情况下进行重建的。全体登船!

“为什么不从头开始呢?”因为你无法在不失去以太坊核心价值的情况下重启它:那些已经在上面运行的应用程序、已经流动的资金以及已经建立起来的信任。你必须在船航行时更换木板。

“Strawmap”这个名字是由“strawman”和“roadmap”(路线图)组合而成的。“strawman”指的是一种初步提案,提出时就知道它并不完美,其目的正是为了让大家来挑毛病。所以,这并非承诺,而是一个讨论的起点。但这是以太坊的构建者们首次详细阐述了一个结构化、有时限的升级路径,并设定了明确的性能目标。

参与这项工作的是全球顶尖的密码学家和计算机科学家。而且这一切都是开源的。没有许可费,没有供应商合同,也没有企业销售团队。任何公司、任何开发者、任何国家都可以基于它进行构建。摩根大通所能享受的升级,与圣保罗一家三人初创公司所能获得的升级完全相同。

想象一下,如果一个由世界一流工程师组成的全球联盟从零开始重建互联网的金融管道,而你只需要……直接接入。

以太坊的实际工作原理(60 秒版)

在我们讨论它的未来方向之前,先来看看它今天的样子。

以太坊本质上是一台共享的全球计算机。它并非由一家公司运行服务器,而是由世界各地成千上万的独立运营商各自运行同一份软件副本。

这些运营商独立验证交易。其中一部分被称为验证者(validators),他们还会质押自己的资金(ETH)作为保证金。如果验证者试图作弊,就会失去这笔资金。每隔 12 秒,验证者会就发生了哪些交易及其顺序达成共识。这 12 秒的时间窗口被称为一个“时隙”(slot)。每 32 个时隙(约 6.4 分钟)构成一个“纪元”(epoch)。

真正的最终确定性,即交易变得不可逆转的时刻,大约需要 13 到 15 分钟,具体取决于你的交易在验证周期中的落点。

以太坊每秒处理的交易量约为 15 到 30 笔,具体取决于每笔交易的复杂程度。相比之下,Visa 网络每秒可处理超过 65,000 笔。正是由于这种差距,如今大多数以太坊应用程序都运行在“二层网络”(Layer 2)上。二层网络是独立的系统,它们将大量交易批量处理,然后将汇总信息发送回以太坊底层网络以确保安全。

让所有运营商达成一致的系统被称为“共识机制”。以太坊目前的共识机制运行良好且久经考验,但它是为早期时代设计的,限制了网络的功能。

Strawmap 旨在解决所有这些问题。一次升级解决一个。

Strawmap 的五大核心目标

这份路线图围绕五个目标展开。以太坊目前已经可以运行,每天有数十亿美元的资金在其上流动。但它对其上能构建的内容有实际的限制。这五个目标就是为了消除这些限制。

1. 快速 L1:秒级最终确定性

今天在以太坊上发送一笔交易后,大约需要等待 13 到 15 分钟才能达到真正的最终确定性,这意味着交易不可逆转、已完成、无法撤回。

解决方案:替换让所有运营商达成一致的引擎。目标是在每个时隙内,通过单轮投票实现最终确定性。Minimmit 是目前研究中领先的候选方案之一,这是一种专为超快速共识而设计的协议,但具体设计仍在完善中。重要的是这个目标:在单个时隙内实现最终确定性。接下来,时隙本身的时间也会被压缩:提议的路径是 12 秒 → 8 秒 → 6 秒 → 4 秒 → 3 秒 → 2 秒。

最终确定性不仅关乎速度,更关乎确定性。想想电汇,从“汇出”到“结算”之间的这段时间,就是可能出现问题的窗口期。

如果你要转移百万美元的付款、结算债券交易,或者在区块链上完成房地产交易,那 13 分钟的不确定性就是一个大问题。如果能将其缩短到几秒钟,你将从根本上改变这个网络的能力。不仅适用于加密原生应用,也适用于任何涉及价值转移的事物。

2. Gigagas:扩大 300 倍

以太坊主网每秒大约处理 15-30 笔交易。这是一个瓶颈。

解决方案:Strawmap 的目标是实现每秒 1 gigagas(十亿 gas)的执行容量,对于典型的交易而言,这大约相当于 10,000 TPS(具体数字取决于每笔交易的复杂程度,因为不同的操作消耗不同数量的 gas)。核心思想是一项被称为“零知识证明”的技术。

最简单的理解方式是:目前,网络上的每个运营商都必须重新执行每一项计算,以检查其是否正确。这就像公司里的每个员工都要独立地重新计算其他所有同事的数学题一样。安全吗?是的。效率极低吗?也是的。

ZK 证明允许你验证一份紧凑的数学“收据”,该收据证明计算过程正确无误。同样的信任度,却只需极少的工作量。

生成这些证明的软件目前仍然太慢。现有版本处理复杂的任务需要几分钟到几小时不等。

将时间缩短到几秒内(实现大约 1000 倍的提升),这是一个活跃的研究难题,而不仅仅是一个工程挑战。像 RISC Zero 和 Succinct 这样的团队正在取得快速进展,但这仍然处于前沿领域。

一个具备快速最终确定性、高达 10,000 TPS 的主网,意味着系统更简单,活动部件更少。出问题的几率也就越小。

3. Teragas L2:横跨“快车道”的千万级 TPS

对于真正海量的交易(和定制化),你仍然需要 Layer 2 网络。目前,L2 受到以太坊主网能为其处理的数据量的限制。

解决方案:一种名为“数据可用性抽样”(DAS)的技术。不再要求每个运营商下载所有数据来验证其存在,而是让他们各自检查随机样本,并利用数学方法验证完整数据集完好无损。想象一下,这就像通过随机翻阅 20 页来检查一本 500 页的书是否真的在书架上;如果这 20 页都在,从统计学上你就可以确信其余的书页也都在。

PeerDAS 已在 Fusaka 升级中交付,这为 Strawmap 所依赖的基础设施奠定了基础。从这里扩展到最终目标意味着迭代式扩容:在每次分叉中增加数据容量,并在每一步对网络稳定性进行压力测试。

跨 L2 生态系统的 1000 万 TPS 处理能力,将开启目前任何区块链都无法实现的大门。试想一下,在全球供应链中,每件产品和货物都拥有一个数字代币;或是数百万台联网设备生成可验证的数据;或是处理几分之一美分的微支付系统。这些工作负载对于任何现有网络来说都过于庞大。但在 1000 万 TPS 的处理能力下,它们不仅能被轻松容纳,还能游刃有余。

4. 后量子 L1:为量子计算机做准备

以太坊的安全性依赖于当今计算机极难解决的数学难题。这适用于整个系统,包括用户发送交易时的签名,以及验证者达成共识所使用的签名。量子计算机一旦变得足够强大,就可以破解这两种签名,从而有可能让攻击者伪造交易或窃取资金。

解决方案:迁移到被认为能够抵御量子攻击的新密码学方法(基于哈希的方案)。这是一项后期的升级,因为它几乎触及系统中的所有环节,而且新方法使用更大的数据量(千字节而非字节),这将改变整个网络区块大小、带宽和存储的经济学模型。

针对当今密码学的量子攻击可能还需要几年甚至几十年才会发生。但如果你正在构建旨在长久运行的基础设施——一个可能承载着数万亿美元价值的基础设施,“以后再想办法”绝不是一个真正的答案。

5. 隐私 L1:实现交易保密

以太坊上的所有信息默认都是公开的。除非你使用像 Railgun 这样的隐私应用,或者像 ZKsync 或 Aztec 这样注重隐私的 L2,否则每一笔交易、每笔金额、每个交易对手方对任何人都是可见的。

解决方案:将保密转账功能直接内置到以太坊核心中。技术目标是让网络在不泄露实际细节的情况下,验证交易是否有效、发送方是否拥有足够的资金,以及数学计算是否正确。你可以证明“这是一笔合法的 5 万美元付款”,而无需透露付款方是谁,收款方是谁,或者付款用途是什么。

目前存在一些权宜之计。安永和 StarkWare 在 2026 年 2 月宣布在 Starknet 上推出 Nightfall,将隐私保护交易引入 Layer 2 环境。但权宜之计会增加复杂性和成本。将隐私构建到基础架构中,可以彻底消除对中间件的需求。

这也是后量子工作产生交集的地方:无论构建何种隐私方案,都必须具备抗量子攻击的能力。这是两个必须同时解决的难题。一旦解决,阻碍技术普及的一大障碍就会消失。

七次分叉(升级)

Strawmap 提出了七次升级方案,以大约六个月的节奏进行,从 Glamsterdam 开始。每次升级都特意控制了范围,一次只更改一到两项主要内容,因为如果出现问题,你需要准确知道是什么原因导致的。

继 Fusaka(已经发布,并通过 PeerDAS 和数据调优奠定了基础)之后的第一个升级是 Glamsterdam,它重构了交易区块的组装方式。

随后是 Hegotá,带来进一步的结构性改进。其余的分叉(从 I* 到 M*)将持续到 2029 年,逐步推出更快的共识机制、零知识证明、扩展的数据可用性、抗量子密码学和隐私功能。

为什么需要等到 2029 年?

因为其中一些问题确实还未被解决。

替换共识机制是最难的。想象一下,在飞机飞行途中更换引擎,而数千名副驾驶都必须对每一项改动达成一致。每一项改动都需要数月的测试和形式化验证。而将周期时间缩短到 4 秒以下的努力最终会遇到一个物理难题:信号横跨地球往返大约需要 200 毫秒。在某种程度上,你是在与光速作斗争。

让 ZK 证明器变得足够快是另一个前沿难题。目前的速度(分钟级)与目标速度(秒级)之间大约相差 1000 倍。这既需要数学上的突破,也需要专门设计的硬件。

扩展数据可用性虽然困难,但相对更容易处理。数学逻辑是行得通的。挑战在于,如何在一个承载着数千亿美元价值的实时网络上谨慎地进行操作。

后量子迁移是一场操作上的噩梦,因为新的签名特征太大,改变了所有环节的经济模型。

原生隐私不仅技术难度高,在政治上也十分敏感。监管机构担心隐私工具会助长洗钱活动。工程师必须构建出既足够私密以保证实用性,又足够透明以满足合规要求的系统,并且它还必须抗量子攻击。

而这些升级不可能同时进行。有些升级依赖于其他升级。没有成熟的 ZK 证明,就无法扩展到 10,000 TPS。没有在数据可用性上下功夫,就无法扩展 L2。这些依赖链条决定了时间表。

对于所尝试的这一切而言,三年半的时间实际上已经算是相当激进了。

2029 年?

首先,存在一个变数。Strawmap 明确指出:“目前的草案假定以人类主导的开发模式。人工智能驱动的开发和形式化验证可能会显著压缩时间表。”

2026 年 2 月,一位名叫 YQ 的开发者与 Vitalik 打赌,认为一个人可以利用 AI 代理编写出一个针对 2030+ 路线图的完整以太坊系统。几周之内,他就交付了 ETH2030:一个实验性的 Go 语言执行客户端,声称拥有约 71.3 万行代码,实现了 Strawmap 上的全部 65 个项目,并标注为可在测试网络和主网上运行。

它是否已准备好投入生产?没有。正如 Vitalik 指出的那样,整个代码中几乎肯定存在致命漏洞,在某些情况下,可能只是存根实现,AI 甚至都没有尝试完成完整版本。但 Vitalik 的回应值得仔细阅读:“六个月前,这甚至还完全是天方夜谭,而重要的是趋势的走向……人们应该对这种可能性(只是可能性,不是确定性!)保持开放态度:以太坊路线图的完成速度可能会比人们预期的快得多,而且安全标准也会远超预期。”

Vitalik 的核心见解是,正确运用 AI 的方式不应该仅仅是为了追求速度。而是应该将 AI 带来的一半收益用于提升速度,另一半用于提升安全性:进行更多的测试、更多的数学验证,以及对同一功能进行更多独立的实现。

Lean Ethereum 项目正在致力于对部分密码学和证明栈进行机器检查的形式化验证。长期以来被视为理想化幻想的“无缺陷代码”,或许实际上将成为一项基本期望。

Strawmap 是一份协调文档,而非承诺。它的目标雄心勃勃,时间表充满愿景,其执行则依赖于数百名独立贡献者的参与。

但真正的问题其实不在于每个目标是否都能按时实现。而在于,你是想在一个拥有这种发展轨迹的平台上进行建设,还是想与之竞争。

而这一切——包括所有的研究、突破、密码学迁移——都是在公开的环境下进行的,免费且对所有人开放……这才是这个故事中真正值得获得比现在多得多的关注的部分。

来源
免责声明:以上内容仅为作者观点,不代表Followin的任何立场,不构成与Followin相关的任何投资建议。
喜欢
收藏
评论