Vitalik：AI辅助形式化验证或成“软件开发最终形态”

PANews 5月18日消息，Vitalik发布博客文章称，以太坊社区正在尝试用 Lean 等形式化工具直接在底层语言（如 EVM 字节码、RISC‑V 汇编）上编写代码，并通过机器可验证的数学证明来...

以太坊上资金现分歧：哈佛离场，哪些机构逆势“抄底”？

近一段时间以来，以太坊价格持续跑输主流资产，多次上行突破未果。与此同时，随着以太坊现货需求已回落至年内低位，市场对其进一步下行的担忧正在升温，机构动向也逐渐成为焦点。...

Meme套壳合约，alt.fun是真创新还是伪需求？

原创 ｜Odaily 星球日报（@OdailyChina）作者｜Golem（@web3_golem）上周，Hyperliquid 生态一个名为 alt.fun 的新 Mem...

韩国金融大乱局：三星罢工、AI共产主义与币圈大失血

原创｜Odaily 星球日报（@OdailyChina）作者｜Wenser（@wenser 2010）SK 海力士的“610 万天价奖金”热潮刚过，韩国金融界便急转直下：5 月 18 日，韩国股市因 ...

对话火币 HTX 发言人 Molly：为火宝办一场生日会，火币 HTX 到底想说什么

Web3 走到今天，已经过了纯粹比技术、比速度的阶段。下一程比的是什么？是用户在你这里能不能长期待下去，是平台和用户之间能不能建立起真正的信任与陪伴。

从Consensus大会看Crypto西方现状：Zcash成新共识，Monad与MegaETH对标Sui/Aptos，Solana迷失方向......

美国 Perp合规化是巨大机会，洲 VC 几乎离场，西方 VC 募资压力大，行业正在经历残酷洗牌。...

Strategy上周花费超20亿美元增持24,869枚比特币

Strategy于2026年5月11日至5月17日期间增持24,869枚Bitcoin，平均买入价格为80,985美元，总投入约20.1亿美元。...

英伟达周三财报夜：决定AI牛市命运的一战来了

原文作者：张雅琦原文来源：华尔街见闻英伟达将于美东时间5月20日（周三）盘后发布季报，这是当前AI牛市周期的一次关键压力测试。半导体板块技术面严重超买、期权仓位高度偏向看涨，加之罕见的"股价与隐含波动...

破壁“暗盒交易”：CoinW如何以“链上聪明钱”重构普通人的交易叙事

当用户面对成百上千个高盈利地址和交易员时，究竟该跟谁？跟随之后，除了盈亏数字，用户还能学到什么？...

哈佛大学炒币或亏损 1.5 亿美元！已清仓以太坊、大幅减持比特币 ETF 仓位

短短两个季度，哈佛在加密资产上的公开持仓从峰值的 4.43 亿美元跌至约 1.17 亿美元。

Binance将于5月19日上线CBRSUSDT永续合约，基于Cerebras Systems

PANews 5月18日消息，Binance Futures 将于 5 月 19 日 17:30（UTC+8）上线基于 Cerebras Systems Inc.（纳斯达克代码：CBRS）现货价格的 ...

Trade.xyz，才是SpaceX IPO的最大赢家

距离史上最大 IPO 的诞生，还剩不到一个月。即将在 Nasdaq 敲钟的 SpaceX，最早可能于 6 月 12 日上市，代码 SPCX。Morgan Stanley、Bank of America...

Anchorage关联地址从Bybit和OKX买入39.7万枚HYPE，金额约1800万美元

PANews 5月18日消息，据Onchain Lens 报道，一地址被链上标记为与 Anchorage 相关，从 Bybit 和 OKX 买入 39.7 万枚 HYPE，金额约 1800 万美元。过...

对话Figure机器人创始人：390亿美元估值背后是量产百万台的野心

人形机器人已是现实，竞争才刚开始。...

观点：alt.fun 上的代币是双层杠杆

在 alt.fun 上买带有“HYPE 5倍做多”标签的代币，你以为自己只加了5倍杠杆，但实际上你承受的是 8 到 15 倍的“双重变态杠杆”，而且跌的时候你可能根本跑不掉。...

高盛一季度大幅削减加密ETF持仓，清仓XRP与Solana产品

PANews 5月18日消息，据Cointelegraph报道，高盛在2026年一季度大幅调整加密ETF头寸，已在最新13F文件中完全移除此前近1.54亿美元规模的XRP相关ETF持仓，同时清仓GSO...

CBRS 跑出 300% 之后，Anthropic 和 Polymarket 的 Pre-IPO 还有没有得抢？

两个月，CBRS 从申购到现货的收益超 300%，那接棒的 Anthropic 与 Polymarket，值得参与么？...

比特币ATM运营商申请破产 AI热潮下的数字资产危

PA日报 | 比特币ATM运营商Bitcoin Depot申请破产；Verus-以太坊跨链桥遭攻击损失1158万美元

Upbit将在韩元、BTC、USDT市场上线TRAC代币；比特币现货ETF上周净流出10.39亿美元，连续六周净流入遭终结；...

a16z：加密创业者该如何理解《CLARITY法案》？

原文标题：What builders need to know about the CLARITY Act, what it is and why it matters原文作者：miles jenni...