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

Author：

Block

Time：2021/9/18 23:35:18

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

Flare：FlareDrop.02已啟動申領:金色財經報道，Flare Network在社交媒體宣布FlareDrop.02已啟動申領，所有持有 Wrapped FLR (WFLR) 的錢包用戶現在都可以進行申領，Flare Network提醒用戶需要將錢包連接到Flare官方門戶或設置自動申領可以獲得代幣。另據Coingecko數據顯示，Flare（FLR）價格約為0.035美元，過去24小時下挫1.8%，當前市值超過4.5億美元。[2023/4/17 14:07:14]

韓國交易所Fobligate宣布支持Flare Network的Spark空投:韓國加密貨幣交易所Fobligate宣布將支持Flare Network的Spark空投，幫助將Spark代幣分發至XRP社區。Spark代幣與XRP數量一比一發放，將在快照后直接發送至用戶的錢包。8月12日，Flare宣布，所有能夠申領Spark代幣的XRP地址的快照將于12月12日完成。在EVM的幫助下，Flare試圖將智能合約引入XRP，同時利用以太坊網絡進行構建。（U.Today）[2020/11/16 20:58:41]

DeFi協議Flamingo暫停Mint Rush:金色財經報道，據官方Medium文章，基于Neo的互操作性全棧DeFi協議Flamingo表示，由于與Neoline錢包相關的技術問題，Flamingo團隊決定暫停目前的Mint Rush。已經在北京時間2020年9月25日22:11，區塊高度6212123進行了快照。Mint Rush將盡快重新啟動，Flamingo團隊正在與錢包服務提供商一起制定計劃。[2020/9/26]

AT&T因安全漏洞導致客戶加密貨幣被盜遭起訴

9月20日消息,AT&T客戶JamarquisEtheridge上周三在德克薩斯州南區地方法院對AT&TInc.和AT&TMobilityLLC提起訴訟.

Block Chain：2021/9/20 23:37:41

DeFi 概念板塊今日平均漲幅為1.90%

金色財經行情顯示,DeFi 概念板塊今日平均漲幅為1.90%。47個幣種中37個上漲,10個下跌,其中領漲幣種為：SRM(+16.45%)、KCASH(+14.06%)、YFII(+12.13%).

Block Chain：2021/9/19 23:36:02

美CFTC專員：CFTC需要從國會獲得更多加密貨幣執法資源

金色財經報道,美國商品期貨交易委員會專員Dan Berkovitz表示,雖然該機構適用于期貨合約、掉期和期權交易,但它需要額外的資源來處理加密資產的現貨市場.

Block Chain：2021/9/22 16:56:38

歐洲央行：歐洲央行即將進行的 CBDC 測試并不能保證最終推出數字歐元

金色財經報道,歐洲央行 (ECB) 的一位重要官員表示,歐洲央行即將進行的 CBDC 測試并不能保證最終推出數字歐元.

Block Chain：2021/9/22 16:58:12