Neuigkeiten

ChainCatcher berichtet, dass der CEO von Strategy, Phong Le, erklärte, die globalen Märkte und verschiedene Branchen erleben derzeit Unsicherheit. Während dieser Zeit hat Strategy insgesamt 4 % des weltweiten Bitcoin-Bestandes gehalten.

Laut Foresight News hat das Entwicklungsteam von Monad, Category Labs, einen Beitrag veröffentlicht, in dem sie ihre Erfahrungen mit der Nutzung formaler Verifikation zur Aufdeckung von Schwachstellen in den Schlüsselmodulen der Monad-Blockchain teilen. Sie enthüllten mehrere Schwachstellen, die von fortschrittlichen Large Language Models wie Claude Opus 4.8 und Codex während der Codeüberprüfung nicht erkannt wurden, jedoch im Rahmen des formalen Beweisverfahrens erfolgreich aufgedeckt werden konnten. Betroffen sind unter anderem das Design des „Reserve Balance“ (reserviertes Guthaben) Mechanismus im asynchronen Ausführungssystem von Monad sowie ein Problem mit undefiniertem Verhalten in C++ im Rahmen der Speicheroptimierung durch MIP-8. Das Team ist der Ansicht, dass es im Vergleich zur direkten Anweisung an ein Modell, den Code zu prüfen, effektiver ist, zunächst präzise Korrektheitsbehauptungen zu formulieren und das Modell anschließend gezielt nach Gegenbeispielen suchen zu lassen. Diese Arbeitsweise deckt versteckte Schwachstellen besser auf. Mittlerweile kann die formale Verifikation in hohem Maße durch KI unterstützt werden.

Informierten Kreisen zufolge hat ein großer Händler auf dem außerbörslichen Markt in privaten Transaktionen für die SpaceX-Anleihen mit Fälligkeit 2056 einen Preis angeboten, der im Vergleich zum Emissionszeitpunkt den Renditeabstand zu US-Staatsanleihen um bis zu 0,28 Prozentpunkte erweitert hat. Seit Beginn des Handels hat sich der Buchverlust der SpaceX-Anleihen im Wert von 25 Milliarden US-Dollar stetig vergrößert. Berechnet relativ zu US-Staatsanleihen lag der gesamte Verlust bis Donnerstagabend bei etwa 305 Millionen US-Dollar.