慢霧完成對Taproot Chain跨鏈橋模塊智能合約的代碼審計

3月29日消息，比特幣Layer 2項目Taprootchain宣布，安全公司慢霧已完成對Taproot Chain跨鏈橋模塊智能合約的代碼審計。審計報告顯示，在修復了一個風險漏洞并采納了6個改進建議后，慢霧給出的審計意見為低風險。

此前，Taprootchain曾公告，主網已于3月28日上線，首期白名單空投活動已經圓滿結束。跨鏈功能即將開啟，白名單用戶可以在開放后在官網領取白名單資格。

其它快訊：

慢霧首席信息安全官：近期多起供應鏈攻擊或由同一團伙所為，目標為加密貨幣產業:8月26日消息，慢霧首席信息安全官（Twitter ID 為 @IM_23pds）在 Twitter 上表示，近期多起供應鏈攻擊或由同一團伙所為，受影響的服務商包括 Lastpass、Twilio、Okta、Cloudfare，且該團伙目標應為加密貨幣產業。[8/26/2022 8:07:34 PM]

慢霧：BSC項目Value DeFi vSwap 模塊被黑簡析:據慢霧區情報，幣安智能鏈項目 Value DeFi 的 vSwap 模塊被黑，慢霧安全團隊第一時間介入分析，并將結果以簡訊的形式分享，供大家參考：

1. 攻擊者首先使用 0.05 枚 WBNB 通過 vSwap 合約兌換出 vBSWAP 代幣；

2. 攻擊者在兌換的同時也進行閃電貸操作，因此 vSwap 合約會將兌換的 vBSWAP 代幣與閃電貸借出的 WBNB 轉給攻擊者；

3. 而在完成整個兌換流程并更新池子中代幣數量前，會根據池子的 tokenWeight0 參數是否為 50 來選擇不同的算法來檢查池子中的代幣數量是否符合預期；

4. 由于 vSwap 合約的 tokenWeight0 參數設置為 70，因此將會采用第二種算法對池子中的代幣數量進行檢查；

5. 而漏洞的關鍵點就在于采用第二種算法進行檢查時，可以通過特殊構造的數據來使檢查通過；

6. 第二種算法是通過調用 formula 合約的 ensureConstantValue 函數并傳入池子中緩存的代幣數量與實時的代幣數量進行檢查的；

7. 在通過對此算法進行具體分析調試后我們可以發現，在使用 WBNB 兌換最小單位(即 0.000000000000000001) vBSWAP 時，池子中緩存的 WBNB 值與實時的值之間允許有一個巨大的波動范圍，在此范圍內此算法檢查都將通過；

8. 因此攻擊者可以轉入 WBNB 進行最小單位的 vBSWAP 代幣兌換的同時，將池子中的大量 WBNB 代幣通過閃電貸的方式借出，由于算法問題，在不歸還閃電貸的情況下仍可以通過 vSwap 的檢查；

9. 攻擊者只需要在所有的 vSwap 池子中，不斷的重復此過程，即可將池子中的流動性盜走完成獲利。詳情見原文鏈接。[5/8/2021 10:44:36 AM]

慢霧科技與 OK 資本達成戰略合作:慢霧科技與 OK 資本達成戰略合作，為 OK 資本投資的全球優質區塊鏈創業項目提供智能合約安全審計服務，避免項目出現重大安全問題。此前，慢霧科技也曾對 OK 資本的戰略合作伙伴 OKEx 數字資產交易平臺上的數百個基于以太坊 ERC20 的項目進行過智能合約 batchOverflow 問題的排查，排除安全隱患。[5/25/2018 12:00:00 AM]