本文作者：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市场
新加坡电信入驻韩国巨头SK Telecom元宇宙平台Ifland:金色财经报道，新加坡电信（Singtel）宣布入驻韩国电信巨头 SK Telecom 的元宇宙平台 Ifland，并推出了首个独家虚拟世界活动《Destination:ifland》。据悉，新加坡电信未来将在 Ifland 中推出新产品、电子游戏等，并与附属公司合作开发和部署其他用例。（cointrust）[2023/1/17 11:16:46]
如果未进入，会调用addToMarketInternal()将cToken添加到用户接触的资产列表accountAssets中
我查了下accountAssets，似乎只在存款，借款，和计算用户健康度时使用
其中前面两个操作(存款，借款)更多是类似声明的逻辑，没有什么疑点
//compound-protocol/contracts/Comptroller
/*Wecalculatethenumberofcollateraltokensthatwillbeseized*/(uintamountSeizeError,uintseizeTokens)=comptroller
else{seizeError=cTokenCollateral
return(uint(Error
测试
我担心存在理解偏差，于是在Ropsten网络上进行了测试：
首先用账户A发送exitMarket交易，将存入的cETH退出市场
然后用账户A发送setUnderlyingPrice交易，操纵预言机，模拟市场价格波动，使得账户A资不抵债
MDEX.COM新增MDX/FEI TRIBE/USDT流动性挖矿及交易挖矿:据MDEX.COM官方公告，将于4月4日23:00（UTC+8）在每区块挖矿总奖励80 MDX不变的情况下，新增流动性挖矿和交易挖矿名单。流动性挖矿名单细节如下：MDX/FEI：每区块奖励0.20935MDX，
TRIBE/USDT：每区块奖励0.27825MDX。交易挖矿名单细节如下：MDX/FEI: 每区块奖励0.107MDX，TRIBE/USDT：每区块奖励0.107MDX。
DAO管理开启后，权重调整方案将交由社区投票决定。跨链桥网址请查看原文，备注：需在浏览器或者手机钱包输入网址，选择以太坊主网即可跨链资产[2021/4/5 19:45:43]
最后用账户B发送liquidateBorrow交易，清算账户A的债务，指定以cETH为抵押物
结论是：退出市场的cETH确实可以被清算
问题
问题来了：
问题一：已经退出市场的资产，是否应该被清算？
问题二：如果不应该被清算，那么进入市场和退出市场的逻辑，意义何在？
综合考虑，我个人觉得Compound原意应该是不允许清算已退出市场的资产；理由如下：
首先，用户在实际存款前必须单独发起进入市场的交易，考虑到Compound在以太坊主网运营，交易手续费不可忽视
如果可以被清算，那么进入和退出市场的逻辑没有什么实际用途，在代码中也未找到其他用途
其次，在退出市场前，Compound提示如下
但是，从另外一个角度来说，退出市场的资产，确实应该支持被清算，否则有损于系统健康度
ZG.COM于2月23日16:00上线杠杆代币ADAUP、ADADOWN等项目:据ZG.COM官方公告，ZG.COM将于2021年2月23日16:00上线杠杆代币ETF交易—ADAUP（做多ADA）、ADADOWN（做空ADA）、EOSUP（做多EOS）、EOSDOWN（做空EOS），并开通ADAUP/USDT、ADADOWN/USDT 、EOSUP/USDT、EOSDOWN/USDT交易市场。
ZG.COM杠杆代币是由ZG.COM发行的一种带有杠杆功能的代币（非链上代币），该杠杆代币具有浮动杠杆、智能调仓机制、低费率等特点，并且每个杠杆代币的背后都对应了一篮子的ZG.COM合约持仓，杠杆代币价格将跟踪ZG.COM合约市场的价格变化，并随之产生杠杆水平的涨跌。[2021/2/22 17:39:21]
反馈
两个角度都有道理，我没想明白，于是向Compound发送了邮件，一周后收到了回复：问题已知，已退出市场的资产可以被清算；提示文本看起来是有误导
不过，我还是没明白：既然可以被清算，为什么要设计进入退出的功能，用户专门发起这两笔交易的手续费呢...
BTW，前两天AaveV3似乎也引入了资产隔离的概念..
USDC钉住1美元
前面文章中有举例说明Compound价格预言机的流程，以DAI为例：首先向USDC-WETH交易对查询WETH价格，然后向DAI-WETH交易对查询DAI价格，最后将两者相乘，得到以USDC计价的DAI价格
换句话说，Compound中大部分token的价格是以USDC计价的
这里隐藏了一个假设，USDC价格是恒定不变的，可以作为计价单位
动态 | Crypto.com已发布其公有链的公共测试网:支付及加密货币平台Crypto.com已发布其公有链——Crypto.com链（Crypto.com Chain）的alpha版本公共测试网。本次测试网发布于宣布Crypto.com链计划之后的10个月，较预期有所提前。（美通社）[2019/9/19]
//https://github
}
实现上，Compound对USDC，USDT等做了特殊处理，其priceSource配置为FIXED_USD，钉在1美元
在USDC价格波动时，可能会导致一些问题，比如这个提案描述的例子：
假设USDC因监管或其他原因不断下跌，比如市场价格为0
}
其中，在计算sumCollateral时，使用的是抵押率collateralFactor
--与之相对的，在Aave中，贷款时按抵押率计算，而清算时健康度按清算阈值计算；因为清算阈值比抵押率大，因此留出了安全垫
引用链接中的例子：用户抵押价值2ETH的资产，借出1.575ETH的债务，此时健康度为1.0476
注意例子中的债务，是按资产的最大抵押率借出的；在这种情况下，可以忍受市场价格小范围的波动
比如，市场价格短期波动，导致债务上涨3%时，此时健康度仍在1以上，用户资产不会面临清算风险
隐患
不在官方仓库中的代码
比如价格预言机，还未被合并，见Compound代币和价格预言
声音 | Bitcom.com CTO：是时候考虑用新链构建令人惊叹的事情了:就BCH ABC在此次硬分叉中获得压倒性胜利一事，Bitcom.com CTO Emil Oldenburg在推特表示：“比特币现金在硬分叉之后已经达到了100个区块，这意味着是时候开始思考我们可以用这些新功能构建怎样令人惊叹的事情了。”[2018/11/16]
又如，官方仓库中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反弹迫在眉睫？
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。