以太坊联合创始人 Vitalik Buterin：后续分叉将全面走向递归STARK
以太坊联合创始人 Vitalik Buterin 在 ETHShanghai 2026 远程主旨演讲中，把递归 STARK 内存池方案 EIP-8288 作为核心议题，称其要同时缓解抗量子签名、隐私交易与主网扩容之间的冲突。
现行抗量子签名验证约需 10 万至 30 万 gas，隐私交易在精心工程下约 30 万 gas，若再叠加抗量子则可能升至约 1000 万 gas。他警告，若人人直接上链验证这类对象，主网吞吐会从约 25 笔每秒掉到约 0.25 笔。方案是把重计算留在内存池：节点约每 500 毫秒收集依赖、生成递归证明，链上每块只验证一份约 100 至 300kb 的 STARK，另加每条陈述约 96 字节。
他希望该草案进入 Hegota 之后的 I-star 分叉，并作为 Frame Transactions 的下一步。效果包括把抗量子隐私成本压到数万 gas，让 Falcon、ML-DSA 等新签名不必改以太坊虚拟机，只要客户端先包一层 STARK。递归证明需要统一指令集，目前首选 RISC-V，等于把一种规范 ISA 写进协议。基金会把全面抗量子准备瞄向 2029 年 12 月。
出块与最终性属于另一条并行路线。基金会 2026 年初的技术草图提出把 12 秒出块、约 16 分钟最终性逐步压到数秒级出块与约 6 至 16 秒最终性；Vitalik 本人描述过 8、6、4、3 甚至 2 秒槽位的阶梯。演讲侧同时提到，证明成本下降后，二层向主网提交间隔有望从数分钟收到约一分钟或更短。人工智能被他用来说明形式化验证正在加速，使更复杂的密码系统也能被机器检查。
市场机制是协议规则重定价。买方是要抗量子与隐私又不想堵死主网的应用和二层，卖方是能在内存池里做聚合证明的客户端与证明市场。事件驱动来自峰会演讲把已有草案再次推到升级议程。受益方是 STARK 证明器和 RISC-V 工具链，承压方是把重验证仍塞进执行层的旧钱包与排序器。以太坊不在此日改出块时间，改的是下一两年分叉把什么密码学写成默认。
来源：公开信息
ABAB AI 解读
Vitalik 近一年把以太坊主线从“吞吐口号”扭到“抗量子加隐私还不能把主网卡死”。零知识证明过去十年把计算搬出链上，递归 STARK 是把这一搬迁写进内存池，而不是再给虚拟机加预编译。Hegota 收窄范围、I-star 再接 EIP-8288，是把大改拆成可排期的分叉，避免再出现一次过大的合并式升级。
资本与工程资源跟着证明市场走。二层已经靠有效性证明结算，主网若规定每块只吃一份递归证明，证明器就会从可选基础设施变成协议必需品。RISC-V 作为规范 ISA，意味着客户端、审计和形式化工具要围着同一套指令转，人工智能加速验证只会强化这条标准化。钱流向能实时出 STARK 的硬件和软件，而不是再炒一层“新虚拟机预编译政治”。
对标对象是比特币脚本极简、Solana 把执行堆在单一高性能机器、以及各家二层各用一套证明系统。以太坊选的是主网变瘦、证明变厚。行业阶段是从扩容竞赛转入密码学默认值竞赛：谁先把抗量子和隐私的单位成本打到普通转账附近，谁就定义下一轮账户抽象。
结构变化是技术替代。链上不再逐条验证重对象，而是验证“验证已经发生”的证明。机制是：量子安全把签名和证明变得更大更贵，若不聚合，隐私与安全会直接吃掉吞吐量；递归内存池把费用从执行层转移到节点并行计算，于是扩容、隐私、抗量子可以同向移动，而不再三选二。
ABAB News · 认知定律
最贵的安全若逐条上链，吞吐会先死
协议一旦指定证明格式，证明器就变成新的矿工
分叉排期比白皮书更能决定哪套密码学成为默认