Vitalik Devcon 8：AI 时代晶片通讯需可验证

据 Woofun AI 消息，年度开发者大会 于 11 月 3 日在印度孟买正式拉开帷幕，以太坊共同创办人 作为开幕主讲人，阐述了一条以"开放、安全、可验证"为核心路径的技术愿景。以太坊基金会在 X 平台上对此次演讲进行了重点摘要，强调经过形式验证的作业系统、开放架构的晶片设计、自主可控的健康科技、不受干扰的自由讨论空间、严密保护的私密通讯以及可被信任的 AI 系统，均被纳入以太坊生态的使命范畴。这场于 11 月 3 日至 6 日举行的盛会，其官方直播仍在持续进行中，而演讲内容的完整梳理则基于 The Crypto Times 所上传的现场录影资料进行深度解构。

Buterin 在开场即抛出一个核心论点：现代 AI 技术的指数级爆发，正在系统性地推翻人类对世界运作方式长期持有的旧有假设。他通过一系列具象化的对比揭示了这种认知颠覆：过去，开发者或许可以假设软体仅存在中等数量的漏洞，但如今 AI 能够自动且全面地挖掘出所有潜在缺陷；曾经被视为单纯显示终端的电视，现在可能内置监视功能，甚至成为骇客入侵监控用户的跳板。在物理空间层面，以往户外环境中的私下对话被视为天然隐私，但在 AI 与无人机技术结合的背景下，这种假设已不复存在；即便过去摄影机遍布城市，受限于人力处理能力的瓶颈，海量影音资料难以被有效分析，而 AI 的介入彻底打破了这一限制。

然而，Vitalik 并未将 AI 的影响仅限于负面，他反问台下观众，五年前谁能预见癌症疫苗的真实存在，或想像 AI 已在证明黎曼猜想这条数学难题的道路上推进了一半，这些曾经的科幻场景如今正成为现实。为了更直观地描述过去一年 AI 带来的剧变，Vitalik 引入了一个游戏比喻：所有玩家同时经历快速升级，过去难以击败的"怪物"变得轻易可胜，但每个玩家辛苦积累的装备与技能却在一夜之间归零，同时更强大的新怪物随即出现。"这是一场疯狂的游戏，而且很不幸，大家都被迫要玩。"

面对这种技术加速带来的不确定性，Vitalik 回顾了他在 2023 年提出的 d/acc（防御性、去中心化的加速）概念，明确反对"支配"式的安全观。他指出，当人类面对强大且危险的技术时，通常会陷入三条路径的困境：出于恐惧而选择减速甚至禁止技术发展，将所有资源集中交给一个控制一切的强大组织，或是走向整体毁灭。Vitalik 认为，减速在当前趋势下显然不可能发生，"世界正在加速"是既定事实；而"支配"则是当前世界正在无意识走向的预设路线，其逻辑是"我们安全，是因为我们拥有最好的工具，其他人都不能有"。

这种模式的问题在于，缺乏工具保护的群体会心生不满，并想方设法自行获取工具以自保，最终演变成一场无法停止的军备竞赛。作为替代方案，Vitalik 主张积极强化实体、虚拟与网路各层面的防御能力。他强调，安全问题的核心始终是"你信任谁"，而答案在于开放与可验证：通过开源，让单一地点的创新能被全球范围内的使用者改进与应用；通过可验证性，利用数学工具实际验证数位元件的安全性；通过最小化依赖，避免装置无端连接至如 14 个不同的伺服器；以及通过密码学技术，如零知识证明，仅证明特定事实而无需揭露个人所有资讯。

在具体的技术领域应用上，Vitalik 将信任重建的战场延伸至作业系统与硬体晶片层面。针对作业系统，他点名了 、 等长期致力于构建更安全操作环境的专案，并指出越来越多计画正尝试对 Linux 核心或替代核心进行形式验证，旨在通过严格数学证明来减少可能藏有漏洞的程式码行数。他重申了一个关键原则："不是你的作业系统，就不是你的应用程式。"在硬体层面，Vitalik 表达了对黑盒硬体的不信任，指出人们不能接受不知道电视是否在监视自己，更不能接受硬体钱包可能被钉上一张 SIM 卡，从而将私钥直接交给北韩骇客等恶意行为者。"不是你的晶片，就不是你的生活"，因此，推动更开放、更可验证的晶片设计成为当务之急。