Bitget App
Trade smarter
Krypto kaufenMärkteTradenFuturesEarnAIPlazaMehr
Das Monad-Team teilt Erfahrungen mit formaler Verifikation und entdeckt mehrere von KI-Modellen bei der Prüfung übersehene Sicherheitslücken on-chain.

Das Monad-Team teilt Erfahrungen mit formaler Verifikation und entdeckt mehrere von KI-Modellen bei der Prüfung übersehene Sicherheitslücken on-chain.

ForesightNewsForesightNews2026/06/26 12:55
Original anzeigen

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.

0
0

Haftungsausschluss: Der Inhalt dieses Artikels gibt ausschließlich die Meinung des Autors wieder und repräsentiert nicht die Plattform in irgendeiner Form. Dieser Artikel ist nicht dazu gedacht, als Referenz für Investitionsentscheidungen zu dienen.

PoolX: Locked to Earn
APR von bis zu 10%. Mehr verdienen, indem Sie mehr Lockedn.
Jetzt Lockedn!

Das könnte Ihnen auch gefallen

Nvidia (NVDA.US) investiert erneut in KI-Infrastruktur und steckt 2 Milliarden US-Dollar in den globalen AI-Fonds von Brookfield (BAM.US), der 10 Milliarden US-Dollar aufnehmen will.

Nvidia hat 2 Milliarden US-Dollar in den Global Artificial Intelligence Infrastructure Fund von Brookfield Asset Management investiert.

智通财经2026/09/17 22:26

Die reale Rendite der US-amerikanischen 10-jährigen TIPS erreicht den höchsten Stand seit der Krise von 2008, während das Haushaltsdefizit und die Ausweitung der Unternehmensverschuldung Besorgnis erregen.

Das US-Finanzministerium hat am Donnerstag inflationsgeschützte Staatsanleihen (TIPS) mit einer Laufzeit von 10 Jahren im Volumen von 19 Milliarden US-Dollar emittiert. Die reale Rendite der Auktion stieg auf 2,653 % und erreichte damit den höchsten Stand seit 2008. Das Bid-to-Cover-Verhältnis lag bei 2,24 und damit unter dem Durchschnitt von 2,43 der letzten drei Auktionen, was auf eine im Vergleich zu zuvor gesunkene Nachfrage hindeutet.

华尔街见闻2026/09/17 19:16