- AI工具显著缩短了以太坊开发时间表,实现了快速原型设计和迭代。
- 利用AI进行形式验证正在加快复杂STARK基础密码学的证明过程,提升区块链安全性。
- 将AI的收益在速度与安全之间进行平衡,使以太坊开发者能够扩大测试覆盖范围并减少关键漏洞。
Vitalik Buterin表示,人工智能正开始重塑以太坊的构建方式。
在最近的一篇X(前Twitter)帖子中,他描述了一项实验,利用AI在数周内“ vibe-code”了大量以太坊2030年路线图。他称结果令人印象深刻,但同时警告这仍然是高度实验性的。
该项目在未完成以太坊改进提案(EIP)的情况下完成。仅此一点,他指出,代码很可能存在严重漏洞。有些功能可能只是部分实现。六个月前,他还表示,即使达到这个阶段也几乎是不可能的。
这是一次相当令人印象深刻的实验。在数周内完成了整个2030年路线图的vibe-coding。
显然,没有EIPs就建成这样的东西,存在巨大隐患:几乎可以肯定有许多关键漏洞,可能在某些情况下只是“存根”版本…… https://t.co/ZlTg0r2hvI
— vitalik.eth (@VitalikButerin) 2026年2月28日
AI编码提速——但尚未完美
Buterin表示,AI工具正在大幅压缩开发时间。他最近使用一个本地运行的开源模型,在大约一小时内重建了他的博客软件的一个版本。他建议,更强大的模型可以在一次尝试中完成类似的构建。
以太坊路线图主要关注可扩展性升级、更强的去中心化以及改进的区块链安全性。开发者在协议的多个层面上努力,以减少流量并提高效率。更快的编码周期可能会加快这些平行的努力。
但他也提醒不要过度自信。单一的提示不会产生安全的生产代码。工程师应预期会出现不一致、边缘情况失败和结构性漏洞。他认为,变化在于识别和修正这些问题的速度。
形式验证逐渐成为焦点
Buterin建议,不应仅仅利用AI追求速度,而应将部分生产力提升转向安全。这包括生成更多的测试用例和扩大形式验证的工作。
他提到在LeanEthereum项目中的工作,这是一个致力于数学验证以太坊核心组件的研究计划。他说,合作伙伴最近利用AI构建了一个可由机器验证的复杂定理的证明,该定理是STARK基础密码学的基础。
STARKs构成了多个零知识证明系统的基础,用于扩展区块链网络。传统上,为这些系统生成形式证明需要大量人工努力。现在,AI的帮助正在降低这一门槛。
形式验证依赖数学方法确认代码的行为完全符合预期。在区块链安全中,这一过程有助于限制可能导致漏洞或财务损失的薄弱环节。
提升安全基线
Buterin承认,绝对无漏洞的软件仍然不可能实现。代码无法完美捕捉每个人的意图。
但他认为,有针对性且可验证的安全保证可以消除大部分实际风险。
在无需信任他人的去中心化系统中,更高的验证标准减少了对社会协调或人工监控的依赖。Buterin表示,AI编码的持续进步可能推动以太坊迈向更高的安全预期,同时缩短其开发周期。
免责声明:本页面信息可能来自第三方,不代表 Gate 的观点或意见。页面显示的内容仅供参考,不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证,对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为,价格波动剧烈,您可能损失全部投资本金。请充分了解相关风险,并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Ethereum Ecosystem Grapples With Decentralization Metrics as Base Prepares Azul Upgrade
Gate 新闻消息,4 月 28 日——本周,以太坊生态系统正在就去中心化标准与安全性等关键问题进行探索,同时在各层 2 网络与研究框架方面也取得了重要进展。
研究与标准
L2BEAT 已提出修订汇总(rollup)的评估指标,以便更好地在无许可(permissionless)排序者(sequencer)时代评估去中心化程度。推动因素是 Aztec Alpha 主网(Aztec Alpha Mainnet),它作为首个规模化的无许可、去中心化汇总(rollup)运行,约有 4,000 个排序者。L2BEAT 引入了 T99_k 指标,用于衡量即使顶级运营商勾结阻止交易,交易以 99% 的概率被纳入链上的时间需要多久。根据该提案,第 2 阶段的汇总(rollup)将要求在尽管顶级 4 名运营商勾结的情况下,仍在 30 天内实现 99% 的交易纳入率;而第 1 阶段将要求在 7 天内实现纳入。L2BEAT 强调,除了纳入时间之外,还必须评估排序者抵押品规模、硬件要求、代币流动性以及运营商多样性。
Kelp DAO 的 rsETH 被盗事件加剧了关于跨链代币安全性的争论。开发者 donnoh.eth 警告不要将第三方桥接(bridge)作为默认功能嵌入,并指出桥接被攻破的风险可能会波及整个代币生态系统。Agora 的 Nick Van Eck 反驳称,分层安全措施——多重验证机制、转账限额以及实时监控——可以充分保护跨链代币。核心争议在于:是否应从一开始就结构性地将风险分离,还是通过分层防护来抵御这些风险。Van Eck 还提到,部分代币似乎会在各链之间发生销毁并重新铸造(re-mint),但实际上是在以太坊上锁定代币,同时在其他地方发行其包装版本。
对 rsETH 被盗事件的分析显示,攻击者攻陷了 Layer Zero 的 DVN 所依赖的 RPC 节点,并对备份 RPC 节点发起了 DDoS 攻击,使其能够在低流动性 Unichain 上创建假冒的桥接交易,并在以太坊上铸造欺诈性的 rsETH。当 RPC 基础设施本身遭到攻陷时,以太坊的验证方法会受到限制;而拟议的“blob 数据再验证”所需时间可能超过 10 分钟,对实时桥接操作而言过于缓慢。
**生态系统更新**
Base 正在准备其 Azul 升级,这是该网络自退出 Superchain 之后的首次重大升级。Azul 包括 Fusaka EVM 的修改、一个独立的 Reth/Kona 客户端,以及一个双证明系统,该系统结合了可信执行环境 TEE 和零知识证明,使其在需要时能够实现混合型乐观(optimistic)-零知识(ZK)汇总(rollup)功能,从而实现更快的提款。Base 还宣布 Glamsterdam EIP,并计划在 6 月 30 日前部署 flashblock 访问列表,预计到 8 月 31 日实现原生账户抽象(account abstraction)。
Arbitrum 的安全委员会在未获得黑客授权的情况下,通过强制将约 30,000 ETH 的黑客资金转入燃烧地址(burn address),从而冻结了这些资金。此举凸显:Arbitrum 的 9-of-12 多重签名(multisig)安全委员会可以单方面移动 L2 资金——而在完整的第 2 阶段汇总(full Stage 2 rollups)中,这种能力并不存在;在第 2 阶段中进行干预需要发现可在链上得到证明的漏洞(proven on-chain bugs)。
Sunnyside Labs 推出了 Privacy Boost,这是一款面向企业的链上隐私工具,结合了 ZK 和 TEE 技术;目前已在 OP 主网(OP Mainnet)上线,并被采纳为 OP Stack 的官方隐私解决方案。该工具使企业能够实现自我托管(self-custody),同时支持快速进行余额验证,并有选择地披露监管数据。与诸如 ZKSync Privium 或 Canton 等竞争方案不同,Privacy Boost 作为公共链上的智能合约运行,而无需依赖单独的链,从而保留流动性与 DeFi 的可组合性。
Age Chain 是一个基于 OP Stack 的二层网络,由 Riot Games 之前的 Arena Z 运营,将于 5 月 31 日关停。该关闭反映出,L2 网络在维持用户基础、流动性以及运营资金方面面临的挑战正在加剧。
**每周以太坊指标 4 月 20 日—26 日 **
年通胀率:0.775%。每周净供应量:18,057.90 ETH。质押比例:31.53%。稳定币市值:$166.729 billion。美国现货 ETF 净流入 4 月 20 日—24 日 :$155.1 million。
GateNews1小时前
ZetaChain 在智能合约遭受攻击后暂停跨链交易
根据 The Block 的说法,一级网络 ZetaChain 在识别到其 GatewayEVM 合约遭受攻击后,已在其主网上暂停跨链交易。团队表示,此次事件仅影响内部的 ZetaChain 团队钱包,不涉及任何用户资金。根据 DefiLlama 数据,$300,000
Crypto Frontier4小时前
以太坊期货成交量在24小时内上涨 38.22%,至 $462.97B
Gate 新闻消息,4月28日——根据 CoinGlass 数据,过去24小时内,以太坊期货在所有主要交易所的交易量上涨 38.22%,达到总计 $462.97 billion。
成交量分布显示,主要 CEX 占据了市场的显著份额,其中以太坊未平仓合约在全球范围内约为 $317.29 billion。Gate 的期货成交量达到 $58.78 billion,未平仓合约为 $41.8 billion。
GateNews5小时前
Hyperliquid 上的以太坊鲸鱼:随着 ETH 回撤, $50 内面临清算
Gate News 消息,4月28日——根据 Hyperinsight 监测,Hyperliquid 平台上一位重大的以太坊多头仓位持有人 (0x535) 是所有规模达到数百万美元的鲸鱼中最接近被清算的
GateNews5小时前