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

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

Flare API 門戶已集成BNB Chain:4月14日消息，公鏈Flare Network宣布其Flare API 門戶已集成BNB Chain。據悉，Flare API已適用于比特幣、以太坊、BNB Chain、狗狗幣、萊特幣、XRPL和Algorand，以及Flare的網絡Flare、 Songbird、Coston1和Coston2。該API門戶計劃為Flare集成的每個網絡添加API。[2023/4/14 14:03:57]

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]

Flamingo已開啟USDT和WBTC相關資產遷移，FLM質押獎勵即將開始:3月12日消息，基于Neo的互操作性全棧DeFi協議Flamingo宣布，USDT和WBTC相關資產的遷移現已啟動。大約一個小時后，FLM質押獎勵將開始。[2021/3/12 18:39:58]