Vitalik 上海区块链国际周演讲整理:构建「密码学世界计算机」

CN
2 小時前
以太坊的未来在哪里?

整理:KarenZ,Foresight News

一台「世界计算机」想变得更强,未必需要把更多工作塞进同一条链。它也可以把工作分出去,再用数学证明确认:这些工作确实按规则完成了。

这是 Vitalik Buterin 在 2026 上海区块链国际周峰会演讲中描绘的一种未来。随着密码学工具逐渐成熟,以太坊有机会成为一个分工更细的计算网络:用户设备可以先处理一部分工作,交易上链前可以完成验证与聚合,区块链则承担必须由整个网络共同确认的部分。

2026 年 9 月 23 日,这场峰会在上海举行,Vitalik 以线上形式参与。围绕以太坊接下来的发展,他把隐私、扩容与 AI 放进了同一幅图景:密码学拓展系统能够实现的功能,AI 则帮助人们更快地构建和检验这些复杂系统。

从「谁能花钱」到「谁能看信息」

Vitalik 首先回到了区块链最初的价值:任何人都可以参与,用户可以按照公开规则使用系统,不必把全部控制权交给某一家机构。

但公开账本也带来了一个问题:交易可以被所有人验证,交易信息也往往暴露在所有人面前。地址没有直接标注真实姓名,并不意味着背后的活动就无法被关联。随着数据分析和 AI 的能力增强,仅仅依靠「地址不是姓名」来保护隐私,已经越来越不够。

在他看来,新的密码学工具正在改变区块链需要回答的问题。

比特币主要围绕一种数字资产建立规则;以太坊进一步允许人们创建资产,并通过智能合约规定资产如何使用。它们长期关注的是:资产属于谁,谁能在什么条件下把它转走。

接下来,信息本身也将成为保护对象。代码除了规定资产的使用权限,还可以参与规定信息的可见范围:哪些数据需要公开,哪些数据应当保密,哪些参与者可以获得访问权限。

这就是他所说的「可编程密码学」带来的变化。对于应用开发者而言,隐私有机会成为系统设计中的一部分,而不必一开始就接受所有业务数据公开的前提。

让别人相信结果,不必把一切摊开

要理解这种变化,可以先从区块链如何验证计算说起。

传统做法中,验证节点会各自执行交易,检查得到的结果是否一致。这种方式便于独立核验,但同样的工作需要被重复完成,也限制了整个网络能够承担的计算量。

Vitalik 着重谈到的另一种方式,是让计算执行者在完成工作后生成一份密码学证明,其他参与者通过检查证明来确认计算是否遵守规则。对于 SNARK、STARK 这类简洁证明系统,验证证明可以比重新执行原来的复杂计算更高效;当系统具备零知识属性时,还可以在证明结论成立的同时,隐藏不需要公开的输入信息。

这里有两个相关但不同的目标:一个是减少重复计算,另一个是保护隐私。使用证明来扩容,并不会自动让交易保密;隐私仍然需要应用和协议做相应设计。

他也提到了全同态加密,即 FHE。这类技术允许计算方直接处理加密数据,无须先把数据解密成明文。它为「让别人帮忙计算,同时不把原始数据交给对方」提供了技术路径。

这些工具共同拓展了应用的设计空间。在 Vitalik 的设想中,人们可以更灵活地决定计算在哪里发生、结果如何验证,以及哪些信息需要被谁看见。


交易还没上链,协作已经开始

这种分工并不只发生在区块链与应用之间。Vitalik 特别强调,交易从用户发出到被写入区块的这段过程,也可以承担更多工作。

他举出的第一个例子是 FOCIL,对应 EIP-7805。这项提案让多名验证者参与提出需要纳入区块的交易清单。按照当前提案,每个时隙会选出一个由 16 名验证者组成的委员会,成员分别根据自己看到的待处理交易制作清单,后续区块的构建和验证需要遵守相应的纳入规则。

它的作用,是降低单个区块构建者排除或拖延交易的能力,增强抗审查性。这里的保障仍然受交易有效性、区块容量等条件约束,不能理解为用户发出的任何交易都必然进入下一个区块

另一个例子是 EIP-8288,处理的是签名和证明的开销问题。

一些抗量子签名和 STARK 证明体积较大,如果逐个放进区块并分别验证,会带来较高成本。这项提案计划把聚合工作提前到交易上链前的内存池环节。内存池可以理解为节点保存待打包交易的地方;在交易传播过程中,参与者可以在链外处理这些签名和证明,再用一份聚合证明来证明相关验证条件已经满足,减少它们需要单独上链的数据与验证负担。

截至本文核验时,EIP-8288 仍标注为草案。Vitalik 在演讲中表达的是对未来升级的期待,不能将其视为已经上线的功能或确定的交付时间。

FOCIL 改变谁能影响交易的纳入,EIP-8288 则尝试让昂贵的密码学处理在上链前完成聚合。两者指向了同一种变化:用户发出交易之后,网络可以通过更多参与者的分工,提前完成一部分工作。

让链上少算一点,整个系统才能做得更多

在 Vitalik 描绘的架构中,一笔交易可能在离开用户设备之前,就完成了大量本地计算;随后经过具有不同隐私属性的传播路径,完成证明聚合,再由不同角色参与区块构建,最终进入链上。

理解这样的系统,需要把主链、二层网络、内存池以及用户设备放在一起看。区块链仍然重要,但必须由所有验证节点依次处理的业务逻辑,可以随着技术进步而减少。

这也改变了扩容问题的问法。

如果应用要求大量计算彼此依赖、严格按顺序完成,扩展它仍然困难。但如果工作能够拆分成可独立执行、独立验证的部分,并且可以提前在链外处理,整个系统就有机会承载更大的计算量。

因此,Vitalik 强调的前提是计算如何组织。能够拆分和验证的任务,更容易获得大规模扩展;任意一种计算都不加限制地享有同样的扩展能力,仍然不是现实。

用户等待的时间也有望缩短。他在演讲中给出的未来预期,是将出块间隔降至 4—8 秒,将最终性所需时间降至 8—32 秒。这里,出块意味着交易有机会被纳入区块,最终性则意味着区块获得更强的共识确认,二者不能混为一谈。这些数字是他谈到的目标范围;以太坊基金会近期公开材料也将「从分钟级最终性走向秒级」列为研发方向,而非已经完成的升级。

他邀请开发者关注的 Strawmap,本身也是一份持续更新的以太坊 L1 路线图草案。它能帮助人们理解各项研究如何衔接,具体方案和顺序仍会调整。

「密码学世界计算机」的意义,也由此变得具体:计算可以分散到更多地方,而人们仍然能够依据密码学证明,对计算结果进行验证。

AI 正在改变复杂系统的开发方式

谈到这些变化如何落地,Vitalik 给 AI 记了很大一份功劳。他还开了个玩笑:这次演讲的幻灯片能好看一点,也有 AI 的帮助。

他真正看重的,是 AI 对整个研发流程的加速。

密码学应用的困难不只在于找到一种算法,还在于把算法写成可靠的软件。随着代码和系统越来越复杂,测试、审查与证明其正确性的工作,也会变得越来越繁重。在他看来,AI 可以帮助开发者编写规范、生成测试、分析代码,并推进形式化验证,使更复杂的密码学系统更有机会被可靠地实现。

所谓形式化验证,是先用明确的数学规则描述程序应该做什么,再证明程序符合这些规则。它能够提供比普通测试更强的正确性保障,但保障范围取决于规则和模型本身是否准确、完整。

Vitalik 还提出一种思路:让不同的人、团队或 AI 智能体分别描述同一套系统应该如何工作,再通过数学证明检查这些描述是否一致,以及代码是否符合要求。若出现分歧,就能把问题缩小到更容易检查的范围。

在他看来,这与二层网络的安全建设直接相关。过去,为弥补对复杂系统正确性的信心不足,项目往往需要多套证明系统、安全委员会等额外安排。随着验证工具进步,人们有机会更严格地检查底层实现,为减少对额外信任安排的依赖创造条件。

演讲最后,他把话题落回开发者和应用本身。

不少早期应用是在一组技术限制下设计出来的:隐私难以实现,复杂计算成本高,代码越复杂,越难充分验证。如果这些条件正在改变,开发者就值得重新审视原来的设计,也值得尝试过去难以构建的应用。

AI 还可以帮助更多人理解这些前沿技术,找到自己能够参与的部分。无论是研究密码学、改进算法,还是将以太坊与其他去中心化网络及现实需求连接起来,都有新的工作需要完成。

这场演讲留给开发者的落点很具体:当信息能够受到更细致的保护,计算可以在更多地方完成,复杂代码也有了更强的验证工具,应用就可以从新的起点重新设计。

免责声明:本文章仅代表作者个人观点,不代表本平台的立场和观点。本文章仅供信息分享,不构成对任何人的任何投资建议。用户与作者之间的任何争议,与本平台无关。如网页中刊载的文章或图片涉及侵权,请提供相关的权利证明和身份证明发送邮件到support@aicoin.com,本平台相关工作人员将会进行核查。

分享至:
APP下載

X

Telegram

Facebook

Reddit

複製鏈接