CertiK：Soda項目智能合約安全漏洞分析_BAL

判斷一個人到底屬于什么資產階級，只需要看他的負債率。簡而言之，借的錢越多，代表你越有錢。所以借錢從某種角度上來講，是屬于富人的游戲。通過借貸手段合理分配資產從而達到收益也是理財的精髓。相信每個人都好奇過，銀行到底拿我們存的錢去做什么了呢？從這種角度上來講，銀行屬于最大的欠款方。那如果，突然有人攻破了銀行系統，強制銀行“還款”，然后本來需要還到儲蓄者賬戶里的錢款直接被攻擊者收入囊中，儲蓄者和銀行都將成為最大的受害方。

Balancer宣布將其技術部署到Avalanche鏈上:金色財經報道，Balancer在社交媒體上稱，正在將其技術部署到Avalanche鏈上，以推動Liquid Staked代幣的增長，并為參與者提供獨特靈活的DeFi技術堆棧。

Balancer表示，與DEX為LST實施的典型穩定池相比，Balancer的可組合穩定池以編程方式定制，以確保Yield Bearing代幣的全部權力流向流動性提供者。這些獨特的池利用內置的利率提供者，不斷查詢區塊鏈，將代幣更新為正確的比率，并將應計收益反饋給有限合伙人。Balancers加權數學還為所有協議提供了在 Avalanche 上實施#ve8020的能力。允許協議建立原生代幣流動性，減輕唯利是圖的激勵計劃，并解鎖治理代幣經濟的下一階段。[2023/8/2 16:12:48]

北京時間9月21日，CertiK安全研究團隊發現soda區塊鏈項目中存在智能合約安全漏洞，該漏洞允許任意外部調用者通過調用智能合約函數，無視受害用戶債務中的代幣數目，強行結算受害用戶的債務，并將通過結算操作所得的收益轉入到自己的收款地址。soda項目官方現在已經提交修復補丁來修復這個安全漏洞，但由于soda項目采用了TimeLock來將所有的操作延遲48小時，修復補丁會在延遲事件之后生效，因此截止發稿時，該漏洞已完成修復。漏洞技術分析

Larry Cermak：有傳言稱Jump、Alameda等公司又提供了20億美元來拯救 UST:金色財經報道，The Block研究總監Larry Cermak發布推特稱，有傳言說Jump、Alameda等公司又提供了20億美元來拯救 UST。無論這個傳言是真是假，他們的傳播都是非常有意義的。這里最大的問題是，即使他們能通過某種奇跡把它弄到1美元，信任也是不可逆轉的了。我個人認為現在拯救它的唯一方法是完全（或可能非常接近完全）抵押。否則我看不到它再次被使用。[2022/5/10 3:02:58]

https://github.com/

Axion Network遭黑客攻擊幣價歸零，CertiK稱可能是項目內部人員所為:Cointelegraph報道稱，在11月2日，一個名為Axion Network的項目上線代幣AXN幾個小時后即遭到黑客攻擊，790億枚AXN被鑄造并且拋售到市場，代幣價格幾近歸零，黑客獲利1300枚ETH，約合50萬美元。

作為項目的審計方之一，Certik通過分析表示，黑客利用了Axion質押合約的反質押功能，通過Uniswap將AXN兌換為ETH，直到Uniswap相關代幣池被耗盡，AXN價格歸零。此外，Certik表示該事件很可能為內部人員所為，惡意代碼的植入發生在代碼部署期間，而這部分代碼并非Certik審計內容。[2020/11/3 11:29:52]

去中心化交易所Balancer通過BAL流動性挖礦治理提案:Balancer協議于北京時間今日凌晨通過社區治理投票，再次修改其流動性挖礦獎金分配方案。Balancer以治理BAL為獎勵為流動性提供者每周發放獎勵。在新通過的提案中，每周14.5萬的BAL獎金（約合350萬美金）中將會有4.5萬（約合108萬美金）分發給BAL其它代幣交易對的流動性提供者。該提案被認為更偏向于以BAL為基礎的流動性池。[2020/8/25]

soda項目中的WETHCalculator.sol智能合約中存在邏輯實現錯誤導致的安全漏洞，圖一中WETHCalculator.sol智能合約第193行，maximumLoad的計算公式錯誤的使用了amount作為基礎值。因此，在196行滿足require()判斷的檢測條件loanTotal>=maximumLoan可以轉換為：loanInfo.amount+interest>=loanInfo.amount*maximumLTV/LTV_BASE由于maximumLTV/LTV_BASE的值是在0.15-0.95區域中變動，并且interest>=0。因此圖一196行的require()判斷中的檢測條件總是為真。失去了該require()判斷的保護，任何外部調用者可以通過調用以下圖二中SodaBank.sol中104行的collectDebt()函數來將任意loadId的貸款清空。在執行該函數的過程中，圖一中的collectDebt()函數會在圖2第121行被執行，并通過123行和125行代碼將該用戶鎖在soda里面的WETH的其中一部分轉移到該外部調用者的地址msg.sender中：

https://github.com/通過以上漏洞，任何外部調用者都可以通過調用SodaBank.sol中的collectDebt()并傳入其他用戶的loadId來清空該用戶在soda中的代幣。官方修復細節

soda官方為修復以上漏洞，設計了新的智能合約WETHCalculatorFixed.sol來替換WETHCalculator.sol。通過分析可以看到在圖三WETHCalculatorFixed.sol智能合約第979行，maximumLoan的計算公式被正確的計算為loanInfo.lockedAmount*maximumLTV/LTV_BASE。因此，圖三中第982行require()判斷的檢測條件變更為：loanInfo.amount+interest>=loanInfo.lockedAmount*maximumLTV/LTV_BASE

https://github.com/該等式的代碼實現與soda項目中的邏輯設計相符，該等式的真假與用戶的借貸債務數目和被鎖本金數目相關。漏洞完成修復。soda項目中關于該等式的邏輯設計細節可以從下面的鏈接中進行了解：https://medium.com/soda-finance/the-soda-revolution-9185fdb99fc1事件分析總結

該漏洞是由于邏輯設計與代碼實現不符而造成。當前常用的單元測試等測試方法以及自動化的測試工具均無法有效的查找到該種與邏輯相關的漏洞。因此，CertiK安全團隊有以下安全建議：安全是區塊鏈項目的立足之本，任何區塊鏈項目在上線前需要請專業第三方安全審計團隊對項目整體代碼進行安全審計。當前區塊鏈檢測工具對智能合約的檢測均無法檢測其邏輯上出現的漏洞，其結果也沒有可信的數學證明作為支撐。形式化驗證是當前唯一被證明可以產生可信數學證明的軟件驗證方法。采用基于形式化驗證方法的區塊鏈檢測工具來驗證項目中的安全漏洞，應成為每一個項目在上鏈前的必經步驟

Tags：CERODABALSODACER幣moda幣挖礦IMM GlobalSODA幣

SOL