金色财经报道 9月23日，2026上海区块链国际·第十二届区块链全球峰会在上海举行。峰会汇聚全球顶尖区块链创始人、技术领袖、投资人与政策制定者，围绕AI与区块链融合、Web3大规模应用及监管科技等核心议题展开讨论。
以太坊联合创始人Vitalik Buterin作为重磅嘉宾发表主旨演讲，主题涵盖过去15年区块链技术范式转变、零知识证明与AI融合、以太坊未来协议路线图及应用重构。他指出，以太坊正在从单纯的区块链，转变为一个拥有不同层的更大网络。
零知识证明从远景走向工程路线
Vitalik表示，过去10年最大技术变化之一是零知识证明兴起，包括ZK-SNARKs和抗量子STARKs。它们允许验证者高效验证计算，而无需重新执行，也无需掌握完整输入信息。他认为，今年重大变化是所有计划都在转向使用这些技术，它们已不再是遥远未来，而是变成EIP、日期和工程路线，未来硬分叉后很多内容将放进STARK。
除ZK外，全同态加密、不可区分混淆等更前沿密码学也在加速出现。Vitalik提到FOCIL与EIP-4844后的blob机制，指出区块构建参与者将更趋多元，交易进入下一区块的保证更强。他提出，行业需要重新思考系统保护什么、计算发生在哪里，以及牺牲了什么。
可编程隐私与链角色最小化
他回顾称，比特币保护数字资产BTC，以太坊则允许发行资产并保护信息。如今正进入可编程隐私时代，代码决定谁可以看到什么，问题不再只是能否发送，而是能否看到某条信息。计算也正从链上转向完整密码学网络：用户在本地做大量计算，交易经过多种mempool、聚合与区块构建参与者，最终上链。链不再处理所有事情，只处理必须由每个节点串行处理的业务逻辑。
AI加速ZK、STARK与形式化验证
Vitalik强调，AI正在加速工作流每一个部分。过去代码超过约一千行几乎肯定有bug，现在可用冗余测试、规范和分析，把更大、更复杂的东西放进密码学。算法开销也显著下降，ZK在AI推理上已可低于10倍开销，证明生成仍有约250倍开销但快速改善。形式化验证过去是实践瓶颈，如今也变得更可行。他认为，L2未达预期的一大限制是验证能力有限，而现在可通过多规范、多实现和自动数学证明缩小争议。
呼吁开发者重构应用
他鼓励开发者关注以太坊路线图。未来一年之后的每一个硬分叉，都会涉及以太坊密码学特性，包括把一切放进STARK、zkEVM、聚合STARK、量子签名算法等。许多5年前、10年前、15年前构建的应用，并非在“可编程隐私成为可能”“复杂代码安全性可验证”的前提下设计。现在是重新思考应用的好时机。
Vitalik呼吁开发者回去开发、构建，把应用与其他去中心化网络及现实世界结合，推动改进与创新。
以下为Vitalik主旨演讲实录，由金色财经编译整理，有删减。