Während unserer laufenden formalen Verifizierung mit unseren Partnern von @AsymptoticTech, der Integer-Mate – einer zentralen Mathematikbibliothek, die in vielen Sui-Protokollen verwendet wird – haben wir einen Grenzfall identifiziert, bei dem die signierte Subtraktion fehlerhaft reagieren könnte, wenn der zweite Operand seinen minimal möglichen Wert erreicht. Obwohl der Fehler keine Auswirkungen auf die Systeme von Bluefin hatte, hat die Unsicherheit darüber, wie andere die Bibliothek nutzen könnten, uns dazu veranlasst, schnell zu handeln – wir haben eine verbesserte Implementierung mit unseren Sicherheitspartnern vorbereitet und eng mit der Sui Foundation zusammengearbeitet, um die betroffenen DEXs zu informieren, damit sie diesen Fehler beheben können. Danke an alle Beteiligten: @AsymptoticTech für die tiefgehende Analyse und das Erkennen des Grenzfalls, @osec_io’s @NotDeGhost für das Einspringen bei der Verifizierung und @SuiNetwork für die schnelle und koordinierte Reaktion. Das ist die Art von Zusammenarbeit, die Sui auszeichnet. Sicherheit ist ein fortlaufendes Engagement, und diese schnelle Identifizierung und Lösung zeigt, dass wir gemeinsam daran arbeiten. Wir werden weiterhin in formale Verifizierung, Architekturüberprüfungen und koordinierte Maßnahmen im gesamten Ökosystem investieren, um die Standards für sichere und überprüfbare DeFi zu erhöhen.