同时关联该项目与事件的快讯
Vitalik 发布文章《 A shallow dive into formal verification 》，介绍形式化验证在以太坊前沿研发中的应用进展。文章指出，开发者可使用 Lean、EVM 字节码或汇编语言编写代码，并通过可自动检查的数学证明验证其正确性，以同时提升代码效率与安全性。他表示，形式化验证特别适用于 STARK、拜占庭容错共识、ZK-EVM、抗量子签名等复杂但安全目标相对清晰的系统，并提及 Arklib、VCV-io、evm-asm 等相关项目。文章同时强调，形式化验证并非万能，仍可能受限于规格定义错误、未覆盖代码、硬件边界与侧信道攻击等问题。
据 PeckShieldAlert 监测，Adshares 桥接攻击者已向部署方退还 256 枚 ETH（价值 54.07 万美元），占被盗资金的 86%。Adshares 桥接于 2026 年 5 月 17 日遭受攻击，损失约 62.8 万美元。
B.AI 正式接入 Solana 生态，多链登录与支付能力迎来全面升级。用户现可通过 MetaMask 及 Phantom 钱包一键登录，并在 Solana 网络上使用 SOL、USDT、USDC、WBTC 完成充值或订阅。至此，B.AI 已覆盖 TRON、BNB Chain、Ethereum、Base、Arbitrum、Optimism、Polygon 及 Solana 八大主流公链，构建起更开放、更自由的多链 AI 经济生态。平台为新用户提供专属限时新人礼遇：首次登录即可获得 500,000 积分，充值享 1:1 比例赠送，单用户最高可获价值 $100 的额外积分奖励。未来，B.AI 都将以更低的门槛、更丰富的资产选择，助您无缝进入智能经济新世界。
BIT 发布最新分析图表表示，以太坊近期价格走势愈发受到 ETF 资金流向主导。过去一年，ETH ETF 日均净流入 30 日均值与 ETH 价格走势高度同步，显示以太坊对机构资金流动的敏感度明显提升。BIT 指出，以太坊当前核心叙事之一是约 2.5%的净质押收益率，但在通胀再次加速、美国 10 年期国债收益率升至 4.6%以上的背景下，相较美国国债等无风险资产，以太坊质押收益优势正在减弱。此外，自 5 月以来，以太坊 ETF 再度出现资金流出。BIT 认为，若这一趋势持续，以太坊大概率仍将维持震荡整理走势。
据独立分析师 Markus Thielen 于 5 月 18 日发布的图表分析，过去一年 ETH ETF 日均净流入的 30 日均值与以太坊价格走势高度同步，机构资金流向已成为主导 ETH 价格的核心变量。然而，随着美国 10 年期国债收益率升至 4.6% 以上、通胀再度加速，以太坊约 2.5% 的净质押收益率相较无风险资产的吸引力正在减弱。5 月以来 ETH ETF 已再度出现资金净流出，若该趋势持续，以太坊价格大概率将维持震荡整理格局。
Kelp 在 X 平台发文表示，为确保 rsETH 的安全标准并优化网络整合，将于 6 月 15 日后停止对多个网络的 rsETH 跨链支持，受影响网络包括 Optimism、Manta、Mode、Blast、Scroll、X Layer、zkSync、Zircuit、Swellchain、Hemi、Berachain、Sonic、HyperEVM、Unichain、TAC、Avalanche、Plasma Stable、MegaETH、Monad 与 Movement。Kelp 提醒，在上述链上持有 rsETH 的用户需在 6 月 15 日前桥接回以太坊主网，6 月 15 日后仍可申请资产恢复，但每个地址需支付 100 USDC 手续费，具体流程将在临近截止日期时公布。
以太坊联合创始人 Vitalik Buterin 在 X 平台回应状态存储问题时表示，当前状态证明方案的核心问题在于，需要存储并持续更新用于验证证明的数据，而这些数据规模最终几乎与整个链上状态一样庞大。虽然已有一些可行解决方案，但都包含大量复杂组件，并且相较当前以太坊架构需要作出不同程度的权衡与取舍。
Aave 创始人 Stani Kulechov 表示，rsETH 技术恢复计划的下一阶段已完成，Aave 已将受影响网络上的 WETH 贷款价值比（LTV）恢复至事件发生前水平。目前，用户已可再次在 Aave 上使用 WETH 进行借贷及抵押、债务置换等操作。根据 Aave 公告，此次恢复涉及 Aave V3 Ethereum Core、Ethereum Prime、Arbitrum、Base、Mantle 与 Linea 等部署。
据俄罗斯财经媒体 RBK 报道，莫斯科证券交易所正与多家经纪商就加密货币交易方案展开磋商，目前正测试 7×24 小时全天候交易模式及数字资产存取功能，并计划推出专属加密货币账户。受制于清算系统运营时间，全天候交易短期内难以落地。 与此同时，俄罗斯《数字货币与数字权利法案》已完成一读，规定俄罗斯公民只能通过持牌中介购买加密货币，且上市币种须满足近两年平均市值超 5 万亿卢布、日均交易量超 1 万亿卢布及交易历史不低于五年等严格标准，实际仅比特币、以太坊、Solana 等主流币种符合条件。
“链上侦探” ZachXBT 发文表示，黑客 “Dritan Kapplani Jr” 今日转移约 259 万美元资产，包括 199 万枚 DAI 与 259 枚 ETH。相关资金从地址 0x4487...bba6 转移至地址 0x67ec...125d，目前被盗资金仍处于静止状态。ZachXBT 表示，其已于 5 月 12 日发布调查内容，详细披露 Dritan Kapplani Jr 与 Trenton（Trent）Johnson 涉及一起 185 枚比特币（约 1300 万美元）社交工程盗窃案件的关联情况。
Kraken 宣布旗下 Kraken Pro 将 Bitcoin 与 Ethereum 永续合约最高杠杆由 50 倍提升至 100 倍，适用于 PF_XBTUSD 与 PF_ETHUSD 两个 USD 现金结算永续合约，产品继续支持 24/7 全天候交易。根据公告，100 倍杠杆目前向符合条件地区的国际用户开放，无需迁移账户或额外申请，现有 Kraken Pro 合约用户可直接使用。杠杆机制采用分层模式：BTC 合约前 100 万美元名义仓位可使用最高 100 倍杠杆，超过部分则自动降至更低杠杆档位；ETH 合约则对前 50 万美元名义仓位提供最高 100 倍杠杆。平台强调，杠杆调整并非“一刀切”切换，而是随着仓位规模扩大进行动态分层计算。
BTC IV 38%、ETH IV 53%，ETH Skew 出现分歧，中长端维持 +2 至 +4 机构看涨共识坚固，短端因 CPI 超预期及鲍威尔卸任急剧恶化至 -8 至 -12，短期保护需求爆发。BTC/ETH GEX 从做多 Gamma 慢牛转向做空 Gamma，短期震荡幅度扩大、IV 不易大幅回落，中期多头框架未破，当前更像事件驱动的短线风险释放而非趋势反转。大宗交易方面，BTC 5/15 到期 $82K Call 成交 2,181.8 张（$1.76 亿）；ETH 6 月 $2,100 Put 成交 11,026 张（$2,497 万）。Gate 推出期权 VIP 专属激励计划，活动期间用户可参与分享 100,000 USDT 奖池。平台支持跨交易所 VIP 费率匹配，提交他所 VIP 证明或交易量记录，即可申请更低费率；同时根据期权交易量分档发放奖励，交易越多，奖励越高。此外，参与用户还可享受专属服务权益，包括 VIP 客服支持、API 技术对接及每日期权策略与数据服务，为专业交易者提供更具竞争力的交易成本与流动性支持。
0x 联合首席执行官 Will Warren 宣布自即日起卸任联合首席执行官职务，但仍将作为主要股东继续留任董事会，并继续支持 Amir Bandeali 及团队。Will Warren 表示，0x 于 2016 年在以太坊上构建首个去中心化交易所协议，当前其产品每月驱动数十亿美元交易量，为 Coinbase、Robinhood、Phantom 和 Kraken 等公司提供链上兑换服务。他同时指出，联合首席执行官架构在近年一定程度上拖慢决策效率，未来 Amir Bandeali 将在其支持下推进组织重组，以适应更具竞争性的市场环境。
据 The Block 报道，JPMorgan 表示，尽管伊朗冲突后加密市场整体回升，但 ETH 与其他山寨币仍持续跑输 BTC，这一趋势自 2023 年开始，若网络活动、去中心化金融与现实应用无明显改善，短期内或难改变。JPMorgan 指出，现货 ETF 资金流与 CME 期货仓位均显示，机构对 BTC 的风险敞口修复强于 ETH。该行还称，Ethereum 过去数年的升级未明显提升链上活动，反而因降低 Layer 2 成本削弱了主网手续费与销毁机制。
据官方消息，KelpDAO 已恢复 rsETH 提现功能，跨链桥接与领取也已同步开启，作为协调重启计划的一部分。KelpDAO 表示，将于 5 月 15 日北京时间今日 22:30 左右更新兑换汇率并开放 eigen 领取，以反映暂停期间 rsETH 持有者累计获得的全部质押奖励。此后，存款将在短暂稳定窗口后重新开放。未来两周内，Aave 与 Kelp 将分批转入剩余 rsETH ，以全面补足锁仓箱。KelpDAO 称，rsETH 在以太坊主网及各 L2 网络上仍保持足额支持。
嘉楠科技公司发布 2026 年 4 月比特币挖矿业务更新。截至 2026 年 4 月 30 日，嘉楠科技资产负债表持有的加密货币资产达到 1826 枚比特币和 3952 枚以太坊，创历史新高。4 月期间，嘉楠科技自营挖矿业务产出 90 枚比特币，另有 3 枚比特币来自客户付款，合资业务产出约 48 枚比特币。截至月底，非合资业务的安装算力达 10.97 EH/s，同比增长 34.6%，运营算力为 6.86 EH/s，同比增长 10.6%；合资业务安装算力为 4.82 EH/s，运营算力为 4.35 EH/s。此外，嘉楠科技于 4 月 28 日获得 Tether 后续订单，将为其提供定制的高密度挖矿哈希板模块。（WSJ）
据 PRNewswire 报道，纳斯达克上市比特币矿企嘉楠科技公布比特币挖矿运营更新数据，披露 4 月通过自营挖矿业务产出 90 枚比特币，并收到客户以比特币形式支付的额外 3 枚款项，合资运营业务当月产出约 48 枚比特币，加密货币持仓 4 月末达到创纪录的 1,826 枚比特币和 3,952 枚以太坊。
Gate 研究院近日发布《2026 年 4 月加密货币市场回顾》报告指出，4 月加密货币市场整体呈现震荡上行格局，总市值较 3 月明显抬升，BTC 与 ETH ETF 交易量整体维持高位波动。报告显示，主要公链生态活跃度继续分化。Solana 日交易量维持在约 9,000 万至 1.1 亿笔区间，持续保持领先。热点赛道方面，报告指出，Pokemon TCG RWA 已成为当前链上 RWA 增长最快的细分方向之一，并于 4 月进入二次爆发阶段。主要交易平台单月交易量超过 2.2 亿美元，单周收入一度接近 600 万美元，刷新历史新高。与此同时，Aave 在 4 月遭遇历史上最严重的一次流动性冲击，几天内 TVL 流出规模达数百亿美元，整月净流出超过 90 亿美元。融资与安全事件方面，4 月 Web3 行业共完成 51 笔融资，总金额约 8.34 亿美元，资金进一步向头部金融与基础设施赛道集中。其中，Payward 以 2 亿美元融资位列单月第一。安全层面，4 月 Web3 安全事件损失约 3.06 亿美元，环比增长约 858%，主要由 Kelp DAO 单笔约 2.93 亿美元的跨链基础设施攻击事件所推动。报告认为，在市场回暖背景下，链上活跃度与资金流动性同步提升，但跨链基础设施与高杠杆协议的安全风险仍值得持续关注。
Bitget Wallet 宣布上线 API 管理平台，面向全球开发者与机构客户免费开放，提供涵盖同链兑换、跨链交易及实时行情数据的全栈式 API 服务。开发者与机构客户现可通过平台自行注册账户、申请 API Key，免费接入 Bitget Wallet 链上交易基础设施，无需从零搭建复杂后端系统。同时，此次上线在此前支持 Ethereum、Solana、BNB Chain、Base、Morph 等 7 条公链的基础上新增支持 HyperEVM、Hypercore 两条公链，并推出跨链 API、链查询与广播接口及 NoGas 功能，降低终端用户交易摩擦。行情 API 目前覆盖 33 条公链及 200 多只主流代币化股票，并内置 AI 风险检测模块，可识别异常代币、异常交易行为与不稳定交易路径。Bitget Wallet API 基于其自研 DEX 聚合引擎构建，日均处理聚合器交易量超 2000 万美元，已承载钱包约 80% 的核心交易量。目前，该 API 已与 0x Protocol、LI.FI、CoW Swap、deBridge、Velora、XO Swap 等头部聚合器与 Solver 深度集成。此次管理平台上线将进一步降低开发者接入门槛，推动更多产品基于 Bitget Wallet 链上交易基础设施构建日常金融服务。
Aave 表示，首批 rsETH 已转入 LayerZero 的 OFT 适配器， rsETH 在主网与各 L2 之间的跨链现已重新开放。此次进展意味着，此前受影响的 rsETH 跨链通道已恢复使用，相关操作覆盖以太坊主网及 L2 网络。