📢 Gate廣場 #MBG任务挑战# 發帖贏大獎活動火熱開啓!
想要瓜分1,000枚MBG?現在就來參與,展示你的洞察與實操,成爲MBG推廣達人!
💰️ 本期將評選出20位優質發帖用戶,每人可輕鬆獲得50枚MBG!
如何參與:
1️⃣ 調研MBG項目
對MBG的基本面、社區治理、發展目標、代幣經濟模型等方面進行研究,分享你對項目的深度研究。
2️⃣ 參與並分享真實體驗
參與MBG相關活動(包括CandyDrop、Launchpool或現貨交易),並曬出你的參與截圖、收益圖或實用教程。可以是收益展示、簡明易懂的新手攻略、小竅門,也可以是現貨行情點位分析,內容詳實優先。
3️⃣ 鼓勵帶新互動
如果你的帖子吸引到他人參與活動,或者有好友評論“已參與/已交易”,將大幅提升你的獲獎概率!
MBG熱門活動(帖文需附下列活動連結):
Gate第287期Launchpool:MBG — 質押ETH、MBG即可免費瓜分112,500 MBG,每小時領取獎勵!參與攻略見公告:https://www.gate.com/announcements/article/46230
Gate CandyDrop第55期:CandyDrop x MBG — 通過首次交易、交易MBG、邀請好友註冊交易即可分187,500 MBG!參與攻略見公告:https://www.gate.com/announcements
DeFi風險管理新思維:從形式化驗證到鏈上治理
DeFi風險管理:從傳統思維到創新框架
去中心化金融(DeFi)是基於智能合約的金融協議,涵蓋了資產交易、借貸、保險和各類衍生品等領域。除了信用服務,現實世界中的大多數金融服務都可以通過DeFi協議實現。這些協議的特點是去中心化和自動運行,沒有中央機構進行管理和維護,因此合約的風險控制成爲了行業面臨的一大挑戰。
DeFi具有金融和科技的雙重屬性,主要面臨以下幾類風險:
代碼風險:包括以太坊底層代碼、智能合約代碼和錢包代碼等方面的風險。歷史上的DAO事件、近期的某DEX漏洞攻擊問題,以及各種錢包被盜事件都屬於這一類。
業務風險:主要源於業務設計過程中的漏洞,可能被人合理利用或操縱。例如,FOMO3D遊戲被堵塞攻擊,以及某借貸平台錯誤使用了易受攻擊的價格預言機,導致資產被盜取。這類行爲的實施者通常被稱爲"套利者",他們對DeFi項目既有不利影響,也有積極作用。
市場波動風險:由於DeFi設計時缺乏應對某些變量的機制,在市場極端情況下可能出現穿倉。2020年3月12日某穩定幣項目的表現就是一個典型例子。
預言機風險:預言機作爲提供全局變量的關鍵組件,是大多數DeFi項目的基礎。如果預言機遭受攻擊或停止運作,依賴它的DeFi項目可能會崩潰。預言機將成爲未來DeFi最重要的基礎設施,而帶有中心化風險的預言機最終可能會被淘汰。
"技術代理"風險:指不熟悉智能合約和區塊鏈技術的普通用戶使用中心化團隊開發的"便利"交互工具時可能面臨的風險。
在設計DeFi項目時,應當考慮上述所有風險因素。完善的風險管理不僅需要在文檔中做出提示,還需要採取具體的管理措施。這些措施大多應以去中心化的方式實施,少數可通過社區治理(主要是鏈上治理)完成。
以下是一個DeFi風險管理框架,分爲事前、事中和事後三個階段:
事前:主要是對合約代碼進行形式化驗證,包括明確合約使用的方法、資源和指令的邊界,以及這些元素在組合過程中的相互影響。未經論證的方法或未確定邊界的組合都不應使用。這種方法更接近數學論證,而非傳統軟件開發測試。
事中:重點是停機設計和異常觸發設計。合約應能識別和幹預攻擊行爲,包括自動停機和治理停機設計。異常觸發則是對合約運行中出現超預期現象的控制管理,通常是自動的,通過觸發機制修正風險管理變量。
事後:包括幾個方面。首先是修正代碼漏洞,通常通過鏈上治理(DAO治理)完成。其次是應對治理資產遭受攻擊的情況,可能需要進行合約分叉。此外,還可以通過保險機制降低潛在損失,以及利用鏈上數據追蹤與相關機構合作追回損失。
目前,行業對DeFi安全的理解仍處於早期階段,且過於傳統。要適應未來發展,需要引入邊界、完備性、一致性、形式化驗證、停機、異常觸發、治理和分叉等新思想。只有轉變思維,才能更好地應對DeFi領域的安全挑戰。