Author: driver789

ChainCatcher 消息，据 CoinGlass 数据显示，黄金（XAUT）现报 4548.96 美元，24 小时上涨 0.46%，全网合约成交额约 35.9 亿美元。其中，Gate 平台 XAUT 合约持仓约 1.47 亿美元，位列全网前三。与此同时，白银（XAG）现报 76.48 美元，24 小时上涨 1.43%，全网持仓规模约 3.92 亿美元。Gate 平台 XAG 合约持仓约 1.20 亿美元，位列全网第二，进一步体现出平台在金属衍生品市场中的流动性与产品优势。 目前，Gate 已全面深化 TradFi 布局，现货板块支持股票与金属交易，合约板块覆盖黄金、白银、外汇、指数及大宗商品等多元化资产，凭借灵活的 USDT 结算机制与最高 100 倍杠杆，Gate 持续助力全球投资者实现跨市场、全天候的资产配置与风险管理。

The Verus Protocol Ethereum bridge has suffered an exploit that has allowed an attacker to siphon off more than $11.5 million in crypto assets through what security researchers described as a forged cross-chain transfer message. Summary Verus Protocol’s Ethereum bridge lost more than $11.5 million after attackers reportedly used a forged cross chain transfer message. Blockchain security firms Blockaid, PeckShield, and ExVul linked the exploit to missing validation checks inside the bridge verification process. According to onchain security platform Blockaid, the exploit was detected late Sunday after its monitoring systems flagged suspicious activity tied to the Verus-Ethereum bridge. Blockaid identified…

Trusted Editorial content, reviewed by leading industry experts and seasoned editors. Ad Disclosure Ethereum has lost the $2,150 level as selling pressure reasserts itself, and the market faces a wave of uncertainty that has erased weeks of cautious recovery. The decline has a specific origin that CryptoQuant data has now made visible — and understanding it changes how the current weakness should be interpreted and what it might take to reverse it. The Exchange Netflow data for Binance tells the story of what was building throughout the first half of May before the price broke lower. Across multiple sessions, Binance…

ChainCatcher 消息，Bitget 推出 UEX Jumpstart 多资产激励计划，总奖池达 430,000 USDT。该计划旨在通过系统化的产品交互体验，帮助投资者逐步探索并捕捉 Bitget 全景交易所 UEX 下的多元资产机遇。 本次计划覆盖加密货币合约、贵金属、股票及差价合约（CFD）四大产品线。其中，加密合约为最大奖池板块，月度奖池达 170,000 USDT。其余板块也同步设置专属激励，共同构成完整的多资产进阶路径。 随着交易行为不断跨越加密、传统金融及宏观资产边界，多元资产配置需求持续上升。此前数据显示，2026 年 Q1 非加密资产已占 Bitget 平台总交易量的 40%；CFD 业务日均交易额突破 80 亿美元，其中黄金贡献了 95% 的增量。 顺应这一趋势，Bitget 正通过 UEX 模式将原本分散的市场机会整合至同一交易环境中，为用户提供更连续的资产发现、交易参与及策略执行路径。

Bitmine Immersion Technologies added 71,672 Ethereum in one week, raising its holdings to 5.28 million ETH as the company moves closer to its 5% supply target. Summary Bitmine now holds 5.28 million Ethereum tokens, equal to 4.37% of total ETH supply. The company added 71,672 ETH in one week as prices traded below its cited $2,200 level. Bitmine has staked 4.71 million ETH, creating estimated annualized staking revenue of $289 million. Bitmine said its Ethereum holdings reached 5,278,462 ETH as of May 17 at 4:00 p.m. ET. The company valued the position at $2,191 per ETH and said the total…

Trusted Editorial content, reviewed by leading industry experts and seasoned editors. Ad Disclosure Ethereum’s sideways price action has continued, but demand for the leading altcoin on the institutional level has not yet cooled down. During this persistent price action, institutions across the sector have been quietly increasing their exposure to ETH, buying more of the altcoin. Corporate Demand Pushes Ethereum Reserves Higher A recent report has revealed an underlying persistent demand for Ethereum even as its price continues to face downside pressure. In the face of volatility, institutional investors have continued acquiring ETH as the amount of ETH held in…

ChainCatcher 消息，Vitalik Buterin 发文探讨形式化验证（Formal Verification）在区块链安全领域的应用前景。 文章指出，以太坊前沿研发中正兴起一种新范式，直接使用 EVM 字节码、汇编或 Lean 编写代码，并用 Lean 中可自动检查的数学证明验证其正确性，研究者 Yoichi Hirai 将这一范式称为“软件开发的最终形态”。 Vitalik 认为，AI 辅助形式化验证有望同时提升代码效率与安全性，尤其适用于 STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。 文章同时强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效；未来软件或将分化为“安全核心”与“非安全边缘”，以太坊将成为重要安全核心之一。

Vitalik Buterin says AI‑assisted formal verification could be the “final form” of software, letting Ethereum ship ultra‑optimized code with machine‑checked proofs of correctness. Summary Vitalik Buterin argued that AI‑assisted formal verification may represent a “final form” of software development, where code is both highly efficient and mathematically verified. He highlighted applications across Ethereum’s core roadmap, including ZK‑EVMs, STARK proofs, consensus, and quantum‑resistant cryptography, while stressing that formal verification is powerful but not a panacea. The comments build on his earlier calls to direct roughly half of AI’s productivity gains into testing and formal verification to make near bug‑free crypto code…

Ethereum’s price weakness may be approaching a decisive turning point, according to a new technical analysis comparing the current ETH structure with previous market cycles. The pattern that formed before the 2017 parabolic run and again before the 2020 breakout is now reappearing in 2026, and the long-term chart is showing a structure that could be the start of a phase that pushes its price to as high as $8,000. A Cycle That Has Played Out Twice Before Ethereum has spent the past several months doing what most of the market has chosen to ignore: building. The leading altcoin has…

🚨 Vitalik Buterin, yapay zekanın doğrulanmış yazılımla kripto güvenliğinde çığır açabileceğini savundu. Yapay zeka sayesinde büyük ve karmaşık kodların hızlıca üretilebileceği, matematiksel doğrulamanın da güvenliği güçlendirebileceği vurgulandı. 🤖 AI destekli yazılım doğrulamasının özellikle akıllı sözleşmeler ve DeFi alanında güvenlik…