股票幣圈市場集體回撤， $BTC 再度跌破 77K，關注新任美聯儲上任時間 - 0519 幣研週報
SpaceX 正式啟動「1 拆 5」拆股計劃；伊朗推出比特幣結算海上保險平台 Hormuz Safe；Telegram 推出 Bot-to-Bot 通訊功能，支援 AI Agent 之間直接交互
本期重點整理
Hyperliquid 新型 memecoin launchpad alt.fun 機制拆解
alt.fun 是建立在 Hyperliquid 上的 memecoin 發射平台，核心機制為將代幣價格與底層標的的槓桿倉位掛鉤，支援 2x、3x、5x 做多或做空，可追蹤加密貨幣、股票、指數與商品共 14 種標的。即使無人交易，底層標的波動也會直接影響代幣價格。平台幣 $ALT 以 5x 做多 $HYPE 為底層，上線兩天漲幅達 1000%，五天內交易量突破 1 億美元。代幣採 ERC-20 標準，具備內盤 bonding curve 機制，達門檻後遷移至 AMM。
【更多細節請參考👉】
Crypto Wesearch 每日幣研@CryptoWesearchHyperliquid 新型 memecoin launchpad @altdotfun 機制拆解！ 平台幣 $ALT 高點 900 萬美金市值， 2 天 1000% 漲幅 「上線五天達到 100M 交易量！即使沒人交易也會出現價格波動」 @altdotfun 追蹤 perp 價格波動、包著 meme 外殼的槓桿代幣 launchpad 機制特點： 👉
alt.fun @altdotfunCoins launched on alt(.)fun have now generated over $100,000,000 in Hyperliquid perps trading volume.11:40 AM · May 18, 2026 · 382 Views
Sam Altman 與馬斯克的大戰持續延燒 🔥Hermes x Grok 新合作出爐
Nous Research 旗下 AI 平台 Hermes 宣布與 xAI 合作，用戶現可透過訂閱額度使用 Grok 4.3，支援原生 x_search 推文工具，上下文長度達 1M。xAI 選擇 Hermes 而非 OpenClaw，外界推測與 Sam Altman 和馬斯克之間的 OpenAI 股權糾紛及司法訴訟有關。Hermes 目前可串接 xAI 與 OpenAI 兩大訂閱方案，GPT 5.5 上下文為 272K。5 月 18 日 Hermes token 用量已超越 OpenClaw 達 2.7 倍，同時宣布與 NVIDIA 展開新合作，被 Web3 社群視為對 OpenAI 生態的有力反擊。
【更多細節請參考👉】Crypto Wesearch 每日幣研@CryptoWesearchSam Altman 與馬斯克的大戰持續延燒 🔥 Hermes x Grok 新合作出爐 現在可以在 Hermes 上使用 Grok 4.3 消耗「訂閱方案」額度，並且支援原生 x_search 推文相關工具（SuperGrok + X Premium 皆可） ❓ 為什麼 xAI Grok 不是選擇支援 @openclaw？ 龍蝦之父 @steipete 於今年二月加入 @OpenAI 其 CEO
xAI @xaiYou can now use X Premium subscriptions in Hermes Agent, and Hermes Agent can now search X posts. https://t.co/7VoMEYtrnQ10:47 AM · May 18, 2026 · 26.4K Views7 Replies · 4 Reposts · 85 Likes
管理上百億美金的機構頂級華爾街大佬持倉哪些股票？
管理 300 億美元的 Bill Ackman 以機會成本邏輯大幅轉持 $MSFT，強調長線仍看好 $GOOG，但 $MSFT 具備全球 64% 作業系統市占、Copilot 破億月活、Azure 年收入突破 750 億美元及 AI Foundry 多模型生態等優勢，Forward P/E 僅 25 倍估值偏低。管理 120 億美元的 Daniel Loeb 則以 1.96% 倉位布局 $HUT8，該公司 EV/EBITDA 達 19 倍遠高於同業 $IREN 的 3 至 6 倍與 $CLSK 的 3 至 4 倍，機構入場信號暗示「BTC 礦商轉型 AI 資料中心」將成為下一波重要投資主題。
【更多細節請參考👉】Crypto Wesearch 每日幣研@CryptoWesearch管理上百億美金的機構頂級華爾街大佬持倉哪些股票？ @BillAckman 、 @DanielSLoeb1 Pershing Square 潘興廣場資本管理公司 @BillAckman： 管理 300 億美元規模的資金 最著名的戰役是 " 6 年前的 COVID 19 " 發現股市可能崩盤， 並花費 2700 萬美元購入 " 信用違約保險 " ，最終獲利 26 億美元
9:08 AM · May 18, 2026 · 187 Views1 Reply
週報內容、市場新聞摘要
Gate 完成預測市場升級，上線聰明錢、快速交易與 AI 市場分析功能
人類在 Figure AI「人機大戰」快遞分類挑戰賽中獲勝
加密市場新聞洞察一把抓 -每日幣研加入《Crypto Read》加密聯合電子報！
訂閱每日幣研週報，一起掌握每週幣圈大事、DeFi 關鍵數據以及敘事輪動，找到市場難以捕捉的 alpha！
大盤走勢
圖：過去 7 天大盤行情 | TradingView
NQM2026（納斯達克 100 指數小型期貨）: +5.81%
ESM2026（標準普爾 500 指數小型期貨）: +3.16%
OTHERS: +2.02%
TOTAL3: +0.94%
US2000: -0.13%
TOTAL: -1.46%
本週加密市場先反彈後轉弱。BTC 在 5/12 的價格約 81,721 美元，期間一度受監管利多推升靠近 82,000 美元，但後續跌破 77,000 美元，5/19 回調至約 76,500 美元。ETH 則從 5/12 約 2,339 美元，回落至 5/19 約 2,101 美元，整體仍是 BTC 主導、山寨幣缺乏明顯輪動。
資金流動上，本週 ETF 資金明顯轉弱，BTC 與 ETH 現貨 ETF 皆出現淨流出。BTC 現貨 ETF 合計約淨流出 9.96 億美元，ETH 現貨 ETF 約 淨流出 2.55 億美元，顯示前期支撐市場反彈的機構買盤開始退潮。資金由主流幣回補轉為撤出，也讓 BTC、ETH 的上攻動能受到壓抑，市場情緒轉向保守。
宏觀面是本週壓力主因。美國 4 月 CPI 月增 0.6%、年增 3.8%，高於預期，推升美債殖利率並削弱市場對 Fed 降息的期待。再加上伊朗相關地緣風險升溫，油價與通膨疑慮同步提高，使資金從加密貨幣等高波動資產撤出。因此本週行情更像是監管利多後的短線反彈失敗，而非多頭延續。
Coinglass 貪婪與恐懼指數 27 恐懼（ -22 百分點 ）
CMC 恐懼與貪婪指數 38 恐懼（ -14 百分點 ）
BTC Dominance 60.73%（ 前 60.85% ）
五月重要宏觀事件發布時間（UTC +8）
5 月 20 日
美國至 5 月 15 日當週 EIA 原油庫存（22:30）
5 月 21 日
美國至 5 月 16 日當周初請失業金人數（20:30）
5 月 22 日
美國 5 月密西根大學消費者信心指數終值（22:00）
加密美股｜COIN · CRCL · MSTR
COIN｜Coinbase Global
過去五天走勢：-10.85%
利好消息：
5/14 CLARITY Act 委員會通過當日：COIN 單日飆漲 +10% 至 ~$220，CEO Brian Armstrong 親赴國會山莊為法案背書，Coinbase 被市場定性為「交易所 + USDC 分潤雙重受益」最大贏家。
Benchmark 分析師目標價 $270，COIN 股價形成上升三角型態，若 CRCL 突破 $211 則預期帶動 COIN 進一步攀升至 $280（6 月潛在目標）；OBV 指標顯示持續買盤累積。
產業結構確認：CLARITY Act 推動的是交易所 + 國庫股，BTC 價格推動的是礦工股；兩者走勢分化，COIN 是本週立法受益最直接的標的。
Q1 財報顯示連續第 13 季正 EBITDA，裁員 700 人（14%）轉向 AI 人才，Q2 訂閱及服務收入指引 $5.65–6.45 億為結構性支撐。
⚠️ 風險：Q1 交易收入年減 31% 揭示熊市週期影響仍在；通脹升息環境壓制整體加密市場情緒
近期大事件：5/20 FOMC 會議紀要；CLARITY Act 全院辯論啟動時間表
CRCL｜Circle Internet Group
過去五天走勢：-14.33%
利好消息：
5/14 CLARITY Act 歷史性突破：參議院銀行委員會以 15-9 兩黨通過 Markup 投票，全部 13 位共和黨議員 + 2 位民主黨議員支持；法案送交參議院全院，距 Trump 7/4 簽署目標仍有約六週時間。
法案核心條款確認：禁止被動持倉穩定幣利息，但保留交易、質押等活動型獎勵；仍需全院 60 票跨越冗長辯論門檻，倫理條款（禁止政府官員持有加密資產）為最大未解爭議。
Arc Token 發布後分析師目標價集體上調：Needham $150、JPMorgan $155（Overweight）、Mizuho $135、H.C. Wainwright $150（Buy 升評）；CNBC 報導「ARC Token 揭露後，連謹慎分析師也在調高目標價」。
週末回落原因：通脹 3.8% 超預期壓力 + 升息疑慮升溫；CRCL 收益高度依賴準備金利率，若聯準會升息，利差壓縮直接衝擊 Reserve Income。支撐位 $113，若跌破關注 $100 整數關卡。
⚠️ 風險：本週股價回調 7%，通脹升息環境對準備金收益模式形成雙重壓制
近期大事件：5/20 FOMC 紀要（升息路徑確認與否直接影響 CRCL 估值）；CLARITY Act 全院辯論最新進展
MSTR｜Strategy（原 MicroStrategy）
過去五天走勢：-12.96%
利好消息：
5/18 揭露上週超大型購幣：買入 24,869 枚 BTC，耗資約 $20.1 億，均價 $80,985；總持倉升至 843,738 BTC，帳面均價 $75,700，總成本約 $639 億，持倉市值約 $653 億。
本次購幣約 97% 由 STRC 優先股融資，出售約 1,950 萬股 STRC 籌得 $19.5 億，STRC 單日交易量創紀錄 1,510 萬股；MSTR ATM 補充出售 43 萬股籌得 $8,370 萬。總持倉已超越比特幣供應量上限的 4%。
ATM 剩餘募資額度龐大：MSTR 仍有約 $263 億、STRC 約 $175 億可用，「發股→買幣」飛輪仍在高速運轉。
⚠️ 風險：STRC 優先股年化股息 11.5%，月息義務攀升為中期壓力；BTC 若破 $75K 均價成本，敘事反轉風險升高
近期大事件：5/20 FOMC 4 月會議紀要（本週收尾最大宏觀變數）
BTC 頂部結構不理想，Liq 分析揭示當前最佳做空條件
Source : https://x.com/market_beggar/status/2056190764347265261
本期 @market_beggar，BTC 衝入 81～82K 失衡強阻力區後走勢反覆，技術面頂部結構存在隱憂——下跌前於 82K 上方留下趨勢線流動性（Trendline Liq），使做空計畫需保持謹慎。下方仍有大量趨勢線流動性（Trendline Liq）與等低點（Equal Lows）形成流動性（Liquidity）引力，加上美資已現偷跑跡象，市場方向尚未明朗。
當前交易思路：等待「清掃 82K 上方流動性（Liq）＋獵停損（Stop Hunt）成立＋美資情緒背離確認」三條件同步觸發，方視為高勝率做空窗口；若 74.8K 直接順暢跌破，則可視為階段性見頂確認。
預測市場熱門關注事件
內馬爾會參加 2026 年 FIFA 世界盃嗎？（Will Neymar play in the 2026 FIFA World Cup?）
Link:
內馬爾自 2023 年 10 月在巴西對烏拉圭的世界盃資格賽中嚴重受傷後，長期缺席國家隊；回歸桑托斯後透過密集復健，在 2026 年 13 場比賽中貢獻 6 球 3 助攻，逐漸重拾狀態。
5 月 18 日 Ancelotti 公布最終 26 人名單，內馬爾親自表示「身體狀態非常好」，消息讓 Polymarket 預測機率在短短數週內從約 35% 上升至 87%。距離巴西 6 月 13 日首戰摩洛哥不到四週，內馬爾復出能否成真，最終答案已近在眼前。
MicroStrategy 什麼時候會賣出比特幣？（MicroStrategy sells any Bitcoin by ___ ?）
Link:
Q1 財報後 Saylor 坦承「可能出售 BTC 支付股息」，「永不賣幣」敘事瓦解，Polymarket 三個時間點機率全面上升：5 月底 42%、6 月底 67%、12 月底 85%。
但是就在上週，Strategy 透過 STRC 發行籌得逾 20 億美元，隨即以均價約 $80,985 買入 24,869 枚 BTC，為今年繼 4 月以來最大單週購幣行動，持幣總量升至 843,738 BTC。市場對此解讀分歧——究竟是「邊賣邊買的資產負債表管理」，還是「永不賣幣」敘事的最後掙扎，預測市場給出的答案已相當明確。
SpaceX 什麼時候會進行 IPO？（SpaceX IPO by ___ ?）
Link:
S-1 公開招股書預計最快本週釋出，路演定於 6 月 8 日啟動，目標 6 月 12 日在 Nasdaq 掛牌，代碼 $SPCX。SpaceX 目標估值 1.75 兆美元，擬募資最高 750 億美元，將成為史上最大 IPO。
6 月 30 日前 IPO 的機率從先前約 40% 跳升至 92%，市場已高度確定上市落在 6 月中旬。S-1 公開後，SpaceX 首次揭露的財務數據將是本次 IPO 最大看點。
市場融資情形
Source: https://www.rootdata.com/zh/Fundraising
融資榜：
Dunamu（6.67 億美元）韓亞金融集團（Hana Financial）將投資約 1 兆韓元（約 6.67 億美元），收購韓國加密交易所 Upbit 營運商 Dunamu 6.55% 的股份。
Gemini（1 億美元）Gemini 創辦人 Tyler 和 Cameron Winklevoss 向該交易所進行了 1 億美元的「戰略投資」，以每股 14 美元的價格購買 A 類普通股，對價以 BTC 支付。
Fasset（5,100 萬美元）穩定幣驅動數位銀行 Fasset 宣布完成 5,100 萬美元 B 輪融資，投資方包括日本 SBI 集團、Investcorp 及土耳其資產管理公司 Arz Portföy，本輪估值未予揭露。
Stitch（2,500 萬美元）金融科技基礎設施平台 Stitch 完成 2,500 萬美元的 A 輪融資。該輪融資由 a16z 領投，這也是該創投巨頭在 GCC（海灣阿拉伯國家合作委員會）地區的首筆投資。
AnotherBall（1,570 萬美元）AnotherBall 於 5 月中旬完成 A 輪募資，成功籌集 1,570 萬美元。此輪融資由三井住友銀行（SMBC）和中國工商銀行（ICBC）等大型機構投資。
內容精選 - 形式驗證：AI 時代下軟體安全的解法
Source : https://vitalik.eth.limo/general/2026/05/18/fv.html
1️⃣ 什麼是形式驗證？
形式驗證是一種將數學證明寫成機器可自動檢查格式的技術。傳統上，人類用直覺撰寫數學推導，但當邏輯複雜到一定程度，人工驗證極易出錯。形式驗證工具（如 Lean）能讓電腦自動確認每一個推導步驟是否成立，從根本上消除人為疏失，讓「證明程式行為正確」這件事變得可靠且可自動化。
2️⃣ 為何對加密與智能合約非常重要？
智能合約一旦部署即不可更改，若有漏洞，攻擊者可自動清空資產且無從追回。更糟的是，強大 AI 正在加速自動化漏洞挖掘，讓攻擊成本大幅降低。形式驗證提供的解法是：直接對程式碼本身生成數學證明，驗證其安全性質——例如 Signal 協議加密安全性、STARK 零知識證明正確性、EVM 執行等價性，讓使用者不必信任開發者，只需驗證證明即可。
3️⃣ 形式驗證的侷限與失效模式
形式驗證並非萬靈丹。常見失效情境包括：只驗證部分程式碼而忽略其他關鍵模組、規格書本身就寫錯、以及硬體層面的旁路攻擊（如差分功耗分析）未被納入證明模型。本質上，「可證明的正確性」只能比對數學物件之間的一致性，無法直接對應人類真實意圖——而後者才是「安全」的最終定義。
4️⃣ AI 加持下的未來展望
形式驗證過去難以普及，因為撰寫機器可驗證的證明對人類極不直覺。AI 的出現改變了這個局面：開發者只需設定想要的安全性質，讓 AI（如 Claude 或 Deepseek）自動生成組合語言實作與對應證明，整個過程可無人監督運行數小時。未來軟體將分為「不安全邊緣層」與「安全核心層」——核心層透過形式驗證達到真正意義上的可信，Ethereum、作業系統核心都將是典型案例。
• 🔥 加入幣研社群，一起討論更多市場機會：
• 華語 Telegram 社群：https://bit.ly/3YmFBrN
• 香港 Telegram 社群：https://bit.ly/HK-TG-Group
• 訂閱每日幣研 Telegram 頻道：https://t.me/cryptowesearch_news