9月23日，2026上海区块链国际·第十二届区块链全球峰会在上海举行。峰会汇聚全球顶尖区块链创始人、技术领袖、投资人与政策制定者，聚焦AI与区块链融合、Web3大规模应用及监管科技等议题。以太坊联合创始人Vitalik Buterin作为重磅嘉宾发表主旨演讲，围绕过去15年区块链技术范式转变、零知识证明与AI融合、以太坊未来协议路线图及应用重构展开。
Vitalik表示，过去15年，区块链工具表面相似，但用户获得的属性、需要付出的成本以及规则设计方式已发生巨大变化。比特币结合区块链、签名和工作量证明，以太坊加入智能合约并转向权益证明，带来开放、可参与、可靠、安全、中立等属性，但公共区块链也在隐私、可扩展性和延迟方面付出代价。
零知识证明推动验证方式革命
Vitalik指出，过去10年最大技术变化之一是零知识证明兴起，包括ZK-SNARKs和抗量子版本的STARKs。它们让验证者无需重新执行计算即可验证计算，且无需知道完整输入信息。SNARKs和STARKs改变了隐私与可扩展性权衡。今年重大变化是，这些技术不再遥远，已变成EIP、日期和工程路线，未来硬分叉后很多东西将放进STARK。
前沿密码学与区块构建变化
除ZK外，全同态加密、不可区分混淆等更强大技术也在出现。Vitalik提到，并行化区块链、FOCIL、EIP-4844后的blob等设计，正在让多个参与者共同构建区块，并在链下聚合对象，以提高交易包含保证和扩展性。
系统保护什么、计算发生在哪里
Vitalik认为，需要重新思考系统角色：比特币保护数字资产BTC，以太坊允许发行数字资产，现代密码学保护数字资产和信息。进入可编程隐私时代后，代码决定谁可以看到什么，问题不再只是“能否发送”，而是“能否看到某条信息”。同时，计算正从几乎全部上链，转向本地计算、mempool、区块构建参与者、链上结算的完整流水线。
AI加速ZK、形式化验证与安全构建
Vitalik强调，AI正在加速工作流每一个部分。此前零知识证明只能做较简单密码学应用，代码超过约一千行就几乎必然有bug；后AI时代，可通过冗余测试、规范和分析，把更大、更复杂的事情放进密码学。证明生成开销仍高，但正快速改善。形式化验证过去是实践瓶颈，现在也变得更可行。L2未达预期的一大限制是验证能力有限，而AI可帮助多规范、多实现、多团队自动证明一致性，缩小争议基础。
以太坊路线图与开发者机会
Vitalik鼓励开发者关注以太坊路线图。未来一年之后的每一个硬分叉，都会涉及以太坊密码学特性，包括把一切放进STARK、zkEVM、聚合STARK、验证一切、量子签名算法等。以太坊正从单纯区块链变成拥有不同层的大网络。他呼吁开发者重新思考应用，因为许多5年、10年、15年前构建的应用，并非在可编程隐私与复杂代码安全可验证的前提下设计。现在应把应用与其他去中心化网络及现实世界结合，推动改进与创新。
在演讲最后，Vitalik表示，参与前沿技术和生态正变得越来越可能、越来越容易接近，只要愿意工作、思考和投入精力，就可以帮助研究、构建并推动创新。