木星链 木星链
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)。

Uniswap Labs推出衡量AMM中池内LP竞争力的新指标FLAIR:6月6日消息,Uniswap Labs宣布推出一种衡量AMM中池内LP竞争力的新指标FLAIR(费用流动性调整的瞬时收益),旨在测量任意时间段内的任意数量的LP仓位,包括单个时间点。FLAIR可用于归因历史绩效,回测LP策略或优化新的流动性部署。[2023/6/6 21:18:20]

ENS与Cloudflare合作设置替代网关“.domains”,恢复用户对其Web3社交入口的访问:8月31日消息,以太坊域名服务ENS宣布与网络基础设施和网站安全公司Cloudflare合作,在“eth.domains”上设置了另一个替代网关,用户在ENS域名后面加上“.domains”或“.limo”就可使用一个基于Cloudflare IPFS网关的去中心化个人Web3社交入口。团队将继续努力恢复对“eth.link”的访问。

此前消息,ENSDAO于8月26日在Twitter上表示eth.link域名目前已过期导致无法访问,原因为该域名由已入狱的以太坊开发者Virgil Griffith所有,故无法获得其账户访问权限。[2022/8/31 12:59:20]

flash.sx闪电贷智能合约遭攻击,项目方发起提案更改黑客EOS账号权限以转回资产:官方消息,EOS Nation旗下闪电贷被黑客攻击后,项目方发起提案直接更改了黑客EOS账号权限转回资产。据悉,项目方发起的提案,把黑客地址权限改成了BP,BP通过后执行。此前消息,flash.sx闪电贷智能合约遭攻击,120万EOS和46.2万USDT被盗。[2021/5/15 22:05:44]

相关资讯
参议员Elizabeth Warren办公室将MakerDAO与已失败的早期实验项目The DAO混淆

9月21日消息,MakerDAO开发者和反加密参议员Elizabeth Warren办公室最近的对话揭示了一个令人担忧的问题,即他们对当前DeFi生态系统缺乏足够的了解。9月20日,社交媒体上开始流传一个截图展示了M...

区块链:2021/9/21 23:40:08
AMC院线美股盘前跌超5%

行情显示,AMC院线美股盘前跌超5%,此前公司宣布接受加密货币支付,比特币日内失守45000美元/枚。 AI Meta Club治理代币AMC已上线土耳其交易所CointTR:据官方公告,AI 元宇宙项目 A...

区块链:2021/9/20 23:38:46
Nexo CEO介绍其应对监管机构的计划,以避免步BlockFi和Celsius后尘

9月21日消息,加密货币借贷机构Nexo的首席执行官Antoni Trenchev表示,虽然美国监管机构已经率先向美国的贷款平台(BlockFi和Celsius)施压,但包括总部位于伦敦的Nexo在内,任何在美国开展...

区块链:2021/9/21 23:40:57
调查:四分之一的美国青少年愿意投资加密货币

9月19日消息,Junior Achievement USA的一项新调查显示,四分之一的美国青少年会通过股票市场投资加密货币。据悉,当被问及他们在有钱时的首选投资时,43%的青少年选择了股票市场,25%的人表示他们会...

区块链:2021/9/19 23:36:50
ETH跌破2900美元关口 日内跌幅为6.2%

火币全球站数据显示,ETH短线下跌,跌破2900美元关口,现报2896.0美元,日内跌幅达到6.2%,行情波动较大,请做好风险控制。 Ethereum、OpenSea、LooksRare位列近30天公链和DA...

区块链:2021/9/21 23:39:59
USDT占比特币交易比重约为50.73%

金色财经消息,据cryptocompare数据显示,目前比特币交易情况按照交易币种排名,排名名第一的是USDT,占比为50.73%;排名第二的是美元,占比为18.3%;排名第三的是BUSD,占比为7.24%;排名第四...

区块链:2021/9/21 23:40:01
AT&T因安全漏洞导致客户加密货币被盗遭起诉

9月20日消息,AT&T客户JamarquisEtheridge上周三在德克萨斯州南区地方法院对AT&TInc.和AT&TMobilityLLC提起诉讼。Etheridge的律师RichardE.Brown提交的法庭...

区块链:2021/9/20 23:37:41
DeFi 概念板块今日平均涨幅为1.90%

金色财经行情显示,DeFi 概念板块今日平均涨幅为1.90%。47个币种中37个上涨,10个下跌,其中领涨币种为:SRM(+16.45%)、KCASH(+14.06%)、YFII(+12.13%)。领跌币种为:FOR...

区块链:2021/9/19 23:36:02
BTC突破42000美元关口

火币全球站数据显示,BTC短线上涨,突破42000美元关口,现报42021.82美元,日内跌幅达到2.46%,行情波动较大,请做好风险控制。 BTC在15分钟内涨幅超过1.00%:据火币全球站数据显示,BTC...

区块链:2021/9/22 16:56:56
美国SEC主席:证券法规给予SEC监管加密货币的权利

美国证券交易委员会主席根斯勒称,证券法规给予SEC监管加密货币的权利。(金十) 美国SEC需要四个月时间回应Coinbase的规则制定请求:金色财经报道,美国证券交易委员会(SEC)表示,它预计需要120天来...

区块链:2021/9/22 0:15:11
证券代币化平台Polymath计划于10月13日上线Polymesh主网

9月21日,在Messari的Mainnet2021会议中,证券代币化平台Polymath宣布将在10月13日上线其区块链网络Polymesh的主网。此前Polymath已宣布采用Parity的Substrate框架...

区块链:2021/9/21 23:40:29
PlatON2.0白皮书披露隐私计算网络Metis,创造安全的隐私计算范式

9月18日消息,近日,隐私AI计算网络PlatON在其社交平台发布了PlatON 2.0 白皮书第三部分的详细内容,进一步披露PlatON2.0的整体技术架构. 据了解,PlatON 2.0的隐私AI计算网...

区块链:2021/9/18 23:35:08