月亮链 月亮链
Ctrl+D收藏月亮链

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

作者:

区块链

时间:2021/9/18 23:35:18

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

LooksRare收购NFT分析工具Flava Tools:11月4日消息,NFT交易市场LooksRare宣布收购NFT分析工具Flava Tools。

据悉,Flava Tools是OpenSea的Chrome扩展程序,LooksRare将通过收购为交易者提供收藏和投资组合工具。[2022/11/4 12:16:11]

Cloudflare宣布支持以太坊合并,并上线支持G?rli和Sepolia的测试网网关:9月14日消息,云加速服务商Cloudflare宣布支持以太坊合并,并上线支持G?rli和Sepolia的测试网网关。

此前5月17日,Cloudflare在其官方博客发文表示,将对采用PoS共识的下一代Web3网络进行积极实验,并将在Cloudflare全球网络上启动并完全质押以太坊验证节点。[2022/9/14 13:28:48]

动态 | 海外知名CDN服务商Cloudflare部分节点出现故障:据慢雾情报,海外知名CDN服务商Cloudflare部分节点出现故障,无法使用。数字货币行业相关平台应注意风险。[2019/12/12]

相关资讯
Crypto.com将数字资产保单提高至7.5亿美元

9月20日消息,数字货币交易所Crypto.com拓展了其保单,以覆盖价值高达7.5亿美元的数字资产,为该平台的1000万用户提供更多保护。Crypto.com周一宣布,新保单于9月6日生效,将得到劳合社(Lloyd...

区块链:2021/9/20 23:39:00
《财富》杂志:已出售超过200件NFT

金色财经报道,据《财富》披露,该杂志目前已出售超过200件NFT。启动NFT销售由现任主编Brian O’Keefe主导,他最先邀请数字艺术家pplpleasr设计封面后作为一系列NFT在OpenSea上售卖。据悉,...

区块链:2021/9/18 23:35:27
AsiSos将于9月19日上线进入亚太地区市场

据官方消息,AsiSos将于9月19日上线进入亚太地区市场, 据悉,AsiSos是一个以元宇宙+NFT+DeFi+游戏模式为支撑的去中心链上游戏,一个让现实与虚拟的连接高效的岛屿田园风格游戏体验,由美国游戏...

区块链:2021/9/18 23:35:32
Fei Protocol将添加到DeFi借贷平台Aave

9月20日消息,算法稳定币项目Fei Protocol通过投票将添加到DeFi借贷平台Aave,DeFi用户可用Aave上支持的20种代币作为抵押品借出FEI。提案中表示,由于FEI是早期项目,因此FEI不可作为抵押...

区块链:2021/9/20 23:37:55
汉堡王发起“Keep It Real Meals”NFT活动

9月22日消息,汉堡王宣布与NFT市场Sweet合作推出一项“Keep It Real Meals”的NFT活动,将会发布QR码于近600万个餐盒上,解锁数字收藏品,该活动是与名人Nelly、Anitta和LILHU...

区块链:2021/9/22 16:58:33
巴西最大投资银行BTG Pactual将推出比特币和以太坊买卖服务

9月20日消息,巴西最大投资银行BTG Pactual正在通过一个名为Mynt的新平台推出比特币和以太坊直接买卖服务。BTG Pactual 提供财富管理、企业贷款和资产管理服务,其年收入约为20亿美元,管理资产规模...

区块链:2021/9/21 23:39:16
BTC跌破43000美元关口 日内跌幅为1.95%

火币全球站数据显示,BTC短线下跌,跌破43000美元关口,现报42996.81美元,日内跌幅达到1.95%,行情波动较大,请做好风险控制。 BTC跌破34000美元关口 日内跌幅为2.79%:火币全球站数据...

区块链:2021/9/21 23:39:39
英国风险投资公司Coinsilium在加密合约平台RSK推出NFT

9月20日消息,英国风险投资公司Coinsilium(全称为Coinsilium Group Limited)周四在加密合约平台RSK Blockchain主网上推出了NFT Minter。Coinsilium表示:...

区块链:2021/9/20 23:38:13
Ergo拍卖行和ErgoUtils上的NFT作品将直接上传到IPFS

据官方消息,发布到Ergo拍卖行(Ergo Auction House)和ErgoUtils的NFT作品将直接上传到IPFS(星际文件系统)。这些NFT作品现在可永久保存在区块链上。另外,由于Ergo区块链避开了以太...

区块链:2021/9/18 23:35:21
《黑天鹅》作者:声称比特币可以对冲一切的人都是在欺诈

9月20日消息,《黑天鹅》(Black Swan)一书的作者Nassim Taleb发推称:“今日须知:出于投机目的,比特币可能引起一些人的兴趣,但任何声称比特币可以对冲一切(不管是金融或其他方面)的人,都肯定是欺诈...

区块链:2021/9/21 23:39:42
恒指一度跌逾4%,欧股下挫逾2%

行情显示,9月20日,因中秋假期休市的A股风平浪静,港股遭遇惨烈暴跌,恒指一度跌逾4%,中国恒大跌逾18%。截止发稿,欧股下挫逾2%,比特币失守45000美元/枚,日内跌幅4.8%。 数据:ETH平均区块间隔...

区块链:2021/9/20 23:38:12
荷兰银行ABN Amro加入Paxos区块链证券结算平台

9月22日消息,区块链基础设施公司Paxos宣布荷兰银行ABN Amro结算所已加入Paxos证券结算服务平台,该平台使用区块链结算美国上市股票交易。其他成员还包括美国银行、瑞信、Instinet、法国兴业银行和We...

区块链:2021/9/22 16:56:53