维塔利克·布特林称AI可加速以太坊发展路线并增强安全性_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

维塔利克·布特林称AI可加速以太坊发展路线并增强安全性

2026-03-02 18:25:00

人工智能或可加速以太坊路线图，同步提升核心升级安全标准

维塔利克·布特林敦促开发者将人工智能带来的效率增益合理分配，在加速编码与深化验证之间取得平衡。Lean Ethereum等倡议正利用人工智能推进形式化证明，以降低代码缺陷引发的风险。

以太坊创始人维塔利克·布特林指出，人工智能有潜力改变网络发展的速度与安全水平。他引用了一项实验案例：研究团队运用人工智能在数周内完成了以太坊2030路线图的原型设计。这一成果备受关注，因为仅在数月前，此类产出还被视为难以实现。布特林强调，当前人工智能能力的发展趋势亟需开发者投入更多关注。

他还在个人设备上进行了人工智能编程测试。一小时内，他成功构建了个人博客软件的可运行版本。这次实践进一步印证了他的观点：人工智能工具正显著提升大规模软件生产的效率。

路线图原型开发因人工智能实验提速

该路线图实验始于一位开发者提出的构想——单人能否借助人工智能完成参考实现代码的编写？最终，团队在数周内构建出以太坊长期升级计划的概要版本。尽管成果令人瞩目，该原型仍存在明显局限性。

布特林承认，人工智能快速生成的代码很可能包含关键缺陷，部分模块可能依赖不完整或临时代码实现。因此，他主张开发者必须谨慎对待人工智能生成的代码。

随着模型性能提升，由人工智能系统生成应用代码的“氛围编程”模式正逐渐普及。然而安全研究人员持续警告，自动化输出中可能潜藏难以察觉的漏洞。布特林建议开发者在追求速度的同时，必须强化验证标准。

安全提升须与效率提升同步

布特林提议将人工智能带来的生产力增益合理分配：一半用于加速交付，另一半用于深化安全审查。具体措施包括生成更多测试用例、运行多个独立实现验证等。他近期表示，人工智能可以辅助加密安全建设，但无法替代核心系统保障机制。

他同时鼓励更广泛地采用形式化验证方法。形式化证明能通过数学方法确认软件行为是否符合设计意图。近期，Lean Ethereum合作者利用人工智能编写了与复杂STARK安全假设关联的机器可验证证明，这一里程碑显示人工智能可助力高级密码学验证。

Lean Ethereum倡议旨在对所有核心组件进行形式化验证。人工智能工具提高了实现该目标的可能性，但布特林强调，建立更庞大的测试用例体系仍具有同等重要性。

显著局限与现实约束

尽管持乐观态度，布特林也明确了人工智能的现有局限：目前无法仅凭单一指令生成高安全性系统，开发者仍需解决实现版本间的错误与不一致问题。

他认为绝对安全仍不可企及。要实现代码与人类意图的完全契合，需要映射海量认知数据，其规模可能达数太字节级别。因此，完全的无懈可击并不现实。

尽管如此，在特定情境下仍可验证具体的安全主张。细致的验证流程有望消除99%以上因代码缺陷导致的负面后果，这将显著增强去信任化加密系统的可靠性。

扩展路线图与未来升级

布特林的论述与以太坊基金会近期发布的路线图规划相呼应。该计划勾勒了未来四年的主要升级方向，其中包含保护网络长期完整性的抗量子计算措施。他早前曾系统阐述过以太坊与人工智能协同演进的新愿景。

与此同时，他表示账户抽象（智能账户）功能有望在一年内实现。这些进展共同表明，人工智能可能在压缩开发周期的同时，全面提升以太坊技术栈的可靠性标准。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文