宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > DYDX > 正文

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

作者:

时间:1900/1/1 0:00:00

链闻消息,Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework的新论文,这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示,CFF具有三个关键特性,合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标,开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外,CFF框架引入了一个新的DeFi合约经济安全概念,可提取价值。团队成员通过对Uniswap、UniswapV2、SushiSwap和MakerDAO构建了模块化的、可读的、可组合的CFF模型,验证了在没有明确编程攻击策略的情况下,CFF平均每月发现5600万美元的EV。

基础设施提供商Flashbots推出新协议MEV-Share:2月16日消息,区块链研究和基础设施提供商Flashbots推出了一种名为MEV-Share的新协议,该协议将通过最大可提取价值 (MEV) 赚取的部分资金分配给以太坊用户,而不仅仅是验证者和区块构建者。这个新协议是由Flashbots 团队在其社区论坛上宣布的,目前仍处于提案阶段。

MEV-Share是一种新的协议,它允许以太坊用户从MEV产生的利润中受益,并成为交易供应链的一部分。Flashbots的产品负责人Robert Miller表示,通过引入一种称为“媒人”(matchmaker)的新实体,MEV-Share可以将来自搜索者的交易包与用户交易进行匹配,从而使搜索者能够进一步优化他们的 MEV 捕获工作。该团队表示,钱包地址等敏感的用户交易细节将保密。(The Block)[2023/2/16 12:11:53]

Coinbase将支持Flare Networks的Spark空投:据官方公告,Coinbase今日宣布将支持Flare Networks即将于12月12日为XRP持有人空投Spark(FLR)代币。Coinbase计划于Flare Networks启动后开启空投。[2020/12/6 14:10:31]

动态 | Ripple的ODL支付产品通过FlashFx平台扩展到澳大利亚:Ripple最近的一份报告显示,Ripple的ODL产品已经宣布通过支付平台FlashFX向澳大利亚扩展全球支付业务。(AMBCrypto)[2019/11/7]

标签:ARELASHFLASHASHCZSHARESB4 Flash MemoryFlashcoinLightening Cash

DYDX热门资讯
ZT创新板即将上线PORT

亲爱的ZT用户: ZT创新板即将上线PORT,并开启PORT/USDT交易对。具体上线时间如下:交易:2021年9月23日17:00?; PORT 项目简介:PortFinance旨在提供一整套货币市场产品.

1900/1/1 0:00:00
加密金融服务商AmberGroup计划两年内在美国直接上市

据南华早报9月23日消息,总部位于香港的全球化加密金融服务商AmberGroup正考虑未来两年内在美国直接上市,全球业务发展有助于其抵御有关生息产品的监管不确定性.

1900/1/1 0:00:00
BHEX关于上线BTC、ETH 1倍做空杠杆ETF交易对的公告

尊敬的社区用户: 为满足广大用户交易需求,BHEX将于2021年9月23日18:00在杠杆ETF交易区上线新的杠杆ETF产品: BTC1S/USDT ETH1S/USDT 以上全部币种的仓位管理费为:0.1%.

1900/1/1 0:00:00
欧易OKEx关于CELO、GALA、LON杠杆交易、余币宝及永续合约正式上线的公告

尊敬的欧易OKEx用户:欧易OKEx将于2021年9月24日18:00(HKT)?在网页端、APP端及API正式上线CELO、GALA的杠杆交易、余币宝及CELO、GALAUSDT永续合约.

1900/1/1 0:00:00
明星项目周报 | Cardano激活Alonzo硬分叉升级;Sorare完成6.8亿美元B轮融资(9.13-9.21)

9月13日-9月21日当周,明星项目进展中值得关注的事件有:Cardano成功完成Alonzo硬分叉升级,开启智能合约时代;Avalanche基金会完成2.3亿美元私募融资.

1900/1/1 0:00:00
美国监管全面盯梢稳定币,USDC们与银行博弈陷入不利

北京时间9月23日,加密货币市场在经历了两天的大跌后重新反弹,比特币在24小时内从39500美元附近最高反弹至44000美元上下。美联储最新的货币政策是驱动反弹的基本面之一.

1900/1/1 0:00:00