ニュース

ChainCatcherの報道によると、Strategyの最高経営責任者（CEO）Phong Leは、世界市場と各業界が不確実性を経験している中で、Strategyはすでに世界のBitcoinの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億500万ドルに達しています。