[Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF]9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。
Truflation CEO：区块链提供了透明的实时通胀指标:金色财经报道，Truflation首席执行官Stefan Rust表示，区块链提供了透明的实时通胀指标。[2023/6/2 11:53:11]
Amplify推出抗通胀比特币ETF「Inflation Fighter ETF (IWIN)」:2月15日消息，尽管近期市场低迷，但 Amplify ETF 的负责人仍看好比特币作为对冲通胀的工具，并计划在该公司最新的交易平台交易基金中增加对数字资产的敞口。该投资机构本月早些时候已经推出了新基金 Inflation Fighter ETF (IWIN)，旨在确定能够抵御通货膨胀的股票和商品，比如农业、能源、贵金属和比特币。IWIN 的比特币敞口上限为净资产的 20%，包括芝加哥商品交易所 (CME) 的比特币期货产品和灰度比特币信托 (GBTC)，但该基金不会直接持有比特币，不过 Christian Magoon 透露，该基金对 GBTC 和 CME 比特币期货的分配可能会随着时间的推移逐渐增加。[2022/2/15 9:52:07]
Wing将于今日18时暂停InclusivePool和FlashPool的使用:Wing Finance在推特表示，Wing将于今日18时开始进行后端系统优化，大约需要1个小时。在此期间，平台将暂时中止InclusivePool和FlashPool的使用。升级完成后，所有功能将恢复正常。[2020/12/17 15:33:13]
郑重声明： Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。