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

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

维塔利克·布特林称人工智能正加速以太坊开发进程

2026-03-01 17:30:00
收藏

智能编码加速以太坊开发进程

以太坊联合创始人维塔利克·布特林近日指出,人工智能正在显著加速以太坊生态系统的发展。他在近期公开讲话中透露,开发者借助智能体编程技术仅用数周便构建出符合路线图规划的原型客户端。这项在2026年初线上开展的工作,在提升开发速度的同时,通过测试验证强化了系统安全性。

人工智能驱动的编码与测试进展

据布特林介绍,开发者运用智能体编程技术构建出符合2030年路线图的以太坊客户端原型。该原型包含约70万行代码,涵盖65项路线图功能点,并在两周内成功实现与以太坊主网同步。

不过布特林强调该版本存在明显局限,代码可能包含关键缺陷与未完整实现的功能。但他同时指出,半年前这样的进展尚不可想象,这凸显了开发工具的演进速度。

布特林补充说,人工智能正在全方位加速编码进程。他以自身经验为例,提到利用本地模型在一小时内重建了博客系统。因此他认为效率提升应均衡体现在开发速度与安全实践两个维度。

形式化验证与安全强化

布特林表示最高效的人工智能应用应将快速编码与深度测试相结合。他特别强调需生成更全面的测试套件并扩展形式化验证。据悉,已有LeanEthereum合作者借助人工智能为复杂的STARK相关定理生成了机器可验证证明。

布特林指出,虽然构建无缺陷代码仍具挑战,但通过重复测试与多版本实现校验,这一目标正变得更具可达性。他提醒安全系统不可能通过单次提示生成,但调试周期如今可实现更快速、更彻底的迭代。

抗量子计算路线图规划

布特林同时阐述了以太坊抗量子计算路线图。他分析了BLS共识签名、基于KZG的数据可用性、ECDSA账户签名及零知识证明系统存在的潜在漏洞,并提出用基于哈希的签名方案替代BLS签名,结合STARK聚合技术增强防护。

针对外部持有账户,布特林提及EIP-8141提案。该方案支持多重签名机制,包含抗量子计算选项。虽然当前会产生更高燃气成本,但他预期未来效率将逐步优化。

该路线图同时涵盖证明系统改进。虽然STARK证明成本高于现有ZK-SNARK方案,但通过聚合技术可降低链上计算负载。上月以太坊基金会表示,下一阶段生态系统将在保障长期安全性与韧性的基础上持续扩展容量。

免责声明:

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

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