Stojí za zmínku, že se jedná o přesně tu samou knihovnu, která @CetusProtocol vytvořena, na kterou se spoléhá doslova KAŽDÝ ŠKEBLE na Sui. Oprava transformuje tento poněkud riskantní kousek: veřejná zábava sub(arg0: I128, arg1: I128) : I128 { let v0 = I128{bity: u128_neg(arg1.bits)}; add(arg0, wrapping_add(v0, from(1))) } Do správné ochrany proti přetečení: veřejná zábava sub(arg0: I128, arg1: I128) : I128 { let v0 = wrapping_sub(arg0, arg1); let v1 = znaménko(arg0) != znaménko(arg1) && znaménko(arg0) != znaménko(v0); tvrdit! (!v1, 0); v0 } Obrovská pochvala @bluefinapp za zabezpečení celého ekosystému Sui CLAMM! To je přesně ten druh přísné bezpečnostní práce, která je přínosem pro všechny.
During our ongoing formal verification with our partners at @AsymptoticTech, of integer-mate – a core math library used across many Sui protocols – we identified an edge case where signed subtraction could behave incorrectly when the second operand reached its minimum possible value. While the bug had no impact on Bluefin’s systems, the uncertainty around how others might use the library prompted us to act quickly - preparing an improved implementation with our security partners and working closely with Sui Foundation to spread the word to affected DEXs so they could fix this bug. Thank you to everyone involved: @AsymptoticTech for the deep dive and spotting the edge case, @osec_io’s @NotDeGhost for jumping in on verification, and @SuiNetwork for leading a swift and coordinated response. This is the kind of collaboration that sets Sui apart. Security is an ongoing commitment, and this quick identification and solve shows we're in this together. We’ll continue investing in formal verification, architecture reviews, and ecosystem-wide coordination to raise the bar for secure and verifiable DeFi.
Zobrazit originál
8,96 tis.
25
Obsah na této stránce poskytují třetí strany. Není-li uvedeno jinak, společnost OKX není autorem těchto informací a nenárokuje si u těchto materiálů žádná autorská práva. Obsah je poskytován pouze pro informativní účely a nevyjadřuje názory společnosti OKX. Nejedná se o doporučení jakéhokoli druhu a nemělo by být považováno za investiční poradenství ani nabádání k nákupu nebo prodeji digitálních aktiv. Tam, kde se k poskytování souhrnů a dalších informací používá generativní AI, může být vygenerovaný obsah nepřesný nebo nekonzistentní. Další podrobnosti a informace naleznete v připojeném článku. Společnost OKX neodpovídá za obsah, jehož hostitelem jsou externí weby. Držená digitální aktiva, včetně stablecoinů a tokenů NFT, zahrnují vysokou míru rizika a mohou značně kolísat. Měli byste pečlivě zvážit, zde je pro vás obchodování s digitálními aktivy nebo jejich držení vhodné z hlediska vaší finanční situace.