资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
维塔利克·布特林警示：人工智能将重塑加密系统的攻防形态
以太坊联合创始人维塔利克·布特林近日撰文指出，人工智能技术的飞速发展可能彻底改变加密系统遭受攻击与实施防御的方式，从而推动基础设施向可数学验证的软件方向演进。
人工智能威胁迫在眉睫
布特林认为，日益强大的人工智能模型将大幅降低发现和利用复杂软件漏洞的难度。他特别强调，一旦人工智能工具开始自动化漏洞挖掘，加密基础设施中的程序缺陷将变得尤为令人担忧——这一观点已在安全研究领域引发广泛共鸣。
文中将以太坊基础设施、共识机制以及后量子密码学列为需要强化防御的重点目标。布特林建议开发者不应仅依赖传统审计，而应转向形式化验证方法，即通过数学方法严格证明代码在设定条件下能够按预期运行。
形式化验证构筑防线
“人工智能能以牺牲精确性为代价生成大量代码，而形式化验证能重新赋予精确性。”布特林在文中写道。针对部分研究者对人工智能生成软件可信度的质疑，他提出了更为乐观的见解。
布特林相信，结合人工智能辅助编程与验证工具，最终可能创造出比人类独立开发更为可靠的软件。他还提及了专注于加密基础设施与以太坊虚拟机软件安全的Arklib、evm-asm等活跃项目。
不过文章也提醒，形式化验证并非万能解决方案。即使经过数学证明的系统，若开发者验证了错误的前提假设，或攻击发生在已验证的代码路径之外，仍可能出现故障。
安全架构的未来展望
布特林描绘了这样的未来图景：敏感数字基础设施将浓缩为更小型的“安全核心”系统，在保持高度隔离与严格验证的同时，非关键应用则以有限权限运行。
今年以来，布特林已多次探讨人工智能安全议题。二月他提出应在效率与安全之间平衡人工智能的生产力增益；五月则推荐了Lean等高可信度开发的形式化验证工具。此番最新论述将这些观点延伸至更广阔的范畴，将数学证明定位为应对区块链及传统互联网系统中人工智能驱动攻击的最可靠解决方案。
