[Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF]9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。
相关快讯：
Flare Networks正在将智能合约引入XRP 未来或转向BTC和LTC等更多网络:Ripple合作伙伴和加密初创公司Flare Networks表示，它正在将智能合约引入XRP，同时Flare Networks联合创始人Hugo Philion表示，该公司未来可能会转向比特币和莱特币等其他网络。然而，Philion指出，Flare的本地代币Spark的持有者将拥有该协议是否扩展到其他区块链的最后决定权。Flare去年12月推出后，Spark投资者可以就治理进行投票。
此前消息，投资平台eToro目前正在与Ripple和Flare Networks就即将发布的Spark代币（Flare区块链的原生代币）进行对话。Flare Networks表示，计划在12月发布基于XRP Ledger的新代币Spark。XRP的投资者可以在12月12日为其持有的每枚XRP索取1枚免费Spark代币。（The Daily Hodl）[9/9/2020 12:00:00 AM]
动态 | Xpring投资Flare Networks以改善XRR用例:金色财经报道，Ripple投资部门Xpring宣布投资Flare Networks，以支持XRP的新用例。公告指出，对于XRP用例，Flare将使用XRP地址和加密系统，为XRP用户提供与Flare网络上的智能合约进行无缝交互的方式。Xpring认为，用户和开发人员希望在更多的用例中利用XRP，而Flare Network将为更多希望利用XRPL满足其需求的公司和开发人员提供这种能力。Flare Network目前正与其早期合作伙伴进行测试。[11/6/2019 12:00:00 AM]
动态 | 腾讯御见：勒索病利用Flash高危漏洞挂马攻击，中用户会被勒索比特币:腾讯安全御见威胁情报中心发文称，监测到Pardise(天堂)勒索病呈小范围爆发。此次攻击中，黑客通过在网站某些页面中嵌入带有CVE-2018-4878 Flash漏洞攻击代码的SWF文件，当网民访问网站时，触发恶意代码，导致电脑被勒索病感染，中用户会被勒索比特币。攻击者使用的漏洞工具威胁低版本Adobe Flash Player的用户，漏洞触发后会执行Shellcode，并通过Shellcode加载Pardise勒索病变种(被加密文件的文件后辍被修改为NewCore)。该病检测到用户为俄罗斯、乌克兰、白俄罗斯、哈萨克斯坦等国家时不会加密用户文件。建议用户在浏览某些高风险网站时，确保安全软件处于开启状态。[8/16/2019 12:00:00 AM]
郑重声明： Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。