欢迎访问中科网!

中科网

您现在的位置是:中科网 > 问答 >

问答

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

发布时间:2021-09-18问答评论
链闻消息,Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar与康奈尔理工学院教授AriJuels一同发布关于ClockworkFinanceFramework(CFF)的新论文,这是一种Decen

除此之外,CFF 框架引入了一个新的 Decentralised Finance 合约经济安全定义,可提取价值 (EV)。团队成员通过对 Uniswap、Uniswap V第二名:SushiSwap 和 MakerDAO 构建了模块化的、可读的、可组合的 CFF 模型,验证了在不存在清晰编程攻击战略的情况下,CFF 平均每月发现 5600 万USD的 EV。

链闻消息,Flashbots 核心贡献者 Philip Daian、康奈尔大学计算机安全博士生 Kushal Babel 和 Mahimna Kelkar 与康奈尔理工学院教授 Ari Juels 一同发布关于 Clockwork Finance Framework (CFF)的新论文,这属于一种 Decentralised Finance 智能合约经济安全的形式化验证框架。论文中表示,CFF 具备有三个关键特质,合约完备、以渐近最优的模型大小达成、在架构上穷举攻击。CFF 能够支持多个目的,开发者对合约的经济安全性解析、使用者对 Decentralised Finance 买卖危害的解析、机器人或矿工对套利时机的优化。

广告位