Odaily星球日报讯 以太坊联创 Vitalik Buterin 发布文章《A shallow dive into formal verification》，系统梳理了形式化验证（Formal Verification）在以太坊及更广泛计算领域中的最新发展与局限。文章指出，近几个月在以太坊前沿研究圈中，一种新编程范式正在快速兴起：开发者直接使用极低级语言（如 EVM 字节码、汇编）或 Lean，并通过可自动验证的数学证明来验证代码正确性。这种方法理论上既能提升代码效率，也能显著提高安全性，被部分研究者称为“软件开发的终极形态”。
Vitalik 表示，形式化验证的核心是通过机器可检查的数学证明来验证程序性质，其价值在于能够将“安全性”从经验测试转向可证明的逻辑体系。在加密通信、密码协议以及区块链系统（如零知识证明与共识机制）中，这一方法已开始被用于端到端验证关键系统行为。
文章同时指出，以太坊生态正在探索包括 EVM 实现、STARK 证明系统及抗量子签名等关键基础设施的形式化验证项目，以提升协议级安全性与可靠性。不过，Vitalik 也强调形式化验证并非“银弹”。其局限包括：安全性定义依赖人为建模、部分系统难以完整形式化、以及硬件或非验证模块仍可能成为攻击面。此外，即便在形式化证明存在的情况下，规格错误或未覆盖的假设仍可能导致漏洞。
Vitalik 最后提出，更现实的路径是将形式化验证与 AI 辅助编程、类型系统、测试框架等多种方法结合，在“冗余表达意图并自动验证一致性”的框架下逐步提升软件安全性。在 AI 大规模生成代码的趋势下，软件系统将逐步分化为“易受攻击的边缘模块”与“高度可信的安全核心”。未来应将形式化验证集中应用于核心系统（如区块链协议、操作系统内核等），以构建可验证安全性的数字基础设施。
Odaily星球日报讯 根据 msx.com 数据，美股收盘，道指收涨 0.32%，标普 500 指数收跌 0.07%，纳指收跌 0.51%，VIX 恐慌指数收跌 3.31%。加密概念股普跌，Upexi 跌 8.97%，American Bitcoin 跌 7.21%，DeFi Development 跌 7.08%，Tron Inc. 跌 6.16%，Hut 8 跌 6.12%。
据悉，msx.com 是一个去中心化 RWA 交易平台，累计已上线数百种 RWA 代币，涵盖 AAPL、AMZN、GOOGL、META、MSFT、NFLX、NVDA 等美股及 ETF 代币标的。
Odaily星球日报讯 据 Gate 最新数据，黄金价格上涨至 4563.43 美元/盎司，日内涨幅达 0%。白银价格涨至 77.509 美元/盎司，日内涨幅达 0.14%。
BVIX（BTC 波动率指数）最新报价 40.3，日内跌幅为 0.54%。EVIX（ETH 波动率指数）最新报价 55.32，日内涨幅为 0%。
外汇方面，美元兑离岸人民币（USD/CNH）日内上涨 0.05%，当前汇率为 6.80218。美元兑日元（USD/JPY）日内上涨 0.15%，当前汇率为 159.017。
全球股指方面，欧洲 50 指数（EUSTX50）日内上涨 2.07%，报 5868.96 点；英国富时 100 指数（UK100）日内下跌 0.28%，报 10326.1 点；德国 DAX40 指数（GER40）日内下跌 0.24%，报 24299.8 点。
大宗商品方面，WTI 原油日内上涨 0.07%，报 106.87 美元/桶。布伦特原油日内上涨 0.38%，报 111.49 美元/桶。
Gate 支持用户在平台内直接交易传统金融市场产品，一站式覆盖贵金属、外汇、全球股票差价合约（CFD）、重要指数及大宗商品等多类资产，实现加密资产与传统金融资产的深度融合。Gate TradFi 相关功能已全面集成至 Gate App 及 Web 端，用户无需切换平台，即可便捷参与全球资产价格交易，在加密市场之外解锁更多策略与机会，持续提升多元资产配置体验。
Odaily星球日报讯 SpaceX 计划于下月推进首次公开募股（IPO），若成功上市，将向由丹·桑德海姆创立的华尔街机构 D1 Capital Partners 释放约 200 亿美元规模的股权收益机会，据悉该估算基于 SpaceX 最新估值假设，反映其在私募市场中的高持仓集中度与机构投资者的潜在浮盈空间。（英国金融时报）
Odaily星球日报讯 俄罗斯国家杜马正在审议一项与《数字货币和数字权利法》并行的配套法案，拟对价值超过 100 万卢布的加密货币交易进行强制监控。法案要求运营商识别客户、识别可疑交易、实施内部控制和文档管理、向政府机构传输数据并与俄罗斯央行对接。
此外，加密货币兑换商可委托银行进行客户身份识别程序，且必须以非信贷机构身份运营，俄罗斯央行有权限制其活动、要求更换管理层、从登记册中除名，或通过法院清算公司。（Bits.media）
Odaily Seer 先知频道监测显示，Polymarket 上“Strategy 于 5 月 31 日前出售比特币”概率升至 41%，24 小时上涨 11%。此外， 6 月 30 日前出售概率为 68%，12 月 31 日前出售概率为 85%。
Strategy 此前宣布计划回购 15 亿美元可转换债券，并将出售比特币列为潜在的筹资方式之一，根据提交给美 SEC 的 8-K 文件回购交易预计将在 5 月 19 日前后完成交割。Strategy 目前持有 843,738 枚比特币，按当前价格计算约合 650.9 亿美元。
Odaily Seer 先知频道持续关注预测市场，在定价之前，看见变化。
Odaily星球日报讯 Santiment 数据显示，持有至少 100 枚比特币（BTC）的钱包数量已升至 20,229 个，较一年前增长约 11.2%。数据显示，在市场波动背景下，巨鲸及机构投资者仍持续增持比特币，反映出中长期持仓信心保持稳定。（Cointelegraph）
Odaily星球日报讯 据 Onchain Lens 监测，鲸鱼 Loracle.hl (@loraclexyz) 进一步将其 5 倍杠杆 HYPE 空单增至 144 万枚，持仓价值 6930 万美元，清算价格为 69.64 美元，当前浮亏约 800 万美元。
Odaily星球日报讯 据链上分析师余烬监测，在过去 2 个月时间里，Ondo 项目方的多签钱包就向 Coinbase 等交易所累计转移了超过 3.28 亿枚 ONDO (9842 万美元)。
Odaily星球日报讯 Meta 计划于 5 月 20 日启动重大重组，拟裁减全球约 20% 员工，同时将约 7000 名员工调配至人工智能（AI）相关项目，此次调整是 Meta 持续推进 AI 战略的一部分，旨在进一步集中资源发展人工智能业务。（Cointelegraph）
Odaily星球日报讯 据 Onchain Lens 监测，某鲸鱼开设 20 倍杠杆 ETH 和 BTC 多单，现仓位持有 4600 枚 ETH 和 1182 枚 BTC，以及 10 倍杠杆 DOGE 多单，现仓位持有 1947 万枚 DOGE。
Odaily星球日报讯 针对 Echo Protocol 出现安全问题，慢雾余弦在 X 平台发文表示，本次被盗事件或因 admin 单点私钥沦陷导致。
Odaily星球日报讯 Coinbase 在 X 平台发文宣布拟于美国东部时间 5 月 23 日下午 3 点左右进行系统升级，升级期间交易不会受到影响，订单也将正常处理，但 Coinbase 全部市场的订单当前状态显示可能会出现可视化延迟。
Odaily星球日报讯 Bitwise Asset Management 宣布，将把旗下 BHYP Hyperliquid ETF 管理费收入的 10% 用于在公司资产负债表上持有 Hyperliquid 原生代币 HYPE，相关 HYPE 持仓还将进行质押。
Bitwise 表示，Hyperliquid 采用“社区优先”模式，约 99% 的链上收入被用于回购并销毁 HYPE 代币，因此公司决定同步持有 HYPE。Bitwise 旗下 Hyperliquid ETF（代码：BHYP）已于上周五在纽约证券交易所上市，为投资者提供 Hyperliquid 敞口及质押收益。（The Block）
Odaily星球日报讯 美国证监会（SEC）正准备推出一项针对代币化股票交易的新监管框架，最快可能于本周公布，据悉 SEC 正研究一项“创新豁免”机制，允许交易平台在更宽松的监管条件下提供上市证券的链上数字版本交易。此举被视为美国监管机构进一步转向支持代币化证券的重要信号。
目前多家华尔街机构已加速布局相关业务。美国存管信托与清算公司美国存管信托与清算公司（DTCC）计划于 7 月启动代币化资产有限生产交易，并于 10 月扩大推广；纳斯达克纳斯达克正在开发基于区块链的股票发行框架；洲际交易所洲际交易所（ICE）则通过与 OKXOKX 合作推进代币化股票及加密相关产品。
SEC 主席 Paul Atkins 此前表示，美国证监会正考虑为链上交易系统、区块链结算基础设施及加密托管模型制定正式规则，并认为现有证券法规已难以适配集交易、清算与结算于一体的链上协议。（CoinDesk）
Odaily星球日报讯 根据 SoSoValue 数据，昨日（美东时间 5 月 18 日）XRP 现货 ETF 单日总净流入 75.04 万美元。
昨日仅 Franklin XRP ETF(XRPZ) 净流入，单日净流入 75.04 万美元，目前历史总净流入达 3.79 亿美元。
截至发稿前，XRP 现货 ETF 总资产净值为 11.42 亿美元，XRP 净资产比率 1.33%，历史累计净流入已达 13.86 亿美元。
