[Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF]9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。
Cloudflare计划运行PoS验证器节点，以支持以太坊的开发和部署:5月17日消息，据官方博客，网络基础设施和网站安全公司Cloudflare计划在网络上运行PoS验证器节点，以支持以太坊的开发和部署。在接下来的几个月里，随着社区通过合并实现从PoW到PoS的过渡，Cloudflare将在Cloudflare全球网络上启动完全质押的以太坊验证器节点，同时作为实验的一部分，Cloudflare没有也不会在网络上运行自己的PoW基础设施。[2022/5/17 3:20:43]
Coinbase和Kraken瑞波币用户或将错过Flare Networks的Spark代币空投:还有不到两周时间，主流加密货币交易所和钱包中持有瑞波币（XRP）用户都可获得瑞波合作伙伴Flare Networks的Spark代币空投，但由于准备不足，Coinbase瑞波币用户可能会错过这场盛宴。根据Flare Network上周公布的Spark代币分配方案，他们将于12月发布基于XRP Ledger的代币Spark，空投将在定于12月12日进行的地址快照之后进行，瑞波币投资者可以为他们持有的每一个XRP索取一个免费的Spark代币。但根据Flare Network披露的最新消息称，加密货币交易所Coinbase几乎没有与之沟通，双方也没有就本次空投讨论过合作。据悉，Flare Network已经向Coinbase用户发送了通知信息，其中告知他们可能会错过本次空投，因为Coinbase准备时间很短。除了Coinbase之外，加密货币交易所Kraken的瑞波币用户也可能会因同样问题错过本次空投。截止本文撰写时，Coinbase官方尚未就此事做出回应。（decrypto）[2020/11/30 22:32:29]
动态 | 错误的软件部署导致 Cloudflare 全球宕机:据悉，北京时间7月2日21:50分左右，Cloudflare经历了一次全球性的网络宕机，用户访问使用了Cloudflare的网站出现502错误。此次宕机原因是Cloudflare在新的Web应用层防火墙(WAF）中部署了一个配置错误的规则，且这些规则一次性在所有节点上部署，从而导致了全球大面积宕机。Cloudflare工程师已经在第一时间修复了此问题，目前Cloudflare相关服务已恢复正常。[2019/7/3]
郑重声明： Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。