免责声明：本平台全部内容来自互联网，仅供参考！所有内容不代表本站观点，不构成投资建议，投资需谨慎！

更快的全球财经新闻！

icon-search

7x24小时快讯

只看重要
只看标题
全部 比特币 美股 伊朗 以太坊 地缘政治 预测市场 AI 特朗普
5 月 18 日
21:05
Vitalik分析形式化验证发展与局限，AI时代软件开发进入“终极形态”讨论升温
Svmuu讯 以太坊联创 Vitalik Buterin 发布文章《A shallow dive into formal verification》，系统梳理了形式化验证（Formal Verification）在以太坊及更广泛计算领域中的最新发展与局限。文章指出，近几个月在以太坊前沿研究圈中，一种新编程范式正在快速兴起：开发者直接使用极低级语言（如 EVM 字节码、汇编）或 Lean，并通过可自动验证的数学证明来验证代码正确性。这种方法理论上既能提升代码效率，也能显著提高安全性，被部分研究者称为“软件开发的终极形态”。
Vitalik 表示，形式化验证的核心是通过机器可检查的数学证明来验证程序性质，其价值在于能够将“安全性”从经验测试转向可证明的逻辑体系。在加密通信、密码协议以及区块链系统（如零知识证明与共识机制）中，这一方法已开始被用于端到端验证关键系统行为。
文章同时指出，以太坊生态正在探索包括 EVM 实现、STARK 证明系统及抗量子签名等关键基础设施的形式化验证项目，以提升协议级安全性与可靠性。不过，Vitalik 也强调形式化验证并非“银弹”。其局限包括：安全性定义依赖人为建模、部分系统难以完整形式化、以及硬件或非验证模块仍可能成为攻击面。此外，即便在形式化证明存在的情况下，规格错误或未覆盖的假设仍可能导致漏洞。
Vitalik 最后提出，更现实的路径是将形式化验证与 AI 辅助编程、类型系统、测试框架等多种方法结合，在“冗余表达意图并自动验证一致性”的框架下逐步提升软件安全性。在 AI 大规模生成代码的趋势下，软件系统将逐步分化为“易受攻击的边缘模块”与“高度可信的安全核心”。未来应将形式化验证集中应用于核心系统（如区块链协议、操作系统内核等），以构建可验证安全性的数字基础设施。
21:01
黄金白银小幅反弹，加密波动率下降，BVIX日内跌幅0.54%
Svmuu讯 据 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 端，用户无需切换平台，即可便捷参与全球资产价格交易，在加密市场之外解锁更多策略与机会，持续提升多元资产配置体验。
21:00
美股收盘加密概念股普跌，Upexi跌超8.97%
Svmuu讯 根据 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 代币标的。
20:44
比特币巨鲸持续增持信号明显：持有100枚以上BTC钱包升至2.02万个年增11.2%
Svmuu讯 数据显示，持有至少 100 枚比特币（BTC）的钱包数量已升至 20,229 个，较一年前增长约 11.2%。数据显示，在市场波动背景下，巨鲸及机构投资者仍持续增持比特币，反映出中长期持仓信心保持稳定。（Cointelegraph）
20:37
鲸鱼Loracle.hl将其5倍杠杆HYPE空单增至144万枚，现浮亏约800万美元
Svmuu讯 据 Onchain Lens 监测，鲸鱼 Loracle.hl (@loraclexyz) 进一步将其 5 倍杠杆 HYPE 空单增至 144 万枚，持仓价值 6930 万美元，清算价格为 69.64 美元，当前浮亏约 800 万美元。
20:35
Ondo项目方多签钱包过去2个月向Coinbase等交易所累计转移超3.28亿枚ONDO
Svmuu讯 据链上分析师余烬监测，在过去 2 个月时间里，Ondo 项目方的多签钱包就向 Coinbase 等交易所累计转移了超过 3.28 亿枚 ONDO (9842 万美元)。
20:31
Meta启动重组拟裁员20%并调配7000名员工转向AI战略
Svmuu讯 Meta 计划于 5 月 20 日启动重大重组，拟裁减全球约 20% 员工，同时将约 7000 名员工调配至人工智能（AI）相关项目，此次调整是 Meta 持续推进 AI 战略的一部分，旨在进一步集中资源发展人工智能业务。（Cointelegraph）
20:28
某鲸鱼开设20倍杠杆ETH和BTC多单，以及10倍杠杆DGE多单
Svmuu讯 据 Onchain Lens 监测，某鲸鱼开设 20 倍杠杆 ETH 和 BTC 多单，现持有 4600 枚 ETH 和 1182 枚 BTC，以及 10 倍杠杆 DGE 多单，现持有 1947 万枚 DGE。
20:25
慢雾余弦：Echo Protocol或因Admin单点私钥沦陷导致被盗
Svmuu讯 针对 Echo Protocol 出现安全问题，慢雾余弦在 X 平台发文表示，本次被盗事件或因 admin 单点私钥沦陷导致。
20:22
Coinbase：将与5月23日系统升级，交易不中断但订单状态或受影响
Svmuu讯 Coinbase 在 X 平台发文宣布拟于美国东部时间 5 月 23 日下午 3 点左右进行系统升级，升级期间交易不会受到影响，订单也将正常处理，但 Coinbase 全部市场的订单当前状态显示可能会出现可视化延迟。
20:18
Bitwise将使用Hyperliquid ETF部分管理费增持HYPE代币
Svmuu讯 Bitwise Asset Management 宣布，将把旗下 BHYP Hyperliquid ETF 管理费收入的 10% 用于在公司资产负债表上持有 Hyperliquid 原生代币 HYPE，相关 HYPE 持仓还将进行质押。
Bitwise 表示，Hyperliquid 采用“社区优先”模式，约 99% 的链上收入被用于回购并销毁 HYPE 代币，因此公司决定同步持有 HYPE。Bitwise 旗下 Hyperliquid ETF（代码：BHYP）已于上周五在纽约证券交易所上市，为投资者提供 Hyperliquid 敞口及质押收益。（The Block）
20:15
美国证监会或最快本周推出代币化股票监管框架，华尔街加速布局链上证券
Svmuu讯 美国证监会（SEC）正准备推出一项针对代币化股票交易的新监管框架，最快可能于本周公布，据悉 SEC 正研究一项“创新豁免”机制，允许交易平台在更宽松的监管条件下提供上市证券的链上数字版本交易。此举被视为美国监管机构进一步转向支持代币化证券的重要信号。
目前多家华尔街机构已加速布局相关业务。美国存管信托与清算公司美国存管信托与清算公司（DTCC）计划于 7 月启动代币化资产有限生产交易，并于 10 月扩大推广；纳斯达克纳斯达克正在开发基于区块链的股票发行框架；洲际交易所洲际交易所（ICE）则通过与 OKXOKX 合作推进代币化股票及加密相关产品。
SEC 主席 Paul Atkins 此前表示，美国证监会正考虑为链上交易系统、区块链结算基础设施及加密托管模型制定正式规则，并认为现有证券法规已难以适配集交易、清算与结算于一体的链上协议。（CoinDesk）
20:12
美国XRP现货ETF单日总净流入75.04万美元
Svmuu讯 根据 SoSoValue 数据，昨日（美东时间 5 月 18 日）XRP 现货 ETF 单日总净流入 75.04 万美元。
昨日仅 Franklin XRP ETF(XRPZ) 净流入，单日净流入 75.04 万美元，目前历史总净流入达 3.79 亿美元。
截至发稿前，XRP 现货 ETF 总资产净值为 11.42 亿美元，XRP 净资产比率 1.33%，历史累计净流入已达 13.86 亿美元。
20:12
美国HYPE现货ETF单日总净流入441.80万美元
Svmuu讯 根据 SoSoValue 数据，昨日（美东时间 5 月 18 日）HYPE 现货 ETF 单日总净流入 441.80 万美元。
昨日净流入最多的 HYPE 现货 ETF 为 21Shares Hyperliquid ETF(THYP)，单日净流入 237.34 万美元，目前历史总净流入达 1290.10 万美元。
其次为 Bitwise Hyperliquid ETF(BHYP)，单日净流入 204.46 万美元，目前历史总净流入达 204.46 万美元。
截至发稿前，HYPE 现货 ETF 总资产净值为 1858.54 亿美元，HYPE 净资产比率 0.17%，历史累计净流入已达 694.28 亿美元。
20:11
WorldCoin团队将1318枚WLD存入Coinbase
Svmuu讯 据 Onchain Lens 监测，WorldCoin 团队将 1318 枚 WLD 存入 Coinbase，价值 309 万美元。
20:07
中金：美联储年内或难以降息
Svmuu讯 中金研报称，近期多项美国通胀数据超预期，就业市场则趋于稳定。债券出现抛售，市场对通胀的担忧持续升温。与此同时，美伊和平谈判未见实质性进展，霍尔木兹海峡仍处于事实封闭状态，能源价格上行风险难以消退。基准情形下，我们预计美国 PCE 通胀全年或将维持在 3.5%以上，核心 PCE 通胀将在 3%以上，均显著高于美联储 2%的政策目标。
在此背景下，美联储政策立场将转为更加审慎的方向，年内或难以进一步降息（此前预计下一次降息在第四季度）。新任主席沃什上任后，建立政策公信力将是首要任务，及时向市场传递明确的抗通胀信号，既是应有之义，也是稳定预期的必要之举。对市场而言，这意味着美元流动性边际收紧的概率上升，单纯依靠流动性驱动的资产或将持续承压。(金十)
20:06
Monad联创：已注意到Echo协议安全事件，Monad网络未受影响
Svmuu讯 Monad 联合创始人 Keone Hon 在 X 平台发文表示，团队已注意到与 EchoProtocol 的 eBTC 相关的安全事件，目前安全研究人员正在对此展开调查，Monad 网络本身未受到影响，当前运行正常。
此外，安全研究人员初步审查认定，此次针对 EchoProtocol eBTC 的漏洞利用事件已导致约 81.6 万美元资产被盗。
20:03
Echo Protocol遭攻击，攻击者铸造1000枚eBTC后经Curvance提取
Svmuu讯 据 Onchain Lens 监测，Monad 上的 Echo Protocol 遭攻击。攻击者铸造了 1000 枚 eBTC，价值 7670 万美元，并通过此前已测试过的攻击路径经由 Curvance 提取资金。
截至目前，攻击者已将 45 枚 eBTC 作为抵押存入 Curvance，并借出约 11.29 枚 WBTC，价值 86.77 万美元；随后将这部分 WBTC 跨链至 Ethereum，兑换为 ETH，并向 Tornado Cash 转入 385 枚 ETH，价值约 81.8 万美元。攻击者目前似乎仍控制大量已铸造的 eBTC。
19:56
特朗普：海湾盟友请求推迟对伊军事打击“两三天”
Svmuu讯 特朗普表示，沙特阿拉伯、卡塔尔、阿联酋及其他一些国家请求他将对伊朗的军事打击“推迟两到三天”，原因是他们认为美伊协议“非常接近达成”。特朗普当天在白宫一场活动中对媒体记者说，美国已准备好 19 日对伊朗发动一次“非常重大”的攻击。不过，“我把它推迟了一小段时间，希望这也许是永久性的，但也可能只是暂时的。因为我们与伊朗进行了非常重大的讨论，我们将拭目以待这些讨论会有何结果”。
特朗普表示，谈判出现一些“非常积极的进展”，上述海湾盟友有机会促成协议达成。他还表示，这次的情况与先前几次美方认为即将与伊朗达成协议时“略有不同”。（新华社）
17:24
Ostium接入纳斯达克数据，推出链上股票永续合约产品
Svmuu讯 链上永续合约交易平台 Ostium 宣布与纳斯达克达成合作，将使用其美股市场数据支持平台上的股票永续合约产品。
Ostium 表示，这使其成为首个由纳斯达克数据支持、提供股票永续合约的链上交易场所。平台称，用户将能够通过链上基础设施获得美股敞口，同时保留透明、即时结算和自托管等特性。
Ostium 主打传统金融资产的链上杠杆交易，覆盖股票、指数、商品、ETF 和外汇等类别。目前平台累计交易量已超过 500 亿美元，交易用户超过 2.6 万人。

什么是7X24小时快讯

这里，是全球数字化财富跳动的脉搏。

在瞬息万变的数字货币与全球金融市场中，一分钟的延迟可能意味着错失一次布局良机，亦或是一场无谓的风险承受。在这个以秒为单位进行价值重构的战场上，Svmuu·快讯 致力于为您构建一条极速、精准、无噪音的信息直达通道。

我们打破传统媒体的滞后性，通过全天候监控网络，将全球加密市场与宏观经济的每一个关键异动，以最凝练、直观的语言秒级推送到您的屏幕前。

我们的栏目特色

瞬时响应，分秒必争

依托强大的自动化数据抓取网络与专业编辑团队的协同，我们24小时不间断追踪全球主流交易市场、链上大额异动、核心项目进展以及全球政经要闻。确保重大消息发生时，您能第一时间获取核心事实。

剥离噪音，提炼信号

面对泛滥的信息，盲目追求“多”往往会陷入决策瘫痪。我们的编辑团队不仅追求速度，更注重信息的“含金量”。我们为您过滤掉无效的营销炒作和重复噪音，只提炼对市场走势、资金流向有实际参考价值的硬核干货。

加密生态与全球宏观的双向对焦

这里的快讯不仅局限于币圈的行业动态，我们同样密切关注全球地缘政治冲突、美联储及各国央行政策红线、传统大宗商品波动、以及全球供应链重组等宏观大事件。因为我们深知，当下的数字资产市场已与全球宏观流动性深度共振，每一个宏观音符都可能引发币圈的剧烈涟漪。

我们的服务承诺

我们深知，在狂热与躁动的市场环境中，情绪往往跑在理智前面。因此，快讯栏目始终坚持“客观陈述，不带立场，拒绝误导”的原则。我们不兜售恐慌，不编造神话，只做您投资决策道路上最冷静的哨兵。

锁定 Svmuu(水木财经)·快讯，在纷繁复杂的市场轮动中，让我们为您率先捕捉那道决定趋势的风向。

24小时热榜

recommend

推荐阅读

热门话题

#比特币 #美股 #加密货币 #以太坊 #地缘政治 #伊朗 #特朗普 #预测市场 #AI #币安 #稳定币 #Meme币 #ETF #DeFi #加密货币交易 #Polymarket
友情链接: svmuu

svmuu(水木财经)专注于区块链行业动态、加密货币前沿资讯，同时覆盖港股、美股及外汇市场的实时行情与深度分析。在这里，您不仅能获取专业的7×24小时新闻速递、精准的行情数据，还能体验实用的投资工具，助您把握数字资产与传统金融市场的双重机遇。无论您是区块链爱好者，还是港股、美股及外汇投资者，都将为您提供高效、快速的信息服务，赋能您的投资决策。

扫码下载APP