2021-09-18 16:24:00
【Flashbots 核心贡献者等人发表新论文,研究 DeFi 智能合约经济安全的形式化验证框架 CFF】9月18日消息,Flashbots 核心贡献者 Philip Daian、康奈尔大学计算机安全博士生 Kushal Babel 和 Mahimna Kelkar 以及康奈尔理工学院教授 Ari Juels 共同发布关于 Clockwork Finance Framework (CFF)的新论文,这是一种 DeFi 智能合约经济安全的形式化验证框架。论文中表示,CFF 具有三个关键特性,合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF 可以支持多个目标,开发者对合约的经济安全性分析、用户对 DeFi 交易风险的分析、机器人或矿工对套利机会的优化。此外,CFF 框架引入了一个新的 DeFi 合约经济安全概念,可提取价值 (EV)。
FutureGuildGames 09-18 14:30
链闻ChainNews 09-18 15:10
Mint Ventures 09-18 14:28
KSwapFinance 09-18 14:25
波浪Blocklike 09-18 14:15
深链财经 09-18 13:46
NA爱好者 09-18 10:42
彩云666 09-18 10:49
文章汇 09-18 10:27
区块链日报 09-17 22:28