這篇文章是三篇系列文章中的第二篇,討論DeFi借貸協議的工作原理——它們的關鍵組成部分、公式和用例。在我們之前的文章中,我們回顧了DeFi的核心操作——借貸,以及不同協議如何選擇實現這些操作。在這篇文章中,我們將重點介紹我們認為最令人興奮的DeFi借貸概念之一:清算。過度抵押和壞賬
你可能會從我們之前的博客文章中想起,協議用戶只能對其提供給協議的抵押品的百分比進行資產借貸。這是有道理的,因為協議需要確保如果你無法償還債務,它可以從你那里收回其資產。這種資產抵押的過程始于傳統金融,例如今天,一個人可以把他們的房子或蘭博基尼作為貸款償還的抵押品。抵押依賴于抵押品價格保持其價值的前提條件——盡管房屋或蘭博基尼的價格無法保證,但它們各自的價值相對不太不穩定,而比起ERC20或NFT等資產來說,更為穩定。在大多數DeFi借貸協議中,你的抵押貸款資產必須比你貸款的價值更有價值,也就是所謂的過度抵押。如果借貸協議想要保持財務穩定,只允許過度抵押的貸款是有利的。想象一下,你提供了一些資產作為抵押品,而這些資產的價值突然低于你從協議中借到的資產價值。現在,你的抵押品價值低于你欠協議的債務,你就沒有還款的動力。畢竟,在償還貸款的過程中,你將獲救的抵押品現在的價值低于實際償還貸款所需的金額。這種貸款現在已經無力償還。每筆無力償還的貸款對其所在的協議都是有害的。從無力償還的貸款中產生的債務會在協議中產生不安全因素,畢竟,債務的數量是借出者無法從協議中收回的資產的數量。為了強調這些壞賬有多糟糕:如果在協議上出現了類似傳統金融「銀行擠兌」的情況,最后一批從協議中提取他們的資產的用戶將無法這樣做。當然,那些有大量壞賬的協議對用戶的吸引力較小。清算和清算閾值
我們已經確定,當貸款抵押品價值低于借款人帶利息的債務價值時,借款人的債務會對其所在的借貸協議的健康狀況構成威脅。為了防止低于抵押的持倉增加,協議允許第三方償還低于抵押的債務。通過償還低于抵押的債務,這些被稱為清算人的第三方有權以折扣的價格要求歸還其被覆蓋的債務人的抵押品。這個過程被稱為清算。你可能會想知道:為什么協議要依賴第三方來清算不健康的持倉?畢竟,協議可以將自動清算機制編碼進其代碼中。發送清算交易的成本非常高。如果協議自動發送這些昂貴的交易,resultinggascosts將會增加其運營成本,從而削弱其利潤。此外,自動清算系統的設計非常困難。協議不僅必須考慮是否應自動清算一個持倉,而且必須考慮何時這樣做,并以反映市場波動率的速率進行清算。通過激勵專門的第三方來清算這些持倉,這個過程要簡單得多。清算本質上不是有利可圖的——對于這個過程來說,債務人的抵押品必須價值高于他們欠債的金額。如果清算人沒有保證這個過程會有利可圖,他們不會清算一個持倉。那么何時一個持倉才能被清算?這個條件由協議決定,是分配給每個資產的清算閾值的函數。在清算閾值方面,時間非常重要。正如我們所知道的那樣,如果一個持倉的債務價值超過其抵押價值,清算這些持倉對清算人來說是不賺錢的,協議也會面臨壞賬。因此,安全的清算閾值為清算人提供足夠的時間,在持倉達到無法償還的狀態之前清算它們。現在我們理解了每個參與方保持持倉健康的動機,我們將展示協議實際如何實現這些機制:
動態 | ZB 創新智庫深入歐洲愛沙尼亞進行調研訪問:ZB 創新智庫正在持續深入歐洲各國進行區塊鏈調研,本周到訪愛沙尼亞的首都蒂蘭,深入了解行業最新發展動態。北歐小國愛沙尼亞在區塊鏈開發方面引領歐洲大陸。愛沙尼亞是歐洲第一個對數字經濟發展采取激進政策的國家,憑借其現已知名的電子居留計劃,該國為數字經濟和區塊鏈公司頒發了最多的許可證。 據 Bitcoin.com 網站報道,截至 2018 年 11 月,愛沙尼亞發放的許可證已經超過 900 張。
據 ZB 創新智庫當地調研顯示,近期這個數字現在已翻了一番。目前在愛沙尼亞獲得數字資產許可證已變得較為困難,2019 年 5 月 3 日愛沙尼亞政府財政部對數字資產許可程序進行修改,增加了一系列正式義務,將處理時間從 30 天延長至 90 天,并確定了在愛沙尼亞注冊成立公司或分支機構的要求。[2019/12/12]
Compound:賬戶流動性
Compound涉及到一個名為AccountLiquidity的參數,計算Compound主合約Comptroller中的LiquidationThreshold。Comptroller有一個名為getAccountLiquidity()的函數,返回有關賬戶流動性的信息。在內部,此函數調用getHypotheticalAccountLiquidityInternal():
我們在這里看到,該函數的主邏輯被限定在一個for循環范圍內。這表明計算賬戶流動性是通過迭代所有市場完成的,其中賬戶參與。換句話說,在計算賬戶流動性時,考慮到了用戶借貸或作為抵押品的所有資產。從我們之前的博客文章中回想一下,cTokenBalance是用戶為抵押而提供的基礎資產數量。在這個例子中,我們還可以看到borrowBalance和一些神秘的exchangeRateMantissa,它們都從getAccountSnapshot()返回。在我們之前的博客文章中討論的一般化exchangeRate變量中,我們寫道:「一個任意的利率可以增加鑄造的Token數量,如果exchangeRate<1,則可以減少Token數量,如果exchangeRate>1,則可以增加Token數量。」這也適用于exchangeRateMantissa,它表示cToken與基礎資產之間的匯率。正如我們在這個例子中看到的,Comptroller在獲取了上面提到的三個參數之后,將首先獲取當前正在迭代的特定市場的collateralFactor。這個collateralFactor信息是指用戶可以根據其抵押品借多少錢的指標。從這個定義中,我們可以假設每個抵押品的存款可以抵押不同的借款金額。之所以這個金額在不同資產之間有所不同,主要是因為每個資產在協議眼中都有自己的「風險」,通常是指資產價值隨時間波動的程度。Compound的治理根據市場狀況改變抵押因素,但在任何時候,他們的抵押因素不能超過0.9——最多可以借出你存入的抵押品的90%:
聲音 | 律師劉曄:法院可以更一步深入了解并思考比特幣SV的屬性:上海市海上律師事務所合伙人劉曄在微博表示:當法院進一步思考時,當知道,比特幣并非虛擬財產而是真實財產。當更一步深入了解并思考時,當知道,比特幣SV乃遵循比特幣白皮書的原始理念,乃真正比特幣,其不僅僅是真實財產,且以提供真實賬本空間服務的形式在實現真實商品屬性的同時(當下法律),也逐漸走向成為全球貨幣之路(未來法律)。據媒體報道,今日,首例比特幣財產侵權糾紛案在杭州互聯網法院開庭宣判。本次庭審法院確認了比特幣“虛擬財產”屬性。[2019/7/18]
然后,我們看到調用oracle.getUnderlyingPrice(asset),它調用一個名為Oracle的外部合約。Oracle是一種有趣的機制,值得一篇專門的博客文章。為了簡潔起見,我們現在所解釋的是,Oracle是用于在借貸協議中獲取某個資產價格的合約,價格通常以協議使用的某種公共貨幣為基礎。現在,我們已經涵蓋了影響單個市場健康狀況的所有因素,因此我們將寫下計算單個市場AccountLiquidity的方程式:
注意:在Compound中,資產的價格以美元計價。這是一個相當長的變量列表,但如果你試著記住我們的「份額Token」文章中的Compound部分,你會發現以下表達式:
簡單表示了用戶cToken的基礎資產價值。此外,borrowBalance_{user}變量,如你在這里所見,是用戶借用的資產總余額,包括其中應計利息。現在,我們已經到達了以下備選AccountLiquidity方程式的點:
Maker
另一個設置清算不足抵押頭寸閾值的協議是Maker。讓我們檢查該協議部署用于處理清算的兩個合約:·Dog:在遷移到liquidations2.0之后部署的。此處的清算函數為bark()。·Cat:liquidations1.2,bite()。·grab():VAT合約,用作在部署貓合約之前進行清算的方法。讓我們看一下bite()中的片段:
聲音 | 英國財政部金融服務副主任:希望更深入地研究加密行業:據unhashed報道,英國財政部金融服務副主任Gillian Dorner表示,政府相關部門希望能更深入地研究加密行業,以采取相應的應對辦法。英國正面臨著創新經濟、保護消費者和打擊金融犯罪的多重挑戰。[2018/11/23]
以及從bark()中的類似片段:
你可能會注意到兩者具有相同的not-unsafe消息。因此,對于每個清算函數,Vault的安全要求都相同,并且可以用以下等式表示:
我們可以使用這個等式來定義一個不等式,以便Vault仍然是安全的:
優化一下:
我們建議我們的讀者前往MakerDAO術語表,擴展我們提供的有關Maker生態系統中不同變量名稱和術語的信息。或者,你可以相信我們在此概述的內容:?spot_{ilk}在這個不等式中用作抵押品的價格,以DAI計價,除以抵押品的清算比率?ink_{urn}是頭寸的抵押品余額?rate_{ilk}是特定抵押品類型的累計債務。當與art_{urn}相乘,這是一個頭寸借入的標準化債務金額,我們可以得到以DAI計價的總債務為了簡化我們剛剛涵蓋的內容,不使用Maker術語,我們將這樣表示:
注意:Maker決定將抵押品和債務的價值計價為DAI——協議的穩定幣。AAVEV2——健康因子
迅雷CEO陳磊:區塊鏈一定要深入到老百姓當中:迅雷CEO陳磊在接受媒體采訪時表示,“區塊鏈一定要深入到老百姓當中。區塊鏈的發展還在一個相對早期的階段,所以一旦你掌握了區塊鏈的一些正在改進中的技術,那么就能取得領先,但是這些技術必須要和現實場景結合才能有意義。我們希望看到,迅雷生態鏈上能有大量推動實體經濟發展和C端用戶參與的應用,這是區塊鏈發展的核心動力。”[2018/5/20]
AAVEV2還定義了自己的閾值HealthFactor。具有H_{f}<1的健康因素值的用戶可以被清算。定義如下:
顯然,當用戶沒有債務時,他們的頭寸無法被清算,因此健康因子默認為type(uint256).max。否則,健康因子被定義為:
當清算閾值由治理獨立定義,目前由Gauntlet代表提供協議的所有風險參數,包括LiquidationThresholds。破產頭寸分析
現在我們已經討論了壞賬的概念,接下來我們將提供一個真實世界的例子,以強調其重要性。我們要討論的頭寸是AAVEV2上的以下賬戶:0x227cAa7eF6D955A92F483dB2BD01172997A1a623。讓我們通過在AAVEV2借貸協議上調用getUserAccountData函數來調查其當前情況:
現在讓我們分解上面的內容,來看看這個頭寸的情況有多糟糕:·總欠債ETH:17.83508595148699ETH·總抵押ETH:0.013596360502551568ETH這就是我們需要了解的所有內容,這個頭寸有麻煩了——抵押品的價值只是欠款的一小部分。那么這個頭寸是如何陷入困境的呢?為了回答這個問題,我們可以查看該用戶在AAVE上執行的最新操作:
中國發展高層論壇將對區塊鏈技術進行深入討論:2018年中國發展高層論壇將于3月24至26日在北京舉行,中國發展研究基金會相關人士表示,中國發展高層論壇在今年迎來了第19屆。圍繞高質量發展、財稅體制改革、供給側結構性改革與金融政策、全面開放新格局、創新與未來等重大議題,中外方嘉賓將開展深入討論。此外,參會嘉賓還將對中國改革開放四十周年、全球不平等、新時代的中美關系、一帶一路、人工智能時代的產業轉型、鄉村振興與農業現代化、金融創新與區塊鏈革命等熱點議題進行深入交流。[2018/2/26]
看起來一切都很好,直到塊13514857,在該塊中,用戶從AAVE借出了一些資產。讓我們看看他們做了什么:
債務人借了700,000MANA,快速查看MANA的美元價格將揭示該價格為:
每個MANA單位0.00032838ETH。通過簡單的乘法,我們知道該用戶通過以下方式增加了協議的債務:0.00032838*700000=229.866ETH值得一提的是,在該塊的USD價格是4417.40美元。請注意上圖中發生的存款操作,發生在借款幾個小時后的塊13517657。讓我們看看市場上是否有什么事情動搖了我們用戶的信心:
上面是發送到AAVEV2價格Oracle的RPC調用,以獲取指定塊中1個MANA單位的wei值。如果我們使用這些數據轉換上述價格,我們可以看到發生了什么:0.00033625*700000=235.375ETH在短短幾個小時內,債務增加了5.5ETH,價值24000美元。由于我們知道這個頭寸的故事結局,我們知道它在某個時候是可清算的,因此讓我們檢查是否有涉及該用戶地址的liquidationCall調用:
一旦我們找到第一個清算事件,我們就可以了解為什么用戶在借款后不久就存入資產:
在這里,我們可以看到第一次清算發生在塊13520838。這次清算發生在用戶存入資金之前。然后,在13520838-13522070塊之間發生了一系列小的清算,這些清算最終價值相當高:
讓我們檢查清算人在這些塊之間從用戶處奪取的所有抵押資產類型:
我們可以看到只有2種資產,DAI和ETH。
以及它們的數量:~50ETH~387663DAI有人可能會問,為什么清算會分成這么小的塊?當像這樣龐大的頭寸被一次性清算時,市場會將這樣大量的抵押品收購解釋為這些資產類型的賣出信號。請記住:根據協議的清算獎勵政策,以折扣購買清算中獲得的資產。一次大規模的清算會引發一系列清算,隨著賣出壓力的上升,其他市場參與者可能也會賣出其資產,導致資產價格進一步「崩盤」,進而導致協議中其他頭寸的更多清算。因此,協議通常限制單個清算可以奪取的資產數量。AAVE版本的此限制,作為變量,如下所示:
正如我們所看到的,限制百分比為50%,這意味著只有頭寸債務的一半被允許在一次清算中償還。清算人有動機將其清算拆分成較小的塊。如果在清算時市場上沒有足夠的流動性來提供抵押品資產,那么將清算拆分成較小的塊,清算人更有可能獲得清算資產,并從他們的清算中獲利。此外,如果市場上沒有足夠的流動性來獲取債務資產,則清算人可能需要花費很多費用來獲得首先要償還未充足抵押的用戶的債務。最后,想象一下試圖清算大量某種Token,而沒有擁有那么多。如果你去DEX并嘗試交換一些WETH或其他資產以獲得這一Token,你可能會遇到非常高的Gas費,這會使你的清算變得無利可圖。回到我們的例子,為了檢查鏈中一系列清算之后的頭寸參數,我們需要解析從getUserAccountData返回給我們的數據:
然后我們使用cast查詢鏈:
最后解析輸出:
在這里,我們看到清算對頭寸的影響:幾乎沒有剩余的抵押品,精確到0.6ETH。但是債務呢?高達45.26716296709878ETH。這個塊的MANA價格是多少?
0.000862110734985458ETH。如果你還記得,我們的用戶僅僅幾個小時前以0.00032838ETH的價格借了MANA。這相當于開了一個股票的空頭頭寸,而這支股票的價格升了2.65倍。這些清算人在價格下跌到無法獲利的程度之前無法及時清算完整個頭寸,我們留下了一個破產的頭寸。現在,我們可以意識到有效的流動性閾值在防止協議產生壞賬方面的重要性。總結
雖然我們不能確定是否有一個方程來定義頭寸的流動性閾值,但我們肯定可以看到協議之間的相似之處:·所有協議都將其閾值定義為某種抵押品與債務的函數。·所有協議都給治理留下了一些空間,以便根據市場條件的變化決定每種抵押品風險參數的價值,因為有些資產比其他資產更具有波動性。·所有協議都使用預言機以一種廣泛接受的貨幣對其抵押品和債務價格進行標價。我們已經看到Maker和AAVE選擇使用相同的方程來表示頭寸的安全性:
原地址
Filecoin網絡v19升級要來了!鑒于最近主網性能受到一定程度影響,提議加速nv19升級,推出能緩解存儲市場定時任務執行的FIP0060,這將改善區塊驗證時間.
1900/1/1 0:00:00有關公鏈發展的突破問題討論再多也不為過,近期有一個En-Tan-Mo的項目,該項目頗有學術派氣質,其定位為基于納什均衡和價值傳遞理論的新一代區塊鏈項目,并且有兩位諾獎得主作為顧問參與.
1900/1/1 0:00:00HOPE現已在以太坊主網上線。HOPE是一個基于原生加密分布式穩定幣$HOPE而打造的一站式DeFi生態系統.
1900/1/1 0:00:00多鏈生態的繁榮催生了用戶對跨鏈的需求。鏈與鏈之間的跨鏈交互的日益增加,但與此同時跨鏈安全事件頻頻發聲,跨鏈安全成為市場關注的焦點.
1900/1/1 0:00:00隨著近日比特幣行情站上30000美元關口,山寨MEME幣又開始興風作浪了,比如PEPE、AIDOGE、XEN等。當然也吸引了很多smartmoney或者內幕者的投機,而且字面收益非常高.
1900/1/1 0:00:00在過去的幾年里,區塊鏈上的零知識證明主要用于兩個關鍵目的:(1)通過在鏈下處理交易并在主網上驗證結果來擴展計算受限網絡的規模;(2)通過實現屏蔽交易來保護用戶隱私,只有擁有解密密鑰的人才能查看.
1900/1/1 0:00:00