資訊中心

Foresight News 消息，Flowdesk 美國銷售主管 Hans Birringer 在 X 平台發文宣布成立 Hyper Holdings Global，表示該機構是一個由投資者、機構及企業家組成的聯合體，旨在連接傳統金融與 Hyperliquid 生態。其第一步是與灰度（Grayscale）達成戰略合作，推出灰度 Hyperliquid 質押 ETF（HYPG）。Birringer 指出，灰度在加密資產領域深耕十餘年，與美國監管機構及政策制定者關係密切，曾推出首只公開交易的比特幣基金，並促成現貨加密 ETP 獲批的法律先例。他表示，HYPG 將作為長期機構資本進入 Hyperliquid 生態的入口，參與該項目的還包括 Multicoin Capital、Hypurrdash、MotusAk 等機構及個人。

ChainCatcher消息，Strategy首席執行官Phong Le表示，全球市場和各行業正經歷不確定性，而在此期間，Strategy已累計持有全球4%的比特幣。

Foresight News 消息，Monad 開發團隊 Category Labs 發文分享其使用形式化驗證（Formal Verification）方法排查 Monad 區塊鏈關鍵模組漏洞的經驗，披露了多個 Claude Opus 4.8、Codex 等前沿大型模型在程式碼審查中未能發現，但形式化證明過程成功捕捉到的漏洞。涉及 Monad 非同步執行機制中的「Reserve Balance（保留餘額）」設計以及 MIP-8 儲存優化中的 C++ 未定義行為問題。團隊認為，相比於直接要求模型「審查代碼」，先撰寫精確的正確性命題再要求模型尋找反例，這種工作方式更容易揭露隱藏漏洞，目前形式化驗證已能大幅借助 AI 輔助完成。