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

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

韓國SK電訊旗下元宇宙ifland將新增加密貨幣經濟系統，擬下半年進軍80個國家:5月10日消息，韓國SK電訊在今日召開的2022年第一季度財報電話會議上，SK電訊元宇宙負責人 Yang Maeng-seok表示，“今年第一季度，為了加強元界空間通信的核心價值，ifland改進了以會議和社區功能為重點的服務。

ifland第二季度將增加開放平臺和加密貨幣經濟系統等新功能，以塑造社交元宇宙。”他補充道，“通過開放平臺，我們可以直接創建頭像和空間，我們計劃在下半年進軍80個國家，提供基于加密經濟系統的支持和內容交易。”

此前消息，韓國電信巨頭SK Telecom擬在80個國家推出Ifland元宇宙服務。(News1)[2022/5/10 3:04:02]

Flare推出金絲雀網絡Songbird，SGB代幣已分發到所有地址:9月21日消息，智能合約平臺Flare Network宣布將推出金絲雀網絡Songbird，SGB代幣已分發到所有地址。Songbird目前處于觀察模式。FTSO合約將在觀察模式期間部署，FTSO系統將啟動。觀察模式旨在讓交易所、FTSO數據提供商和開發人員以安全的方式部署在網絡上。在此期間，網絡可能會從創世回滾和/或重新部署。[2021/9/21 23:40:13]

Flashbots發布V0.2版引入捆綁合并功能:研究MEV（礦工可提取價值）問題的機構Flashbots發布V0.2版本，并引入捆綁合并功能。Ethermine開采了第一個多捆綁區塊。Flashbots產品經理RobertMiller表示，這意味著Flashbots礦工現在可以在每個區塊中挖掘多個捆綁包。此前，每個塊只能有一個捆綁包。自Flashbots推出以來，超過10萬個捆綁包已包含在鏈中，從而提高了MEV提取效率，并為搜尋者和礦工帶來了部分利潤。從歷史數據來看，每個Flashbots區塊平均可帶來約0.2ETH的利潤，預計捆綁合并將使每個區塊的利潤大幅增長。捆綁合并還為普通用戶提供了一個可頻繁通過Flashbots包含他們交易的機會，并可不再與機器人競爭成為一個區塊中的唯一捆綁。[2021/5/25 22:40:53]