开发者与维塔利克对赌:两周内单人借AI之力编写以太坊客户端
一位开发者曾与以太坊联合创始人维塔利克·布特林打赌,称单凭一人即可在两周内通过智能体编码完成面向2030路线图的以太坊客户端开发。如今,这位开发者构建的ETH2030项目已实现——该程序包含70.2万行Go语言代码,覆盖65项路线图目标,并能与以太坊主网同步运行。
布特林于周五对该成果作出评论,称其为“相当令人印象深刻的实验”,同时列出重要注意事项。他指出,人工智能有可能以超出社区当前预期的方式加速以太坊路线图的完成进度。
速度与安全之辩
布特林明确指出该项目的局限:由于未基于正式的以太坊改进提案构建,几乎必然存在关键缺陷,部分功能可能仅为AI生成的“存根”版本而未完整实现。他强调,此项实验的价值在于展现发展轨迹而非具体成果——半年前,如此规模的原型还“完全超出可能范畴”。
关于AI加速开发的正确路径,布特林主张在速度与安全之间取得平衡,而非将所有收益倾注于开发速度。他提出的理想模式是:运用AI生成更庞大的测试用例集,对实现方案进行形式化验证,并为同一组件生成多个独立版本以交叉验证。
致力于形式化验证所有以太坊代码的LeanEthereum项目团队近期便借助AI,针对STARK安全体系中最复杂的定理之一完成了机器可验证的证明。在布特林看来,这才是更高价值的应用场景——重点不在于更快交付代码,而在于交付可验证的正确代码。
可期的未来前景
布特林谨慎地将乐观态度表述为可能性而非预测。他认为,社区应当对以太坊路线图以比现有时间表更快的速度完成持开放态度,且实现的安全标准可能更高。
在安全层面,他个人对“无缺陷代码”从理想化幻想转变为关键基础设施基础期待的潜力感到振奋。尽管他承认绝对意义上的完全安全无法实现——这要求代码与开发者思维内容完全一致——但指出AI形式化验证技术已能消除超过99%由特定明确定义的代码故障引发的负面后果。
ETH

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
索拉纳ETF
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注