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

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

Wing社區發起提案提議添加YFI至Flash Pool并開啟借貸業務:12月15日，基于本體的跨鏈DeFi平臺Wing官方宣布，社區已發起WIP-19號提案，提議將Yearn（pYFI）作為資產添加到Flash Pool中以開啟借貸業務。[2020/12/15 15:16:35]

OKEx第四期質押挖礦Flamingo(FLM)正式開啟:據官方消息，OKEx Jumpstart第4期質押挖礦項目Flamingo(FLM)挖礦已正式開啟，本次挖礦幣種為2,500,000枚FLM，挖礦周期為9月25日21:00 -10月5日21:00（HKT）。本次據了解，本次個人挖礦質押總量上限為2000枚OKB，無最低質押門檻。挖礦收益實時計算，用戶可隨時提取至資金賬戶，也可隨時解押。挖礦結束后，剩余未解押OKB將自動解押并解凍。此外，9月28日FLM開啟鏈上轉賬后，OKEx將同步開啟充值、提現與交易功能。

公開資料顯示，Flamingo(FLM)是一個基于Neo的全棧DeFi協議，由5個模塊組成。包括跨鏈資產網關Wrapper、鏈上資產流動性交易所Swap、一站式資管中心Vault、基于AMM的永續合約交易平臺Perp，以及去中心化治理機制DAO。FLM是Flamingo的治理通證，基于Flamingo項目參與者的貢獻度進行100%分配，無任何的預售、預挖及團隊分配。[2020/9/25]

Flare Networks正在將智能合約引入XRP 未來或轉向BTC和LTC等更多網絡:Ripple合作伙伴和加密初創公司Flare Networks表示，它正在將智能合約引入XRP，同時Flare Networks聯合創始人Hugo Philion表示，該公司未來可能會轉向比特幣和萊特幣等其他網絡。然而，Philion指出，Flare的本地代幣Spark的持有者將擁有該協議是否擴展到其他區塊鏈的最后決定權。Flare去年12月推出后，Spark投資者可以就治理進行投票。

此前消息，投資平臺eToro目前正在與Ripple和Flare Networks就即將發布的Spark代幣（Flare區塊鏈的原生代幣）進行對話。Flare Networks表示，計劃在12月發布基于XRP Ledger的新代幣Spark。XRP的投資者可以在12月12日為其持有的每枚XRP索取1枚免費Spark代幣。（The Daily Hodl）[2020/9/9]

Tags：LARAREFlareWORSpace DollarAREAflare幣和apt幣REI Network

酷幣交易所