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

鏈聞消息，Flashbots核心貢獻者PhilipDaian、康奈爾大學計算機安全博士生KushalBabel和MahimnaKelkar以及康奈爾理工學院教授AriJuels共同發布關于ClockworkFinanceFramework的新論文，這是一種DeFi智能合約經濟安全的形式化驗證框架。論文中表示，CFF具有三個關鍵特性，合約完備、以漸近最優的模型大小實現、在構造上窮舉攻擊。CFF可以支持多個目標，開發者對合約的經濟安全性分析、用戶對DeFi交易風險的分析、機器人或礦工對套利機會的優化。此外，CFF框架引入了一個新的DeFi合約經濟安全概念，可提取價值。團隊成員通過對Uniswap、UniswapV2、SushiSwap和MakerDAO構建了模塊化的、可讀的、可組合的CFF模型，驗證了在沒有明確編程攻擊策略的情況下，CFF平均每月發現5600萬美元的EV。

Flare Network與借貸平臺Ola Finance達成合作:2月11日消息，Flare Network與借貸平臺Ola Finance達成合作，將允許開發人員在Flare的金絲雀網絡Songbird上通過Ola Finance部署一套貸款網絡。Ola Finance將支持所有基于Flare的主流資產，包括Ripple（XRP）、Dogecoin（DOGE）、Litecoin（LTC）以及Algorand（ALGO）。（The Crypto Basic）[2022/2/11 9:45:24]

Flare Networks首席執行官：Spark (FLR)不是證券:Flare Networks首席執行官Hugo Philion表示，與POS不同，FLR不會被抵押用以確認Flare交易。FLR將用作以太坊兼容鏈和非以太坊鏈之間的跨區塊鏈互操作性的工具。Flare Networks本身將不參與可能利用其工具的應用的業務。因此，Flare不可能擁有“股票”和“證券”性質。Philion表示，團隊的工作重點是2021年5月啟動網絡（U.Today）[2021/1/14 16:11:02]

動態 | 1inch交易所1月前曾向bZx團隊披露FlashLoan的安全漏洞 但遭遇冷處理:去中心化交易所1inch.exchange發布官方博客文章表示，曾于今年1月向于本月連續遭到兩次套利操縱攻擊的DeFi貸款協議bZx團隊披露其FlashLoan功能的安全漏洞。1inch.exchange表示，當時來自bZx協議中3個資金池中的250萬美元用戶資金可能被惡意攻擊者在一次操縱交易中盜取，并準備智能合約來執行白帽攻擊以保護用戶資金。但在進行交易1weiDAI的概念驗證以確保漏洞的真實性，并聯系bZx團隊希望其立即停止智能合約后，bZx花了4個小時的時間處理該問題，并又花12個小時彌補該漏洞，并拒絕在構建補丁的過程中停止智能合約的建議，隨后bZx曾表示愿意聘請1inch.exchange團隊進行Flashloan的安全審計服務，但希望把每周2000美元的審計報價壓低至1500美元。1inch.exchange認為，bZx團隊在處理安全漏洞的反應是在冒著用戶資金被盜的風險下，避免負面關注，并有一定的掩飾該安全漏洞的行為。同時，1inch.exchange聲明，由于忙于構建1x.ag，所以該團隊并不是本月bZx價格操縱攻擊的幕后黑手。（鏈聞）[2020/2/21]

Tags：LARFlareAREBZXDOLLAR幣flare幣空投wearechainbZx Vesting Token

火星幣