Neuigkeiten

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.

BlockBeats News, 26. Juni – Goldman Sachs stellte fest, dass der US-Aktien-IPO-Markt im Jahr 2026 die stärkste Erholung der letzten Jahre erlebt, jedoch noch nicht die spekulative Euphorie der Internet-Blase reproduziert hat. Bislang sind in diesem Jahr etwa 50 Unternehmen in den Vereinigten Staaten an die Börse gegangen, doppelt so viele wie im gleichen Zeitraum des Vorjahres; hinsichtlich des Transaktionsvolumens hat die Emissionsgröße zur Jahresmitte etwa 120 Milliarden US-Dollar erreicht, was dem für das gesamte Jahr 2021 aufgestellten Rekord entspricht. Ben Snider, Chief U.S. Equity Strategist bei Goldman Sachs, sagte im Podcast der Bank, dass dies bis zu einem gewissen Grad nur eine normale Erholung sei, begünstigt durch eine Reihe großer Börsengänge und einer starken Finanzierungsnachfrage im KI-Bereich. Trotz hoher Bewertungen, starkem Investorenvertrauen, KI als dominierendes Investmentthema und weiteren Warnzeichen für eine Blase betonte Snider einen entscheidenden Indikator, der weit von historischen Höchstständen entfernt ist – die Anzahl der IPOs. Die USA verzeichnen im Durchschnitt etwa 100 IPOs pro Jahr in den vergangenen 25 Jahren, und das derzeitige Tempo liegt nahe an diesem Niveau, verglichen mit über 250 IPOs im Jahr 2021 und fast 400 im Jahr 1999, dem Höhepunkt der Internet-Blase. „Obwohl das Transaktionsvolumen ziemlich hoch und die Aktivität beschleunigt ist, ist meiner Meinung nach die Euphorie aus jenen Perioden noch weit entfernt.“