[Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF]9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。
Otherside社区发布首款小游戏“Flappy Koda”:金色财经报道，Yuga Labs旗下元宇宙项目Otherside社区宣布推出首款小游戏“Flappy Koda”，据悉这款游戏是由虚拟地块Otherdeed持有者KG_OG与Twitter用户“OtherskinsXYZ”合作开发，灵感来自广受欢迎的手机游戏 Flappy Bird，但 Flappy Koda 这款游戏并不是动画虚拟鸟为原型，而是以 Snorky the Koda 为特色，这个神秘生物需要通过“放屁”越过障碍物以获得神秘药水。[2022/10/8 12:49:21]
Flare Network：将在二季度Flare Network启动前整合LTC:1月8日，Flare Network官方在推特上表示，Flare将在第二季度Flare Network启动之前整合LTC。这将允许在以太坊风格的智能合约上使用LTC，并赋予LTC互操作性和可组合性。官方表示将减少Flare基础代币分配，以便可以将50亿FLR分配给LTC参与者，完整细节将在下周发布。[2021/1/8 15:40:48]
Ran Neuner：Flare并非在XRP协议上构建智能合约:CNBC主持人Ran Neuner发推称，太多的XRP持有者认为Flare正在XRP协议上构建智能合约。并不是这样的。这是一条全新的技术链，与现有协议无关。据此前消息，Coinbase宣布支持Flare Networks即将于12月12日为XRP持有人空投Spark（FLR）代币。[2020/12/7 14:22:46]
郑重声明： Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。