以太坊联合创始人Vitalik Buterin于2026年9月23日在第12届全球区块链峰会的线上主题演讲中表示,密码学的进步可能终结每个区块链节点重复执行相同计算的模式;据他在上海区块链国际周期间的演讲,这一转变可能在不完全放弃去中心化保障的情况下提升可扩展性和隐私性。
Buterin预计,SNARK、STARK及相关技术将同时改善可扩展性和隐私性。
他表示,人工智能可加快日益复杂的区块链系统的软件开发、测试和形式化验证。
Buterin表示,在过去15年里,行业的技术能力及其对去中心化系统应具备何种属性的认识都已发生变化。早期区块链确定了资产归谁所有以及谁可以管理资产,而下一阶段将涉及可编程隐私,即代码还将决定谁可以访问特定信息。
Buterin表示,早期区块链架构要求许多参与者反复执行相同操作。该模式支持可验证性,但限制了性能和隐私性。
SNARK和STARK正逐步改变这种方法。一名参与者可以执行操作并生成密码学证明,使其余参与者能够验证结果,而非重复底层计算。
Buterin表示:“人人都必须重复一切的时代正在结束。”
递归STARK与以太坊架构
Buterin将递归STARK列为关键发展领域。该技术可将多个证明合并为一个证明,从而减少区块链必须直接处理的数据和计算量。
他此前曾在EIP-8288中提议使用这一方法。该提案设想在内存池层面聚合密码学签名和STARK证明,然后发布一份关于其有效性的紧凑证明。
Buterin预计,该技术将降低隐私交易和抗量子交易的成本,并将部分复杂的密码学操作移出以太坊的主执行路径。
该方法是以太坊交易结构更广泛拟议调整的一部分。9月初,Buterin讨论了EIP-8141,该提案将一笔交易划分为独立的操作和依赖关系。他表示,该架构应允许部分操作并行运行,而非按顺序运行。
Buterin还重点提及FOCIL,这是一种用于分布式区块构建的机制。FOCIL旨在减少交易被纳入区块时对单一参与者的依赖,并增强网络的抗审查能力。
Buterin表示,从更长远来看,不应仅将区块链视为第一层网络。他描述了一条更广泛的计算流程,其中包括用户设备上的本地操作、具有不同隐私特征的内存池、证明聚合、第二层网络以及基础层。
Buterin表示,这种架构可在保留去中心化保障的同时大幅提高可扩展性。2026年夏季,他将以太坊描述为正迈向一个概念上的“第三时代”,其重点是扩展性、隐私性和对量子计算的韧性。
AI与形式化验证
Buterin表示,人工智能可在这一转变中发挥不同作用,因为现代密码学系统正变得足够复杂,人工开发和代码审计可能成为制约因素。
他说,人工智能可以帮助编写和分析软件、创建规范、运行测试并进行形式化验证。形式化验证能够从数学上证明某项实现符合其既定要求。
Buterin表示,将多个独立规范与自动化验证相结合,可在风险不成比例增加的情况下支持复杂程度显著更高的系统。他还将当前第二层网络的局限性与验证复杂代码的难度联系起来,称项目必须依赖额外保护措施,包括多个证明系统和安全委员会。
Buterin此前曾表示,将人工智能与形式化验证结合,可能显著重塑以太坊的安全性。算法可帮助识别漏洞、验证协议实现,并将代码与形式化规范进行比较。
他说,人工智能的潜在作用不止于软件开发。AI智能体可以独立与覆盖第一层和第二层网络及中介服务的基础设施交互,并为特定操作选择适当工具。
2026年2月,Buterin提出了人工智能与以太坊的更新愿景,强调去中心化、隐私和可验证性。他在最新演讲中敦促开发者重新考虑那些在高级密码学、可编程隐私和自动化形式化验证尚未被视为实际可行时设计的应用程序,并表示这些限制正逐步消退。
来源:HODL Press
