Defina即將上線歐易NFT市場

據官方消息，Defina英雄NFT盲盒將于12月17日20:00（HKT）上線歐易NFT市場，開啟搶購，其中有2款Defina與歐易合作限量特別版NFT神秘盲盒。本輪Defina英雄NFT盲盒發售數量4800個，每個定價0.33BNB。此次銷售采用白名單制，每個白名單用戶最多可Mint 4個NFT，建議用戶登陸網頁端搶購（暫不支持APP搶購）。

Defina Finance是一款區塊鏈元宇宙游戲項目，它利用并融合了DeFi（去中心化金融）和NFT（非同質化通證）技術讓玩家擁有真正屬于自己的游戲資產，并且采用了Play-to-Earn（邊玩邊賺）的游戲模式，使得玩家可以通過游戲和交易來獲得獎勵回報。

Terra鏈上DeFi鎖倉量突破230億美元，創歷史新高:金色財經報道，據DefiLlama數據顯示，當前Terra鏈上DeFi鎖倉量突破230億美元，為234.6億美元，創歷史新高，在公鏈中排名第2位僅次于以太坊。

目前，Terra鏈上DeFi鎖倉量排名前5的分別為：Anchor（115.6億美元）、Lido（78.7億美元）、Astroport（12.6億美元）、Stader（7.5億美元）、Terraswap（6.9億美元）。[2022/3/2 13:32:05]

數據：當前DeFi協議總鎖倉量為2566.5億美元:金色財經報道，據DefiLlama數據顯示，目前DeFi協議總鎖倉量2566.5億美元，24小時增加3.69%。鎖倉資產排名前五分別為Curve（227.3億美元）、MakerDAO（190.2億美元）、ConvexFinance（181.3億美元）、AAVE（152億美元）、WBTC（132.1億美元）。[2021/12/24 8:02:12]

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]