本文作者:ripwu
之前在看Compound代碼時,感覺存在一些疑問和改進
其中有個疑問昨天得到了回復,趁著這個機會簡單整理下筆記
退出市場的資產,仍可被清算
背景
//compound-protocol/contracts/Comptroller
//itshouldbeimpossibletobreaktheimportantinvariantassert(markets
}functionaddToMarketInternal(CTokencToken,addressborrower)internalreturns(Error){MarketstoragemarketToJoin=markets;if(!marketToJoin
if(marketToJoin
//survivedthegauntlet,addtolist//NOTE:westorethesesomewhatredundantlyasasignificantoptimization//thisavoidshavingtoiteratethroughthelistforthemostcommonusecases//thatis,onlywhenweneedtoperformliquiditychecks//andnotwheneverwewanttocheckifanaccountisinaparticularmarketmarketToJoin
Compound在借款時會通過borrowAllowed()檢查用戶是否已經進入cToken市場
消息人士:Crypto.com啟動第二輪“更大規模的”裁員:金色財經報道,消息人士透露,在Crypto.com上周五的季度“全體員工”電話會議上,該公司表示啟動新一輪裁員,規模“比第一輪大得多”。消息人士稱,在電話會議中,Crypto.com領導層表示他們無意上市,但高層管理人員不太可能發布裁員公告,因為在6月裁員之后,他們聲稱“每個人的工作都很安全,不會再裁員”。據消息人士稱,6月份的裁員針對的是客戶服務和增長等“彈性”職位,因為隨著平臺上的客戶數量和交易量下降,對這類員工的需求減少。新一輪影響了“來自交易所、應用程序和錢包等關鍵部門的員工”。
此前消息,6月,總部位于新加坡的加密貨幣交易所Crypto.com以加密熊市為由解雇了260名員工,占其員工總數的5%。[2022/8/17 12:30:06]
如果未進入,會調用addToMarketInternal()將cToken添加到用戶接觸的資產列表accountAssets中
我查了下accountAssets,似乎只在存款,借款,和計算用戶健康度時使用
其中前面兩個操作(存款,借款)更多是類似聲明的邏輯,沒有什么疑點
//compound-protocol/contracts/Comptroller
/*Wecalculatethenumberofcollateraltokensthatwillbeseized*/(uintamountSeizeError,uintseizeTokens)=comptroller
else{seizeError=cTokenCollateral
Compound總法律顧問:SEC沒有必要將Tether作為優先目標:針對CryptoQuant首席執行官稱“若SEC下一個目標是Tether,將對本輪牛市非常不利”的推文,Compound總法律顧問Jake Chervinsky評論稱:“很難想象Tether會出現在SEC的優先目標名單上。穩定幣幾乎是最難歸類為證券的東西,美國紐約總檢察長辦公室(NYAG)已經在對Tether就《馬丁法案》(Martin Act)進行調查,所以美國證券交易委員會(SEC)沒有必要在這方面花費資源。”[2020/12/30 16:01:53]
return(uint(Error
測試
我擔心存在理解偏差,于是在Ropsten網絡上進行了測試:
首先用賬戶A發送exitMarket交易,將存入的cETH退出市場
然后用賬戶A發送setUnderlyingPrice交易,操縱預言機,模擬市場價格波動,使得賬戶A資不抵債
最后用賬戶B發送liquidateBorrow交易,清算賬戶A的債務,指定以cETH為抵押物
結論是:退出市場的cETH確實可以被清算
問題
問題來了:
問題一:已經退出市場的資產,是否應該被清算?
問題二:如果不應該被清算,那么進入市場和退出市場的邏輯,意義何在?
綜合考慮,我個人覺得Compound原意應該是不允許清算已退出市場的資產;理由如下:
首先,用戶在實際存款前必須單獨發起進入市場的交易,考慮到Compound在以太坊主網運營,交易手續費不可忽視
Crypto.com恢復歐洲和英國的MCO Visa卡運營服務:Crypto.com宣布恢復其在歐洲和英國的MCO Visa卡運營服務。據此前報道,6月26日,英國金融行為監管局(FCA)發布通知要求Wirecard子公司Wirecard Card Solutions (WCS)不得處置任何資產或資金、不得進行任何受監管的活動。29日,FCA允許WCS恢復發行電子貨幣(e-money)和提供支付服務,其他服務仍受限制。據悉,WCS曾負責發行Crypto.com旗下MCO Visa以及TenX的Visa借記卡。[2020/6/30]
如果可以被清算,那么進入和退出市場的邏輯沒有什么實際用途,在代碼中也未找到其他用途
其次,在退出市場前,Compound提示如下
但是,從另外一個角度來說,退出市場的資產,確實應該支持被清算,否則有損于系統健康度
反饋
兩個角度都有道理,我沒想明白,于是向Compound發送了郵件,一周后收到了回復:問題已知,已退出市場的資產可以被清算;提示文本看起來是有誤導
不過,我還是沒明白:既然可以被清算,為什么要設計進入退出的功能,用戶專門發起這兩筆交易的手續費呢...
BTW,前兩天AaveV3似乎也引入了資產隔離的概念..
USDC釘住1美元
前面文章中有舉例說明Compound價格預言機的流程,以DAI為例:首先向USDC-WETH交易對查詢WETH價格,然后向DAI-WETH交易對查詢DAI價格,最后將兩者相乘,得到以USDC計價的DAI價格
動態 | BTC.com發布以太坊瀏覽器0.2版支持礦池分析和合約代碼驗證:行業知名的鏈上數據服務商BTC.com于1月9日發布其以太坊瀏覽器0.2版。新版本補充了賬戶詳情和交易明細解析,用戶可以直接查看到某一賬戶的持幣情況,全網未確認交易明細以及合約內交易明細,全面了解以太坊網絡狀態。 另外,新版本從礦工關心的收益角度出發,新增了礦池數據統計和合約驗證功能,解析礦池挖礦數據,包括叔塊率和空塊率;新版瀏覽器還針對開發者上線了合約驗證版塊,開發者可通過合約驗證完成代碼開源,拓展更多業務模式。[2019/1/9]
換句話說,Compound中大部分token的價格是以USDC計價的
這里隱藏了一個假設,USDC價格是恒定不變的,可以作為計價單位
//https://github
}
實現上,Compound對USDC,USDT等做了特殊處理,其priceSource配置為FIXED_USD,釘在1美元
在USDC價格波動時,可能會導致一些問題,比如這個提案描述的例子:
假設USDC因監管或其他原因不斷下跌,比如市場價格為0
}
其中,在計算sumCollateral時,使用的是抵押率collateralFactor
--與之相對的,在Aave中,貸款時按抵押率計算,而清算時健康度按清算閾值計算;因為清算閾值比抵押率大,因此留出了安全墊
引用鏈接中的例子:用戶抵押價值2ETH的資產,借出1.575ETH的債務,此時健康度為1.0476
行情 | 全球算力排名BTC.com第一:根據數據顯示,目前全球礦池實時算力排名前十為BTC.com、SlushPool、AntPool、ViaBTC、F2Pool、BTC.TOP、Bixin、DPOOL、WAYI.CN、 BitClub。[2018/7/9]
注意例子中的債務,是按資產的最大抵押率借出的;在這種情況下,可以忍受市場價格小范圍的波動
比如,市場價格短期波動,導致債務上漲3%時,此時健康度仍在1以上,用戶資產不會面臨清算風險
隱患
不在官方倉庫中的代碼
比如價格預言機,還未被合并,見Compound代幣和價格預言
又如,官方倉庫中Comptroller,似乎也是較老的版本;而主網實際使用的合約,是修復了9月底COMP安全事件的版本
--對于新入手Compound的開發者而言,要找到正確的代碼,只能求助于EtherScan和搜索引擎,體驗有點糟糕
更重要的是,會導致接下來的問題:
不同步的主網與測試網絡
考慮到鏈下數據不好維護,為了便于測試,可以在測試網使用模擬預言機作為mock
除此之外,應該盡可能保證其他合約在主網和測試網一致,但在Compound中并非如此:
比如,最核心的Unitroller,在主網與測試網絡上部署的代碼版本不同
又如CErc20Immutable是舊代碼,會導致cToken無法支持社區治理。主網中這個合約已被廢棄,但在測試中仍在使用,比如Ropsten中的cUSDC
--主網與測試網絡之間的不同步,除了削弱測試網絡的意義,也增加了新開發者的理解成本
要解決這個問題,首先要解決前面的問題,確保官方倉庫與主網部署的合約代碼一致
這也就引出了更關鍵的問題:
測試網絡似乎沒有發生作用
COMP安全事件暴露的問題比較嚴重:考慮到除了公開的測試網絡之外,社區中還有不少開發者搭建著私人測試網絡,而理論上,這個問題是必現的;
我們似乎可以得出一個結論:Compound的測試網絡和測試代碼,沒有起到作用
那么,Compound協議安全如何保證呢?社區成員似乎也在擔心,比如最近幾天出現的提案AuditingCompoundProtocol,ContinuousFormalVerification
--另外,還有代碼與文檔/產品之間的不同步,原始的升級模式等;限于個人視野未知全貌,某些理解可能存在局限,因此不做展開
以上,一家之言,歡迎指正~
參考資料
ripwu:https://learnblockchain.cn/people/3911
exitMarket:https://ropsten.etherscan.io/tx/0x7b71d5cf083eca8ab436126953f87573fb9d047dced373394ba2d6ae4621e0a2
setUnderlyingPrice:https://ropsten.etherscan.io/tx/0xbb4691fdf1f81b9634375658862d7b7ec6ff7253e81f3896a6025bba11b1e54c
liquidateBorrow:https://ropsten.etherscan.io/tx/0xa38099eb44664169e41e36d06ef0d72c241ddd0a4349e3f36f46506667c4c975
資產隔離:https://governance.aave.com/t/introducing-aave-v3/6035
這個提案:https://www.comp.xyz/t/floating-stablecoin-prices/2005
Aave清算閾值(LiquidationThreshold):http://godorz.info/2021/10/aave-v2/#i-19
Compound代幣和價格預言:https://godorz.info/2021/11/compound_comp_and_price_oracles/#i-8
較老的版本:https://github.com/compound-finance/compound-protocol/blob/master/contracts/ComptrollerStorage.sol
版本:https://etherscan.io/address/0xbafe01ff935c7305907c33bf824352ee5979b526#code
主網:https://etherscan.io/address/0x3d9819210A31b4961b30EF54bE2aeD79B9c9Cd3B#readProxyContract
測試網絡:https://ropsten.etherscan.io/address/0xcfa7b0e37f5AC60f3ae25226F5e39ec59AD26152#readProxyContract
無法支持社區治理:https://www.comp.xyz/t/legacy-market-migration-wbtc/1333
cUSDC:https://ropsten.etherscan.io/address/0x2973e69b20563bcc66dC63Bde153072c33eF37fe#code
COMP安全事件:https://github.com/rebase-network/Dapp-Learning/blob/main/defi/Compound/contract/9月29日Compound62號提案所引發的可怕Bug.md
測試代碼:https://github.com/compound-finance/compound-protocol/tree/master/spec
AuditingCompoundProtocol:https://www.comp.xyz/t/auditing-compound-protocol/2543
ContinuousFormalVerification:https://www.comp.xyz/t/continuous-formal-verification/2557
免責聲明:作為區塊鏈信息平臺,本站所發布文章僅代表作者個人觀點,與鏈聞ChainNews立場無關。文章內的信息、意見等均僅供參考,并非作為或被視為實際投資建議。
本文來源于非小號媒體平臺:
登鏈社區
現已在非小號資訊平臺發布105篇作品,
非小號開放平臺歡迎幣圈作者入駐
入駐指南:
/apply_guide/
本文網址:
/news/10478099.html
免責聲明:
1.資訊內容不構成投資建議,投資者應獨立決策并自行承擔風險
2.本文版權歸屬原作所有,僅代表作者本人觀點,不代表非小號的觀點或立場
上一篇:
比特幣進入牛市交叉點,BTC反彈迫在眉睫?
Gate.ioisgoingtocommenceCereNetwork(CERE)tradingat14:00onNovember8.
1900/1/1 0:00:00據Bitcoin.com11月4日消息,伊朗加密行業協會IranBlockchainAssociation抨擊了當局在加密監管方面的被動立場.
1900/1/1 0:00:00巴比特訊,11月8日,證券日報刊文《元宇宙:定義尚無定論擁抱仍需理性》,提到了科技巨頭爭相布局元宇宙以及專家對元宇宙的看法.
1900/1/1 0:00:00Gate.ioHODL&Earnrecentlyunveiledanewproduct“EarnEveryday”tofacilitateevenmorechancestoearnbyh.
1900/1/1 0:00:00出品|白澤研究院 微軟的首席執行官薩蒂亞·納德拉(SatyaNadella)在昨日的微軟Ignite會議上表示,微軟將探索元宇宙技術,并加入這個有著一系列其他大牌品牌和企業的數字世界.
1900/1/1 0:00:00鏈聞消息,投票權借貸協議PaladinProtocol推出其治理代幣PAL,67.6%的代幣將分配給社區.
1900/1/1 0:00:00