以太坊联合创始人维塔利克·布特林在9月17日发布于X的一篇帖子中表示，由人工智能驱动的黑客攻击并不一定意味着网络安全的终结。他称，能够解决复杂数学问题的人工智能系统可以拓展形式化验证的应用，通过证明软件符合既定安全标准来提升安全性，即便面对规模庞大且复杂的程序也是如此。布特林表示，其净资产约90%以加密货币形式持有，这意味着他的信心来自一项与自身存在直接经济利益关系的立场。他还强调，定义安全标准比验证代码更困难，因为相关规范必须考虑包括被动和主动攻击者、服务器遭入侵、密钥泄露、元数据暴露以及硬件漏洞在内的威胁。他的上述评论发布前，业界已发生一系列人工智能辅助的安全事件，并披露了涉及Zcash、以太坊基础设施、Coldcard钱包、Boltz、Core Lightning以及数百个其他项目的相关调查结果。布特林表示，未来数年以太坊计划在数据库、网络和缓存层等领域推进全程序验证。