Under vår pågående formella verifiering med våra partners på @AsymptoticTech identifierade vi ett gränsfall där signerad subtraktion kunde bete sig felaktigt när den andra operanden nådde sitt lägsta möjliga värde. Även om buggen inte hade någon inverkan på Bluefins system, fick osäkerheten kring hur andra kan använda biblioteket oss att agera snabbt - förbereda en förbättrad implementering med våra säkerhetspartners och arbeta nära Sui Foundation för att sprida ordet till drabbade DEX:er så att de kunde åtgärda buggen. Tack till alla inblandade: @AsymptoticTech för djupdykningen och för att du upptäckte gränsfallet, @osec_io @NotDeGhost för att hoppa in på verifieringen och @SuiNetwork för att leda ett snabbt och samordnat svar. Det är den här typen av samarbete som skiljer Sui från mängden. Säkerhet är ett ständigt pågående åtagande, och den här snabba identifieringen och lösningen visar att vi gör det här tillsammans. Vi kommer att fortsätta investera i formell verifiering, arkitekturgranskningar och samordning över hela ekosystemet för att höja ribban för säker och verifierbar DeFi.