当前位置 : 首页 » 玻璃之窗 » 快讯信息 » 正文

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

放大字体  缩小字体 更新日期:2021-09-18  浏览次数:82
头条推荐:幼儿园塑胶地板,民办幼儿园逐渐完善的缩影
推荐简介:民办幼儿园一直是社会关注的焦点,民办幼儿园的迅猛发展也反映了一个时代的特征,现在入园难一直没有得到很好地解决,这也为民办幼儿园的发展带来了机遇,但开办一所幼儿园也不是那么容易的,尤其是涉及到了孩子的安全问题,更是触动着家长和老师的每一根神经,我们通过民办幼儿园选择地面材料的一个点来分析一下民办幼儿园是如何“自救”和“突破”的。现在80%以上的幼儿园都......
区快洞察消息,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 玻璃之窗