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

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

原创文章,作者:空投帮,如若转载,请注明出处:https://www.kongtoubi.org/60880.html

发表评论

登录后才能评论