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

9月18日消息,Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework(CFF)的新论文,这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示,CFF具有三个关键特性,合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标,开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外,CFF框架引入了一个新的DeFi合约经济安全概念,可提取价值(EV)。

上一篇:

下一篇:

官方微信

wxqrcode

联系我们

400-800-8888

在线咨询:点击这里给我发消息

邮件:admin@btc366.com

工作时间:提供7*24小时服务

免责声明: 币圈新闻网作为开放的信息发布平台,所提供的所有资讯与币圈新闻网观点和立场无关。我们对于网站及其内容不作任何类型的保证,网站所有区块链相关数据与资料仅供学习及研究之用,不构成任何投资、法律等其他领域的建议和依据。您需谨慎使用相关数据及内容,并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。