TPS:Compound 的潜在风险和改进_mdkxtoken

本文作者: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市场

埃森哲宣布对Looking Glass Factory进行战略投资:金色财经报道,埃森哲宣布对Looking Glass Factory进行战略投资,目的是让其客户组合加入元宇宙。Looking Glass Factory是一家总部位于纽约的全息影像公司,它使企业能够为在线购买产品的客户提供沉浸式体验。埃森哲希望帮助其在线业务客户组合为电子商务商店带来沉浸式体验。

埃森哲预测到2025年,元宇宙将成为一个价值1万亿美元的产业。麦肯锡的一份报告显示,到2030年,沉浸式3D产业的价值可能达到5万亿美元。

埃森哲元宇宙董事总经理兼全球主管David Treat表示,这项投资将帮助埃森哲利用Looking Glass的技术来加速其元宇宙运动。去年3月,该公司成立了“元宇宙统一体组”,该部门的任务是将元宇宙体验带到企业界。[2023/2/27 12:30:45]

如果未进入,会调用addToMarketInternal()将cToken添加到用户接触的资产列表accountAssets中

我查了下accountAssets,似乎只在存款,借款,和计算用户健康度时使用

其中前面两个操作(存款,借款)更多是类似声明的逻辑,没有什么疑点

//compound-protocol/contracts/Comptroller

/*Wecalculatethenumberofcollateraltokensthatwillbeseized*/(uintamountSeizeError,uintseizeTokens)=comptroller

else{seizeError=cTokenCollateral

Gate.io将于今日19:00上线PICKLE交易:据官方公告,Gate.io将于2020年12月9日(今日)19:00上线 Pickle Finance (PICKLE)交易,目前充值服务已开放。风险提示:请务必注意价格变化,提前调整市场挂单,切勿追高。[2020/12/9 14:42:35]

return(uint(Error

测试

我担心存在理解偏差,于是在Ropsten网络上进行了测试:

首先用账户A发送exitMarket交易,将存入的cETH退出市场

然后用账户A发送setUnderlyingPrice交易,操纵预言机,模拟市场价格波动,使得账户A资不抵债

最后用账户B发送liquidateBorrow交易,清算账户A的债务,指定以cETH为抵押物

结论是:退出市场的cETH确实可以被清算

问题

问题来了:

问题一:已经退出市场的资产,是否应该被清算?

问题二:如果不应该被清算,那么进入市场和退出市场的逻辑,意义何在?

综合考虑,我个人觉得Compound原意应该是不允许清算已退出市场的资产;理由如下:

首先,用户在实际存款前必须单独发起进入市场的交易,考虑到Compound在以太坊主网运营,交易手续费不可忽视

如果可以被清算,那么进入和退出市场的逻辑没有什么实际用途,在代码中也未找到其他用途

其次,在退出市场前,Compound提示如下

Gate.io合伙人酒儿:Hipo 独创订单薄+AMM双线交易模式 破局DEX创新之路:11月18日消息,今日,Gate.io 合伙人酒儿在接受币coin专访中表示:Hipo作为创新型的、基于HipoSwap协议的去中心化交易平台,可实现代币自由兑换、自由提取、参与流动性挖矿、借贷、理财等功能。相比Uniswap,Hipo创新性的增加了2个Maker矿池,融合了订单薄、AMM做市商模式,既支持交易需求大、不急于成交的Maker ,同时支持与矿池成交的Taker交易,有效的降低交易滑点和手续费,提升交易体验。这将在极大程度上解决DEX平台一直被诟病的滑点高、手续费高、安全风险等核心问题。

在安全管理方案方面,Hipo增设4种钱包管理方案:插件钱包、Wallet.io、私钥加密后存在服务器、硬件钱包来满足更多的体验和私钥保管需求。

未来,Hipo还将通过跨链和智能合约搭建与GateChain快速对接通道,同步高效的公链性能和安全方案,打造高效以及更优的去中心化交易模式。[2020/11/18 21:14:29]

但是,从另外一个角度来说,退出市场的资产,确实应该支持被清算,否则有损于系统健康度

反馈

两个角度都有道理,我没想明白,于是向Compound发送了邮件,一周后收到了回复:问题已知,已退出市场的资产可以被清算;提示文本看起来是有误导

不过,我还是没明白:既然可以被清算,为什么要设计进入退出的功能,用户专门发起这两笔交易的手续费呢...

BTW,前两天AaveV3似乎也引入了资产隔离的概念..

USDC钉住1美元

国际证监会组织发布2023年加密监管路线图:7月11日消息,国际证监会组织(IOSCO)发布了其未来几年通过解决加密货币法规缺乏问题来管理该行业的框架。

7月7日发布的指南显示,IOSCO董事会级金融科技工作组(FTF)的框架将专注于两个工作流程,重点是Crypto和Digital Assets(CDA)和DeFi。每个工作组计划在2023年底前发布一份包含政策建议的报告。

今年年初成立的特别工作组表示,今年出现投资者的损失是由于缺乏市场监管。因此,FTF指出,有必要保护投资者,并应对市场的完整性。考虑到加密货币的跨境性质,该组织还与金融稳定委员会(FSB)就金融稳定可能面临的风险等问题进行合作。这种合作还需要在全球和区域两级交换信息。(Finbold)[2022/7/11 2:05:24]

前面文章中有举例说明Compound价格预言机的流程,以DAI为例:首先向USDC-WETH交易对查询WETH价格,然后向DAI-WETH交易对查询DAI价格,最后将两者相乘,得到以USDC计价的DAI价格

换句话说,Compound中大部分token的价格是以USDC计价的

这里隐藏了一个假设,USDC价格是恒定不变的,可以作为计价单位

//https://github

}

实现上,Compound对USDC,USDT等做了特殊处理,其priceSource配置为FIXED_USD,钉在1美元

在USDC价格波动时,可能会导致一些问题,比如这个提案描述的例子:

假设USDC因监管或其他原因不断下跌,比如市场价格为0

}

其中,在计算sumCollateral时,使用的是抵押率collateralFactor

--与之相对的,在Aave中,贷款时按抵押率计算,而清算时健康度按清算阈值计算;因为清算阈值比抵押率大,因此留出了安全垫

引用链接中的例子:用户抵押价值2ETH的资产,借出1.575ETH的债务,此时健康度为1.0476

注意例子中的债务,是按资产的最大抵押率借出的;在这种情况下,可以忍受市场价格小范围的波动

比如,市场价格短期波动,导致债务上涨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反弹迫在眉睫?

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:0ms0-10:439ms