Force DAO 代幣增發漏洞簡析

據慢霧區消息，DeFi 量化對沖基金 Force DAO 項目的 FORCE 代幣被大量增發。經慢霧安全團隊分析發現： 在用戶進行 deposit 操縱時，Force DAO 會為用戶鑄造 xFORCE 代幣，并通過 FORCE 代幣合約的 transferFrom 函數將 FORCE 代幣轉入 ForceProfitSharing 合約中。但 FORCE 代幣合約的 transferFrom 函數使用了 if-else 邏輯來檢查用戶的授權額度，當用戶的授權額度不足時 transferFrom 函數返回 false，而 ForceProfitSharing 合約并未對其返回值進行檢查。導致了 deposit 的邏輯正常執行，xFORCE 代幣被順利鑄造給用戶，但由于 transferFrom 函數執行失敗 FORCE 代幣并未被真正充值進 ForceProfitSharing 合約中。最終造成 FORCE 代幣被非預期的大量鑄造的問題。 此漏洞發生的主要原因在于 FORCE 代幣的 transferFrom 函數使用了`假充值`寫法，但外部合約在對其進行調用時并未嚴格的判斷其返回值，最終導致這一慘劇的發生。慢霧安全團隊建議在對接此類寫法的代幣時使用 require 對其返回值進行檢查，以避免此問題的發生。

意大利加密貨幣交易所Young Platform獲得法國數字資產服務提供商牌照:金色財經報道，意大利加密貨幣交易所 Young Platform 已獲得法國金融市場管理局頒發的法國數字資產服務提供商許可證。Young Platform 于 2018 年創立，于 2022 年完成了 Azimut 領投的 1600 萬歐元融資。[2023/1/5 9:52:55]

FORGE向Maker申請3000萬DAI債務融資投票將在兩天后結束:7月12日消息，Maker表示，Societe Generale數字資產子公司FORGE提出了3000萬DAI債務融資，治理現在正在投票是否批準這項交易，并決定是否將OFH代幣添加為一種新的現實世界資產抵押品類型。投票將在兩天后結束。OFH代幣是由法國興業銀行的歐元計價擔保債券支持的數字擔保債券。

如果這個新的抵押品獲得批準，Maker將向FORGE提供3000萬DAI貸款。[2022/7/13 2:08:46]

Cosmos 開發公司 Informal Systems 計劃起草第 2 階段白皮書:據官方消息，Cosmos 開發公司 Informal Systems 宣布正在開發一種可共享安全性的跨鏈驗證機制，這是一種 IBC 數據包協議，允許 Hub 上已質押的 ATOM 驗證者可選擇為其他鏈提供安全性。目前，Cosmos 計劃起草第 2 階段白皮書，根據該起草白皮書，Cosmos 提出了父子鏈共享安全性的機制，父鏈上（Parent blockchain）的驗證者可為一個新的區塊鏈（子鏈）提供安全保障，驗證者會在父鏈上質押資產 ATOM，其必須在子鏈上行為正確，一旦在子鏈上產生惡意行為，都會導致父鏈上的大幅度削減。此外，Cosmos 的 Hub 自帶 AMM 模塊。[2021/2/21 17:36:05]