当前位置 : 首页 » 洁具之窗 » 商机快讯 » 正文

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

放大字体  缩小字体 更新日期:2021-09-18  浏览次数:85
头条推荐:DeFi 总锁仓量突破 1500 亿美元,创历史新高
推荐简介:区快洞察消息,据 DeBank 数据显示,全网 DeFi 总锁仓量超 1500 亿美元,截至昨日该数据为 1519.14 亿美元,创历史新高。当前锁仓金额排名前三的 DeFi 协议分别是 PancakeSwap (245 亿美元)、Maker (157 亿美元)、Curve (150…Maker,DeFi,Curve,总锁仓量,PancakeSwap......
区快洞察消息,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。

 
 
[ 洁具之窗搜索 ]  [ 加入收藏 ]  [ 告诉好友 ]  [ 打印本文 ]  [ 违规举报 ]  [ 关闭窗口 ]

 
广告位出租

广告位出租
 
 
推荐图文
推荐洁具之窗
点击排行
建材之都 | 建材头条 | 家具头条 | 家居之家 | 装饰之家 | 新基建头条 | 门窗之家 | 区块联盟 | 新基建之家 | 博一建材网 | 家具家居网 | 红木家具网 | 实木家具网 | 家具品牌网 | 家具批发网 | 定制家具网 | 花梨木家具 | 老榆木家具 | 欧式家具网 | 水曲柳家具 | 办公家具网 | 美式家具网 | 简欧家具网 | 全屋定制家具 | 鸡翅木家具 | 灯饰之家 | 电气之家 | 博一建材 | 老姚之家 | 卫浴之家 | 瓷砖之家 | 墙纸之家 | 区块链洞察 | 建材头条 | 双鸭山建材 | 鹤岗建材 | 鸡西建材 | 齐齐哈尔建材 | 太原建材 | 大同建材 | 阳泉建材 | 长治建材 | 晋城建材 | 朔州建材 | 晋中建材 | 运城建材 | 忻州建材 | 临汾建材 | 吕梁建材 | 雄安建材 |
建材 | 区块链 | 企业之家 | 移动社区 | (c)2015-2017 BO-YI.COM SYSTEM All Rights Reserved网站地图 粤ICP备14017808号
Powered by 洁具之窗