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

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

Flare API 门户已集成BNB Chain:4月14日消息,公链Flare Network宣布其Flare API 门户已集成BNB Chain。据悉,Flare API已适用于比特币、以太坊、BNB Chain、狗狗币、莱特币、XRPL和Algorand,以及Flare的网络Flare、 Songbird、Coston1和Coston2。该API门户计划为Flare集成的每个网络添加API。[2023/4/14 14:03:57]

Flashbots战略主管Hasu:在发生重大变化之前,DAO是不可投资的:7月22日消息,Flashbots战略主管Hasu发推表示正在缓慢但坚定地说服自己,在发生重大变化之前,DAO是不可投资的,其中重大变化包括所有者/经理分离并对股东负责、明确要求最大化股东价值、监管清晰。风投机构Spartan Group对冲基金部门Spartan Capital联合创始人兼合伙人Kelvin Koh也转推表示,“我现在已经停止投资DAO。越来越多的创始人利用这种结构来避免法律责任和问责制,但仍然参与其中。”[2022/7/22 2:30:23]

动态 | Ripple的ODL支付产品通过FlashFx平台扩展到澳大利亚:Ripple最近的一份报告显示,Ripple的ODL产品已经宣布通过支付平台FlashFX向澳大利亚扩展全球支付业务。(AMBCrypto)[2019/11/7]

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

金智博客

[0:15ms0-3:518ms