以太坊路线图或借AI之力加速推进：V神展望技术新前景_新闻

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

以太坊路线图或借AI之力加速推进：V神展望技术新前景

2026-03-02 07:30:00

以太坊联合创始人：人工智能可加速路线图实施并提升安全标准

以太坊联合创始人维塔利克·布特林表示，人工智能技术有望加速以太坊网络发展路线图的推进，同时提升其安全标准。

布特林指出，人工智能带来的效率提升应有一半投入于更严格的测试与形式化验证。通过人工智能的辅助，实现近乎无缺陷的加密代码正逐渐成为可期的目标。

此前有人尝试在数周内通过“氛围编码”方式草拟出以太坊2030年完整路线图，布特林对此评论道：“半年前这尚且超出想象，而重要的是技术趋势的演进方向。”他本人曾亲自在笔记本电脑上用一小时重建了个人博客软件的等效版本，以此测试人工智能编程能力。

效率与安全的平衡之道

布特林提议将人工智能带来的效率增益中至少半数投入安全领域，具体措施包括增加测试案例、实施形式化验证以及推进多版本实现。他提醒道：“人们应当保持开放心态，接受以太坊路线图可能以远超预期的速度完成，并达到比预期更高安全标准的可能性。”

与此同时，Lean以太坊项目的合作者利用人工智能生成了STARKs安全体系所依赖的复杂定理的机器可验证证明，该项目旨在对所有组件进行形式化验证。布特林强调，仅生成大量测试案例本身就已超越形式化验证的范畴。

针对两周完成的路线图实验，布特林指出其存在显著局限：“几乎必然存在大量关键错误，某些部分可能仅是人工智能未尝试完善功能的‘存根’版本。”他建议将人工智能的增益合理分配于开发效率与安全强化之间，并警告：“切勿期待仅通过简单指令就能即刻获得高安全性的版本，开发者必将面临大量错误修正与版本间协调工作。”

从理想幻想到基础要求

布特林对无缺陷代码的前景表示振奋：“长期被视为理想化幻想的无缺陷代码，将首先成为可能，继而转变为基本要求。”他认为这对于加密系统实现去信任化至关重要。

虽然绝对安全仍无法实现——这需要代码行与思维内容达到完全对应，而布特林估计这需要数太字节的信息量，但在特定情境下提出并验证具体的安全主张，已能消除超过99%的代码漏洞所致负面影响。

这一论述表明，人工智能既能加速开发进程，又可同步提升安全门槛。布特林提出的框架显示，人工智能或许能够打破效率与安全的传统权衡，使开发者在以往不可能达到的速度下实现深入的安全验证。

免责声明：

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

展开阅读全文