智能编码加速以太坊开发进程
以太坊联合创始人维塔利克·布特林近日指出,人工智能正在显著加速以太坊生态系统的发展。他在近期公开讲话中透露,开发者借助智能体编程技术仅用数周便构建出符合路线图规划的原型客户端。这项在2026年初线上开展的工作,在提升开发速度的同时,通过测试验证强化了系统安全性。
人工智能驱动的编码与测试进展
据布特林介绍,开发者运用智能体编程技术构建出符合2030年路线图的以太坊客户端原型。该原型包含约70万行代码,涵盖65项路线图功能点,并在两周内成功实现与以太坊主网同步。
不过布特林强调该版本存在明显局限,代码可能包含关键缺陷与未完整实现的功能。但他同时指出,半年前这样的进展尚不可想象,这凸显了开发工具的演进速度。
布特林补充说,人工智能正在全方位加速编码进程。他以自身经验为例,提到利用本地模型在一小时内重建了博客系统。因此他认为效率提升应均衡体现在开发速度与安全实践两个维度。
形式化验证与安全强化
布特林表示最高效的人工智能应用应将快速编码与深度测试相结合。他特别强调需生成更全面的测试套件并扩展形式化验证。据悉,已有LeanEthereum合作者借助人工智能为复杂的STARK相关定理生成了机器可验证证明。
布特林指出,虽然构建无缺陷代码仍具挑战,但通过重复测试与多版本实现校验,这一目标正变得更具可达性。他提醒安全系统不可能通过单次提示生成,但调试周期如今可实现更快速、更彻底的迭代。
抗量子计算路线图规划
布特林同时阐述了以太坊抗量子计算路线图。他分析了BLS共识签名、基于KZG的数据可用性、ECDSA账户签名及零知识证明系统存在的潜在漏洞,并提出用基于哈希的签名方案替代BLS签名,结合STARK聚合技术增强防护。
针对外部持有账户,布特林提及EIP-8141提案。该方案支持多重签名机制,包含抗量子计算选项。虽然当前会产生更高燃气成本,但他预期未来效率将逐步优化。
该路线图同时涵盖证明系统改进。虽然STARK证明成本高于现有ZK-SNARK方案,但通过聚合技术可降低链上计算负载。上月以太坊基金会表示,下一阶段生态系统将在保障长期安全性与韧性的基础上持续扩展容量。
ETH

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