[DeFi锁仓总量跌破2000亿美元]金色财经报道，据DefiLlama数据显示，当前DeFi锁仓总量为1968.6亿美元。其中，排名前5的锁仓量排名前5的公链分别为以太坊（1153.5亿美元）、Terra（153.9亿美元）、、BSC（124.5亿美元）、Avalanche（108.6亿美元）、Fantom（79.9亿美元）。
Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF:9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。[2021/9/18 23:35:18]
Filecoin去中心化金融服务平台DeFIL正式上线币安智能链BSC:据最新消息，Filecoin去中心化金融服务平台DeFIL 2.0 于区块高度10525502正式上线币安智能链BSC，并同步开启所有功能，包括算力NFT和FILST铸造、eFIL跨链、流动性挖矿、质押借贷等。同时，defil于9月1日11:00 (UTC+8) ~9月6日 11:00 (UTC+8)期间推出《DeFIL 2.0正式上线BSC！10,000 DFL等你来赢！》活动。活动期间，在PancakeSwap上FILST净买入量（买入-卖出）＞0 FILST的用户即可按比例参与瓜分10,000 DFL奖励。
注：DeFIL 2.0在BSC上的交互需要用户在支持BSC的钱包应用中从以太坊切换为BSC网络，并且在交易所购买少量BNB转入钱包用作智能合约交互所需的Gas费用。[2021/9/1 22:51:51]
DeFi衍生品协议Vega在CoinList完成4300万美元社区代币销售:金色财经报道，去中心化衍生品交易协议Vega在CoinList的社区代币销售中筹集4300万美元。该项目于2019年启动，是一种以去中心化方式交易衍生品的第2层解决方案，预计将在今年第四季度上线交易。该团队表示，Vega软件允许用户以匿名方式启动衍生品市场，包括期货、掉期和期权，同时遵守相关规定并去除金融中间商。[2021/7/21 1:06:09]
郑重声明： DeFi锁仓总量跌破2000亿美元版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。