[Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF]9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。
Flare创始人：FIP 01提案可能使一些人感到被Flare背叛:金色财经报道，在今天发表在Twitter上的一个主题中，Flare Networks的CEO Hugo Philion分享了他对Flare提出的有争议的FIP 01提案的看法。该提案旨在改善代币分配模式，减少通货膨胀，同时鼓励参与网络。Philion首先承认这个提案可能使一些人感到被Flare背叛。
然后他解释，他们的意图不是忽略这些感觉，而是解决之前模式的问题，以促进代币从那些长期不想要的人那里更顺利地重新分配给那些想要的人。Phillioin还分享说，其设计灵感来自于比特币，并打算用比最初预期更多的代币来奖励那些建设基础设施的人。[2023/1/23 11:26:37]
Coinbase将因Flare空投问题面临集体诉讼:金色财经报道，根据向美国地方法院提起的诉讼，原告 Dallas Woody 已就 Coinbase 未能为其客户提供 Songbird 和 Flare 代币而对 Coinbase 提起集体诉讼。据称加密货币交易所公开同意在 XRP 持有者之间分配空投。[2023/1/17 11:16:15]
DeFi协议Flamingo暂停Mint Rush:金色财经报道，据官方Medium文章，基于Neo的互操作性全栈DeFi协议Flamingo表示，由于与Neoline钱包相关的技术问题，Flamingo团队决定暂停目前的Mint Rush。已经在北京时间2020年9月25日22:11，区块高度6212123进行了快照。Mint Rush将尽快重新启动，Flamingo团队正在与钱包服务提供商一起制定计划。[2020/9/26]
郑重声明： Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。