链闻消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值。团队成员通过对Uniswap、UniswapV2、SushiSwap和MakerDAO构建了模块化的、可读的、可组合的CFF模型，验证了在没有明确编程攻击策略的情况下，CFF平均每月发现5600万美元的EV。
Flare for Linux将于下周推出测试版本:Flare for Linux将于下周推出Beta版，测试版是基于 Docker 的应用程序部署工具，将在“一周左右”内开放进行公开测试。（U.today）[2021/6/10 23:27:53]
机构级DeFi项目Flare Finance即将推出测试计划:4月12日消息，基于Flare Network的机构级DeFi项目Flare Finance发推称，即将开启Flare Finance BETA Program（测试计划），FlareMutual、FlareLoans、FlareMine也即将推出。[2021/4/12 20:10:23]
Flamingo已开启USDT和WBTC相关资产迁移，FLM质押奖励即将开始:3月12日消息，基于Neo的互操作性全栈DeFi协议Flamingo宣布，USDT和WBTC相关资产的迁移现已启动。大约一个小时后，FLM质押奖励将开始。[2021/3/12 18:39:58]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。