慢霧安全團隊建議在進行 deposit 存款等敏感操作時對指定 pid 對應的池子代幣與所傳入的代幣做好一致性的判斷，並且在添加流動性等涉及 LP 代幣數量變動的函數需添加重入鎖的限制，避免再次出現此類問題。
作者：九九 @慢雾安全团队
2022 年 03 月 13 日，據慢霧區消息，Paraluni 存在嚴重漏洞遭攻擊，黑客獲利約 170 萬美元，慢霧安全團隊第一時間介入分析，並將結果分享如下：
相關信息
Paraluni 是 BSC 鏈上的一個元宇宙金融（DeFi）項目。用戶可以質押代幣添加流動性獲取收益。
以下是本次攻擊涉及的相關地址：
攻擊者地址：
https://bscscan.com/address/0x94bc1d555e63eea23fe7fdbf937ef3f9ac5fcf8f
攻擊交易：
https://bscscan.com/tx/0x70f367b9420ac2654a5223cc311c7f9c361736a39fd4e7dff9ed1b85bab7ad54
攻擊合約：
https://bscscan.com/address/0x4770b5cb9d51ecb7ad5b14f0d4f2cee8e5563645
UBT（ukraine bad token）代幣合約：
https://bscscan.com/address/0xca2ca459ec6e4f58ad88aeb7285d2e41747b9134
UGT（russia good token）代幣合約：
https://bscscan.com/address/0xbc5db89ce5ab8035a71c6cd1cd0f0721ad28b508
Masterchef 合約：
https://bscscan.com/address/0xa386f30853a7eb7e6a25ec8389337a5c6973421d#code
攻擊核心點
在 MasterCheif 合約中的 depositByAddLiquidity 函數中，未校驗傳入的代幣數組參數_tokens 所構造的 LP 代幣是否和指定的_pid 參數對應和池子裡的 LP 代幣（USDT-BUSD LP）是否一致，且在添加流動性計算時沒有做重入限制，導致攻擊者利用了惡意構造的代幣合約進行了重入攻擊。
具體細節分析
1. 攻擊者構造了改寫了 transferFrom 函數的 ERC20 標準的 UBT 代幣合約與另一個 ERC20 標準的 UGT 代幣合約；
2. 攻擊者首先從 PancakeSwap 中閃電貸借出約 15.7 萬枚 USDT 和 15.7 萬枚 BUSD；
3. 接著調用 ParaRouter 合約中的 addLiquidity 函數添加流動性，為所構造的 UBT 合約上 mint 約 15.5 萬枚 Paraluni LPs 代幣；
4. 調用 MasterChef 合約中的 depositByAddLiquidity 函數，指定傳入的_pid 參數為 18，為該池子添加了 1 個 UBT 代幣和 1 個 UGT 代幣的流動性。該函數內部調用了 depositByAddLiquidityInternal 函數；
在 depositByAddLiquidityInternal 函數中，會利用傳入的_tokens 代幣通過調用 paraRouter 合約的 addLiquidity 函數去構造 LP 代幣。而我們看到該函數沒有校驗_pid 對應的池子代幣（USDT-BUSD LP）和利用傳入的_tokens 所構造的 LP 代幣是否相匹配；
5. depositByAddLiquidityInternal 函數又內部調用了 addLiquidityInternal 函數，而在 addLiquidityInternal 函數中，先獲取合約地址中 LP 代幣餘額記錄為 vars.oldBalance，接著調用了 paraRouter 合約的 addLiquidity 函數，然後再次獲取合約地址中 LP 代幣餘額記錄為 vars.newBalance，最後用 vars.newBalanc - vars.oldBalance 計算需要 deposit 的數量，然後調用_deposit 函數存入 LP 代幣；
而 paraRouter 合約的 addLiquidity 函數會調用攻擊所構造的 UBT 代幣合約中的 transferFrom 函數，該函數為攻擊者惡意構造，會調用 deposit 函數轉入 LP 代幣記賬到 UBT 合約中，而此時計算攻擊合約_deposit 的值時未能更新 vars.oldBalance 的值，造成了 UBT 代幣合約與攻擊合約均記賬了 15.5 萬枚的 LP 代幣份額，形成了一次重入攻擊；
6. 攻擊者分別調用 UBT 合約中的 withdrawAsset 函數和利用攻擊合約調用 Mastechef 合約中的 withdraw 函數提取 LP 到攻擊合約中；
7. 攻擊者移除流動性並總共得到了 31 萬枚 USDT 和 31 萬枚 BUSD，歸還閃電貸後獲利離場。
MistTrack
據慢霧 AML 分析，黑客地址初始資金來源於從 Tornado.Cash 轉入的 0.99785 BNB。
在攻擊獲利後，黑客將部分 BNB 兌換為 ETH，並將 235.448 ETH 從 BSC 跨鏈到以太坊，同時將 230 ETH 分 5 筆轉入 Tornado.Cash。
截止目前，黑客在 BSC 上的地址餘額為 3000.06 BNB，在以太坊上的地址餘額為 5.243 ETH。慢霧 AML 將持續監控被盜資金的轉移，拉黑攻擊者控制的錢包地址。
在攻擊發生後，Paraluni 項目方與黑客在鏈上發生了一系列對話：
Paraluni:
黑客也很快給出了回复：
接著 Paraluni 項目方繼續與黑客協商，如果黑客願意退還部分資金，則作為白帽行為給予賞金：
而目前，黑客暫無回复。
總結
本次攻擊事件是由於在 Mastechef 合約中的 depositByAddLiquidity 函數未對指定_pid 對應的池子代幣和傳入的_tokens 數組裡的代幣所構造的 LP 代幣作一致性校驗，並且在涉及流動性添加時未作重入鎖的限制，導致了 LP 代幣數量記賬時被利用。慢霧安全團隊建議在進行 deposit 存款等敏感操作時對指定 pid 對應的池子代幣與所傳入的代幣做好一致性的判斷，並且在添加流動性等涉及 LP 代幣數量變動的函數需添加重入鎖的限制，避免再次出現此類問題。
免責聲明：作為區塊鏈信息平台，本站所發布文章僅代表作者及嘉賓個人觀點，與 Web3Caff 立場無關。本文內容僅用於信息分享，均不構成任何投資建議及要約，並請您遵守所在國家或地區的相關法律法規。
