• 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

维塔利克:“AI驱动的形式验证有望成为软件开发核心”

2026-05-18 21:27:21
收藏

以太坊联合创始人维塔利克·布特林近日透露,以太坊社区正在开展一项实验,旨在利用Lean等形式化验证工具,对以太坊虚拟机字节码及RISC-V汇编等低级语言代码的准确性与安全性进行验证。

形式化验证的应用与优势

布特林指出,形式化验证可应用于加密通信协议、共识算法以及以太坊虚拟机实现等核心基础设施的安全检验。在当前人工智能能够自动发现代码漏洞的环境下,这项技术有助于增强防御方的优势。

技术局限与发展展望

但他同时强调,形式化验证并非万能解决方案。未被建模的假设、侧信道攻击以及验证范围之外的模块等因素,仍可能构成潜在风险。布特林预测,未来软件可能围绕少数安全核心架构进行构建,而人工智能将逐步承担代码生成的工作。

免责声明:

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

展开阅读全文
更多新闻
自选
我的自选
查看全部
市值 价格 24h%