Během našeho probíhajícího formálního ověřování s našimi partnery na @AsymptoticTech, integer-mate – základní matematické knihovny používané v mnoha protokolech Sui – jsme identifikovali okrajový případ, kdy by se odčítání se znaménkem mohlo chovat nesprávně, když druhý operand dosáhl své minimální možné hodnoty. I když chyba neměla žádný dopad na systémy společnosti Bluefin, nejistota ohledně toho, jak by ostatní mohli knihovnu používat, nás přiměla rychle jednat - připravit vylepšenou implementaci s našimi bezpečnostními partnery a úzce spolupracovat se Sui Foundation na šíření informací mezi postižené decentralizované burzy, aby mohly tuto chybu opravit. Děkujeme všem zúčastněným: @AsymptoticTech za hluboký ponor a odhalení okrajového případu, @osec_io @NotDeGhost za to, že jste se pustili do ověřování, a @SuiNetwork za vedení rychlé a koordinované reakce. To je druh spolupráce, který Sui odlišuje. Bezpečnost je trvalý závazek a tato rychlá identifikace a řešení ukazuje, že jsme v tom společně. Budeme i nadále investovat do formálního ověřování, přezkumů architektury a koordinace v rámci celého ekosystému, abychom zvýšili laťku bezpečného a ověřitelného DeFi.