News

According to ChainCatcher, Strategy CEO Phong Le stated that global markets and various industries are experiencing uncertainty. During this period, Strategy has accumulated holdings of 4% of the world's Bitcoin.

Foresight News reported that the Monad development team, Category Labs, shared their experience using formal verification methods to identify vulnerabilities in key modules of the Monad blockchain. They disclosed several vulnerabilities that cutting-edge large models such as Claude Opus 4.8 and Codex failed to detect during code review, but which were successfully caught during the formal verification process. These issues involve the "Reserve Balance" design in Monad's asynchronous execution mechanism and undefined behavior in C++ during storage optimization in MIP-8. The team believes that, compared to directly asking the models to "review code," first writing precise correctness propositions and then asking the model to find counterexamples is more likely to expose hidden vulnerabilities. At present, formal verification can already be greatly assisted by AI.

According to informed sources, in private over-the-counter transactions, a major trader has quoted SpaceX bonds maturing in 2056 at a spread as much as 0.28 percentage points wider than the 1.75 percentage points above U.S. Treasuries at issuance. Since trading began, the book loss on SpaceX's $25 billion bonds has continued to grow. Calculated relative to U.S. Treasuries, as of late Thursday, the total loss associated with these bonds was approximately $305 million.