最近在研究Defi衍生品價值評估的問題,比如Uniswap的Liquitidyprovidor(LP)Token該如何估值呢?直觀的感覺就是LPToken的價格等于Pair中代幣數量的總價值除以LPToken的總量。
其中r(token)是指Pair中代幣的reserve數量,p(token)是指代幣的價格,totalSupply是指LP的總量。這個公式貌似沒有問題,但在實踐中卻遇到了大問題。
WarpFinance被黑
2020年12月17號一個名為WarpFinance的Defi項目被黑了,黑客通過閃電貸操縱Uniswap的ETH-DAI代幣數量大幅提高了LP價格,然后黑客從WarpFinance借走了超過770萬美元的穩定幣,而黑客抵押的LP最終兌換的價值僅為586萬美元。
WarpFinance是一個抵押借貸項目,它的抵押品是Uniswap的LP,通過超額抵押LP能借出DAI、USDC等穩定幣。如果你持有ETH這樣資產,你可以將ETH放到Compund或者Aave這樣的抵押借貸平臺吃利息,也可以放到Uniswap中做市獲取交易手續費。在Uniswap中做市得到的LP流動性很差,如果你持有LP但是又需要穩定幣咋辦呢,可以拿LP去WarpFinance中抵押借穩定幣,WarpFinance這個項目的意義就在于此。
花旗據悉正在審查與Metaco的合作伙伴關系:金色財經報道,花旗銀行正在審查其與瑞士加密貨幣托管公司 Metaco 的數字資產托管合作伙伴關系,并已開始與其他加密貨幣托管提供商進行非正式談判。目前,尚不清楚此次審查是否與 Ripple 收購 Metaco 有關。[2023/6/30 22:10:48]
對于抵押LP借穩定幣這個邏輯而言最關鍵的就是LP的價格,價格估低了倒還好,只是影響LP資產的使用效率,如果是價格給估高了,則會給項目帶來非常大的損失。WarpFinance中計算LP價格的代碼正如上文所示的公式一樣:
公式是沒問題的,那黑客到底是怎么攻擊的呢?先看看黑客攻擊的交易,通過etherscan和ethtx.info展示的交易執行數據可以得到下面的攻擊流程:
每個步驟之后黑客地址上的幣種余額變化如下表所示:
GitHub前CEO與YC前合伙人籌集超10億美元基金,將投資AI領域:6月21日消息,GitHub前首席執行官Nat Friedman 與Y Combinator前合伙人Daniel Gross近日作為創業公司投資人,宣布了一項吸引AI公司創始人的新穎策略:向他們提供大量免費服務器,這些服務器配備了最先進芯片,用于訓練機器學習模型。另外,兩人籌集了超過10億美元的投資基金,用于投資人工智能初創企業。[2023/6/21 21:51:58]
黑客的操作簡單的總結就是:
通過閃電貸借ETH和DAI
添加流動性獲得LP
向WarpFinance抵押LP
大量賣ETH抬高LP的價格
從WarpFinance那里借到超過LP實際價值的穩定幣
歸還閃電貸借來的ETH和DAI
為什么LP的價格能被抬高,黑客為什么是賣ETH而不是反向操作?這個需要分析下上面那個LP的價格計算公式。根據Uniswap的AMM規則有:
得克薩斯州進一步削減對比特幣礦工的激勵措施:4月5日消息,得克薩斯州立法者一致通過了一項法案,其將取消對當地比特幣挖礦業務的稅收優惠。該法案由共和黨州參議員 Lois Kolkhorst、Donna Campbell 和 Robert Nichols 發起,旨在取消稅收減免,并要求使用超過 10 兆瓦 (MW) 的礦工在國家電網運營商 ERCOT 注冊為靈活負載運營商。
對此,比特幣礦業倡導公司 Satoshi Action Fund 的首席執行官Dennis Porter在推特上表示,該法案將消除礦工在農村社區創造就業機會的激勵措施。[2023/4/5 13:45:59]
在黑客從WarpFinance借穩定幣之前只對ETH-DAI池進行了賣ETH操作,這個操作不會影響totalSupply。另外一方面在WarpFinance的實現中p(token)的價格采用的是Uniswap的X-USDC池子ETH-USDC和DAI-USDC的代幣價格,而且是時間加權平均價(TWP),這個價格是黑客沒法操控的。再加上price(DAI,USDC)的價格可以認為是1,因此LP的價格公式(忽略掉totalSupply)可以簡化為:
中信證券:長期看好元宇宙的發展潛力:7月28日消息,中信證券最新研報表示,根據我們統計,2022年以來,超過20個城市/地區以產業政策、政府工作報告、行動計劃等形式釋放了對元宇宙在地方發展落地的支持。同時,VR/AR、數字藏品等元宇宙相關行業亦在持續演進中。
我們長期看好元宇宙的發展潛力,國內支持政策和關鍵行業落地預期也有望為市場帶來信心,當前節點,我們的行業偏好依次為:1)VR/AR行業,包括整機、產業鏈、內容三個方向,其中整機部分建議跟蹤海外科技巨頭新品進展及國內布局情況,產業鏈部分建議關注光學、顯示及可能具備預期差的細分價值方向,內容端關注具有超前布局的相關企業;
2)數字藏品行業,關注政策可能給國內數字藏品行業帶來的重大方向性指引,關注互聯網巨頭及廣電系企業的可能機會;3)數字孿生、開放世界游戲、虛擬人等元宇宙相關賽道。(財聯社)[2022/7/28 2:43:55]
在兌換發生前ETH-DAI池的k值我們可以通過ethtx.info上的日志信息看到
UniswapWETH-DAI.Sync(reserve0=60911018344037202213498302,reserve1=94928655114461712381666)
美聯儲7月加息100個基點的概率降至29.1%:7月18日消息,據CME“美聯儲觀察”,美聯儲到7月份加息75個基點的概率為70.9%,加息100個基點的概率為29.1%;到9月份累計加息75、100個基點的概率均為0%,累計加息125個基點的概率為36.9%,累計加息150個基點的概率為49.2%,加息175個基點的概率為14.0%。(金十)[2022/7/18 2:19:27]
計算得到的k值大概是5.7*10^12,而兌換前p(ETH,DAI)的價格為640左右,而在受攻擊前p(ETH,USDC)跟p(ETH,DAI)的值應該是差不多的。因此根據給定的k和p(ETH,USDC)可以繪制LP的價格與DAI的數量的函數關系曲線圖,如下所示:
這個曲線是存在一個最低點的,從圖中可以看到當r(DAI)的值在6.04*10^7的時候LP的價格最低,而黑客在攻擊的時候池子中的r(DAI)為6.09*10^7恰好就在最低點附近。從曲線上看最低點左側的曲率更大,因此減少池子中的DAI就是一個更優的選擇,這也是為什么黑客選擇賣ETH。
AlphaFinanceLab的做法
在WarpFinance被黑客攻擊后,AlphaFinanceLab在twitter上指出了WarpFinance計算LP價格的問題:
AlphaFinanceLab計算LP價格的代碼如下圖所示:
從代碼中可以看到
這個公式是怎么來的呢?實際上這個公式依然基于WarpFinance所采用的公式,但是AlphaFinanceLab認為不能使用ETH-DAI池中的r值,應該使用一個所謂公允的值r`。假定ETH-USDC和DAI-USDC中的價格都是公允的,那么
上面這個公式中LP的價格受p(ETH,USDC)和p(DAI,USDC)的影響,假定p(DAI,USDC)的值始終是1,如果要使LP的價格翻一倍則p(ETH,USDC)需要翻4倍,而這個操縱是很容易的只需要往ETH-USDC池子中投入跟r(ETH)相同數量的ETH然后換出r(USDC)數量一半的USDC就能達成。回頭看看WarpFinance攻擊過程中的第6步,黑客賣出大量的ETH使得ETH-DAI中ETH的價格由最開始的640降到30左右,即使最開始ETH-DAI池有大概6100萬美元的DAI,但顯然這個池子的深度在黑客借來的ETH面前還非常不夠看。
不過AlphaFinanceLab采用的公式確實比WarpFinance要好一點,它的LP價格曲線是一個拋物線,并不存在像WarpFinance中有某個最低點,因此不會被精準攻擊。另外要攻擊也只能執行買入ETH的操作。
更優解?
給資產進行估值的時候本質上是在干什么?本質上是在看資產能賣多少錢,比如ETH的價格是100USD,那么1個ETH的價值就是100USD。但是如果是給10000個ETH進行價值評估就不能以100USD的價格進行計算,因為100USD只是市場當前的盤口價格或者是TWP,而真正將10000個ETH賣出得到的實際成交價往往比報價要低。
市場的流動性分散在多個地方,有中心化交易所也有去中心化的交易所,如果Defi項目對資產的評估依賴的是鏈上的報價那么資產的流動性也只能依賴鏈上。以WarpFinance為例,在第6步中黑客往ETH-DAI池注入了341217個ETH來交換DAI,此時第5步黑客抵押的94349份LP也會對應大量的ETH,這么大量的ETH能以p(ETH,USDC)的價格賣出嗎?顯然是不可能的。
實際上Uniswap本身就提供了更精確的接口來幫助我們評估賣出一定數量的ETH到底能得到多少個USDC:
functiongetAmountsOut(uintamountIn,addresscalldatapath)externalviewreturns(uintmemoryamounts);
而且這個接口還會把實際交易過程中收的手續費算進去,因此會非常準確。
結束語
以資產作為抵押的項目被攻擊的手段一般都是抬高資產價值然后借出比資產價值實際上高的多的穩定幣,而鏈上價格非常容易被閃電貸操控,而且操控的幅度會超出你的想象,比如WarpFinance攻擊中把ETH-DAI池中的ETH價格從640打到30。評估資產的價值要以資產實際被賣出時能值多少錢為準,也許實際上做不到這一點,但是要往這個方向努力。
但最重要的還是要有足夠高的抵押率,WarpFinance的抵押率就不高所以才被攻擊成功,這種項目在最開始啟動的時候最好設置高額的抵押率確保安全,即使用戶的資產利用率低一點也沒關系。
如果WarpFinance能在受攻擊后第一時間從ETH-DAI池把ETH取出來然后在中心化交易所上以合適的賣出也是不會遭受損失的,但實際上當ETH-DAI池出現30這樣的低價后,無數的套利機器人就像聞到血腥味的鯊魚一樣撲了上來,很快就會填平這個差價。WarpFinance在反應過來的時候為時已晚。
來源:金色財經
前言:終于到了“零知識證明算法值Zk-stark”系列的收尾。在前面的三篇文章里,我們依次介紹了zk-stark算法的整體結構、算法的第一部分:Arithmetization、算法的第二部分:L.
1900/1/1 0:00:00文|宋清華 當大家在把BTC帶入以太坊、波場生態以掘金BTC價值時,Blockstack正在反向操作——它開發的Stacks2.0在2021年1月份已經上線.
1900/1/1 0:00:00熱點事件一覽: 1.觀點:尼日利亞加密禁令將推動用戶進行P2P交易。2.CNBC主持人:馬斯克或正考慮將比特幣添加至公司財政部。3.觀點:比特幣正在蠶食黃金的市場份額.
1900/1/1 0:00:00雷達幣基礎知識總結: 一、雷達幣限量發行: 雷達幣于2014年7月5日開始發行,首期發行1000萬枚,前6個月,保持每月10%復利增發量,即第一個月增發100萬枚,第二月增發110萬枚.
1900/1/1 0:00:00公司總經理胡途先生 ▼1.邁卡汽車服務有限公司總經理胡途先生2.河南二手車流通協會副會長3.河南二手車流通協會有形市場分會秘書長 公司概況 ▼1.公司成立于2019年9月2.
1900/1/1 0:00:00前言: ????????一個人能走多遠,要看他有誰同行;一個人有多優秀,要看他有誰指點;一個人有多成功,要看他有誰相伴.
1900/1/1 0:00:00