值得注意的是，這是 @CetusProtocol 創建的完全相同的庫，實際上是 Sui 上的每個 CLAMM 都依賴於它。
該修復程式轉換了這個相當狡猾的位：
public fun sub（arg0： I128， arg1： I128） ： I128 {
let v0 = I128{bits： u128_neg（arg1.bits）};
add（arg0， wrapping_add（v0， from（1）））
}
進入適當的溢出保護：
public fun sub（arg0： I128， arg1： I128） ： I128 {
設 v0 = wrapping_sub（arg0， arg1）;
let v1 = sign（arg0） ！= sign（arg1） & sign（arg0） ！= sign（v0）;
斷言！（！v1， 0）;
v0
}
非常感謝 @bluefinapp 保護整個 Sui CLAMM 生態系統！這正是對每個人都有好處的嚴格安全工作。
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.
8,971
25
本頁面內容由第三方提供。除非另有說明，OKX 不是所引用文章的作者，也不對此類材料主張任何版權。該內容僅供參考，並不代表 OKX 觀點，不作為任何形式的認可，也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下，此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章，瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險，其價值可能會產生較大波動。請根據自身財務狀況，仔細考慮交易或持有數字資產是否適合您。