[Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF]9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。
以太坊基础设施服务商Flashbots以10亿美元估值融资6000万美元:金色财经报道，以太坊基础设施服务Flashbots已筹集约6000万美元，加密媒体The Block称该轮的估值为10亿美元，Flashbots发言人拒绝对估值做出回应。
据报道，该公司于 7 月 21 日向美国证券交易委员会提交文件，称已筹集到其寻求总额中的约 3040 万美元。一位知情人士透露，另外两份文件预计将在未来几天公开，这将显示该公司筹集的总额。根据一封电子邮件，该公司确认，由于“领先的风险投资公司、Layer-2 网络”、天使投资者、去中心化交易所和应用程序以及 MEV 供应链参与者的参与，因此完成了这次B轮融资。
据悉，这笔资金将用于开发Suave平台，该平台允许用户在区块链上“更便宜、更隐私地进行交易”。[2023/7/26 15:58:19]
Flare验证者FTSO.EU支持降低XRP Ledger账户储备门槛:FTSO.EU是首批确认Flare（FLR）交易的验证服务（“oracle”）之一，后者是一个XRPL“实用型分叉”。FTSO.EU支持降低对XRP Ledger进行某些操作所需的“最低准备金”的提议。根据FTSO.EU最新的推文。其验证者将支持降低XRPL账户门槛的提议。目前，一个XRPL帐户需要存储至少25枚XRP作为“帐户储备”。与此同时，有关“将这一门槛降低到10 XRP”的提案已被提交。另外，提案指出应该为XRPL帐户存储的每个对象额外锁定的“所有者储备”可能会降低到2 XRP。（U.Today）[2021/5/10 21:45:19]
Bitrue与Gala Games、Flare合作，将推出GALA/XRP交易对:1月30日消息，加密货币交易所Bitrue日交易额高达数亿美元，Bitrue一直在寻找新的资产供用户利用。基于区块链的游戏平台Gala Games为其游戏内NFT购买引入Flare。Bitrue宣布与Gala Games、Flare达成合作，GALA NFT将在Flare区块链上铸造和交易。Bitrue还将支持即将推出的GALA/XRP交易对。（Bitcoinist）[2021/1/30 18:28:09]
郑重声明： Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。