Flashbots核心貢獻者等人發表新論文，研究DeFi智能合約經濟安全的形式化驗證框架CFF

9月18日消息，Flashbots核心貢獻者PhilipDaian、康奈爾大學計算機安全博士生KushalBabel和MahimnaKelkar以及康奈爾理工學院教授AriJuels共同發布關于ClockworkFinanceFramework（CFF）的新論文，這是一種DeFi智能合約經濟安全的形式化驗證框架。論文中表示，CFF具有三個關鍵特性，合約完備、以漸近最優的模型大小實現、在構造上窮舉攻擊。CFF可以支持多個目標，開發者對合約的經濟安全性分析、用戶對DeFi交易風險的分析、機器人或礦工對套利機會的優化。此外，CFF框架引入了一個新的DeFi合約經濟安全概念，可提取價值（EV）。

公鏈Flare Network正式開啟為期3年的代幣分配:3月18日消息，公鏈Flare Network正式開啟為期3年的代幣分配。

據悉，公鏈Flare的社區以93%的多數票通過了其首個Flare改進提案，根據提案，Flare剩余的85%代幣，共計242億枚FLR將按比例分配給所有封裝FLR（WFLR）持有者，所有人均可參與。成員可通過Flare門戶網站、BiFrost錢包、高級用戶也可以通過直接與智能合約互動等渠道申領。[2023/3/18 13:12:18]

Wing將于今日14:00進行系統升級 將YFI添加到FlashPool中:1月14日，基于本體的跨鏈信用DeFi平臺Wing Finance官方宣布，將于北京時間1月14日14:00開始進行系統升級。根據WIP-19提案，此次升級計劃將YFI添加到FlashPool中。升級預計將持續3小時。[2021/1/14 16:08:03]

yearn.finance創始人新推出的ENM項目遭遇Flash貸款攻擊:9月29日，根據bluekirbyfi推特消息，yearn.finance創始人Andre Cronje剛推出的游戲項目Eminence（ENM）遭遇“Flash貸款”攻擊，黑客將800萬美元的資金返還給了yearn部署者合約。官方目前正在調查具體情況，并將重新分配受攻擊的800萬美元。對此，yearn.finance創始人Andre Cronje發推解釋該攻擊事件稱，凌晨3點左右收到消息：1.近1500萬美元被存入合約；2.全部的1500萬美元被攻擊者利用；3.800萬已發送至Andre Cronje的部署者帳戶。Andre Cronje解釋稱，該漏洞利用程序本身，在曲線上鑄造了許多EMN，銷毀EMN換取另一種貨幣，然后賣掉代幣又換取EMN。據悉，Eminence（ENM）已發布測試合約，并獨立于YFI。[2020/9/29]