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

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

NEAR基金會任命Circle前高管Marieke Flament為新任CEO:12月24日消息，NEAR基金會宣布任命Circle和Mettle前高管Marieke Flament為其新任首席執行官，自2022年1月1日起生效。

NEAR表示，隨著加密貨幣和區塊鏈領域的持續發展，公司希望利用Flament高管級別的專業知識來推動公司的增長。

NEAR聯合創始人Illia Polosukhin表示，Flament將幫助其“加快下一階段的采用，并幫助我們實現愿景”。（Fintech Futures）[2021/12/24 8:02:20]

Flare CEO解釋為何Flare主網延期發布：涉及用戶群巨大，快速發布風險過高:Flare（FLR）首席執行官Hugo Philion回答了一些圍繞Flare（FLR）的問題。此前消息，Philion發帖表示在Flare主網運營開始之前，將在“金絲雀網絡”Songbird測試其某方面的功能。這意味著Flare主網發布被推遲到2020年第四季度。Philion強調，他的項目“沒有奢侈到可以”成為一個交易價值微不足道、開發活動少、社區規模小的“幽靈鏈”。據他說，Flare（FLR）的發布是加密領域中最“公開”的發布之一，因為涉及用戶群很大。快速發布的風險太高了，區塊鏈企業家和普通用戶都對他們的Dapp感興趣。因此，該團隊決定啟動一個更復雜的“真實”開發實驗，即Songbird。據悉，Songbird網絡擁有自己的治理和實用代幣SGB，SGB將分發給FLR分發的所有參與者。

Philion還強調，在Flare主網啟動后，他的團隊將不對Songbird和Flare本身的進展負責。所有計劃、協議升級和其他重大變化都將由社區決定。因此，其團隊不應該被視為云區塊鏈計算的供應商。而關于最近完成的1130萬美元戰略融資，Philion聲稱，這筆資金足夠他的工程師進行“多年”開發，所以下一輪融資并不是Flare的首要議程。注：6月初消息，Flare宣布完成1130萬美元的新一輪融資，由Kenetic Capital領投。（U.Today）[2021/7/26 1:15:02]

Flare Networks將集成狗狗幣:Flare Networks發推稱，Flare正在為網絡的啟動集成狗狗幣。狗狗幣可以與XRP、XLM和LTC一起在Flare上的智能合約中被使用。

據此前報道，Flare Network（FLR）區塊鏈主網發布預計將于6月底左右進行。相應地，FLR代幣將在6月中旬和7月中旬之間分發。FLR分發的確切日期和時間將取決于安全測試的最后階段何時完成。[2021/4/20 20:40:54]

Tags：LARFlareAREFLRstellar幣銀行動力flare幣和apt幣ARES價格flr幣最新消息

Uniswap