Bitget App
交易「智」變
快速買幣市場交易合約理財廣場更多

資訊中心

關注 Bitget 新聞及深度資訊,了解加密貨幣領域最熱門話題。

banner
快訊
12:59
Strategy CEO,目前已累計持有全球4%的比特幣
ChainCatcher消息,Strategy首席執行官Phong Le表示,全球市場和各行業正經歷不確定性,而在此期間,Strategy已累計持有全球4%的比特幣。
12:55
Monad團隊分享形式化驗證實踐,發現多個AI模型審查時遺漏的鏈上安全漏洞
Foresight News 消息,Monad 開發團隊 Category Labs 發文分享其使用形式化驗證(Formal Verification)方法排查 Monad 區塊鏈關鍵模組漏洞的經驗,披露了多個 Claude Opus 4.8、Codex 等前沿大型模型在程式碼審查中未能發現,但形式化證明過程成功捕捉到的漏洞。涉及 Monad 非同步執行機制中的「Reserve Balance(保留餘額)」設計以及 MIP-8 儲存優化中的 C++ 未定義行為問題。團隊認為,相比於直接要求模型「審查代碼」,先撰寫精確的正確性命題再要求模型尋找反例,這種工作方式更容易揭露隱藏漏洞,目前形式化驗證已能大幅借助 AI 輔助完成。
12:50
SpaceX債券在二級市場急速下跌,令不少交易員感到驚訝
知情人士表示,在場外市場的私下交易中,一家大型做市商對2056年到期的SpaceX債券報價,其與美國國債相比發行時超出1.75個百分點的利差擴大了多達0.28個百分點。自該債券開始交易以來,SpaceX這筆250億美元債券的賬面虧損持續擴大。按相對美國國債的計算,截至週四晚些時候,相關虧損總額約為3.05億美元。
資訊中心