当前位置 : 首页 » 装修风格网 » 商机快讯 » 正文

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

放大字体  缩小字体 更新日期:2021-09-18  浏览次数:90
头条推荐:Audius 战略顾问 Cooper Turley 加入由 a16z 前合伙人创办的加密基金 Variant Fund
推荐简介:区快洞察消息,区块链音乐流媒体 Audius 战略顾问 Cooper Turley 发推称,加入由 a16z 前合伙人 Jesse Walden 创办的加密投资基金 Variant Fund,作为其最新的风险投资合伙人。除 Cooper Turley 外,Variant Fund 团…市场,a16z,Jake Chervinsky,Audius,人事,Spencer Noon,Jesse Walden,Variant Fund,Accomplice VC,Compound Labs,Atelier Ven......
区快洞察消息,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
Powered by 装修风格网