資訊中心

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 輔助完成。

知情人士表示，在場外市場的私下交易中，一家大型做市商對2056年到期的SpaceX債券報價，其與美國國債相比發行時超出1.75個百分點的利差擴大了多達0.28個百分點。自該債券開始交易以來，SpaceX這筆250億美元債券的賬面虧損持續擴大。按相對美國國債的計算，截至週四晚些時候，相關虧損總額約為3.05億美元。