CFF:Flashbots 核心贡献者等人发表新论文,研究 DeFi 智能合约经济安全的形式化验证框架 CFF

链闻消息,Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework的新论文,这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示,CFF具有三个关键特性,合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标,开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外,CFF框架引入了一个新的DeFi合约经济安全概念,可提取价值。团队成员通过对Uniswap、UniswapV2、SushiSwap和MakerDAO构建了模块化的、可读的、可组合的CFF模型,验证了在没有明确编程攻击策略的情况下,CFF平均每月发现5600万美元的EV。

Flare Network将于1月9日启动TDE:金色财经报道,据 Flare Network 官方社交媒体,该项目将于世界标准时间 1 月 9 日 23:59 启动 TDE,目前已得到Atomic、Bybit、Bitfrost Wallet 等钱包支持 。上个月,美国最大的加密货币交易所 Coinbase 增加了对 FLR 的支持,Flare Network 旨在扩展以太坊虚拟机 (EVM) 的功能和实用性,并将安全、去中心化的智能合约引入其他协议,如 Ripple 和 Litecoin,为这些公链项目带来可扩展性。[2023/1/6 10:58:56]

yearn.finance创始人新推出的ENM项目遭遇Flash贷款攻击:9月29日,根据bluekirbyfi推特消息,yearn.finance创始人Andre Cronje刚推出的游戏项目Eminence(ENM)遭遇“Flash贷款”攻击,黑客将800万美元的资金返还给了yearn部署者合约。官方目前正在调查具体情况,并将重新分配受攻击的800万美元。对此,yearn.finance创始人Andre Cronje发推解释该攻击事件称,凌晨3点左右收到消息:1.近1500万美元被存入合约;2.全部的1500万美元被攻击者利用;3.800万已发送至Andre Cronje的部署者帐户。Andre Cronje解释称,该漏洞利用程序本身,在曲线上铸造了许多EMN,销毁EMN换取另一种货币,然后卖掉代币又换取EMN。据悉,Eminence(ENM)已发布测试合约,并独立于YFI。[2020/9/29]

CDN服务商Cloudflare宕机导致部分加密网站受影响 现已恢复:8月30日21:24左右,CDN服务商Cloudflare宕机导致一些网站关闭,其中包括加密网站。Cloudflare随后在23:00时恢复正常。Bitfinex首席技术官Paolo Ardoino在推特上表示,Cloudflare的中断导致了Bitfinex在该时间段的连接问题。[2020/8/31]

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

加密货币COM:XT关于上线BTRST的公告

尊敬的XT用户: XT即将上线BTRST,并在创新区开放BTRST/USDT交易对,详情如下:充值时间:已开交易时间:2021年9月16日19:00提现时间:待定“在Braintrust网络中的.

[0:15ms0-6:613ms