木星链 木星链
Ctrl+D收藏木星链
首页 > Filecoin > 正文

COM:Compound 的潜在风险和改进

作者:

时间:1900/1/1 0:00:00

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

Compass Point上调比特币矿企Iris股票评级,其股价上涨近8%:9月14日消息,比特币矿企Iris Energy(IREN)股价周三大幅上涨,此前研究公司Compass Point将其股票评级从中性上调为买入。

分析师Chase White表示,如果Iris Energy能够像8月份那样以低成本获得额外的计算能力,它就有可能提高其算力,从而提高比特币产量。White还预计,如果Iris Energy能够执行其战略,其股票可以相对于其他小型矿企溢价交易。

截至发稿时,IREN交易价格为4.59美元,上涨近8%。Compass Point的目标价为每股6.50美元。(CoinDesk)[2022/9/15 6:56:44]

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

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

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

//compound-protocol/contracts/Comptroller

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

else{seizeError=cTokenCollateral

return(uint(Error

Crypto.com获得赛车赛事Miami Grand Prix的冠名权:2月19日消息,赛车赛事Miami Grand Prix发起组织South Florida Motorsports (SFM) 宣布,与Crypto.com达成一项为期九年的新协议,比赛将被正式称为Formula 1 Crypto.com Miami Grand Prix。(F1 Technical)[2022/2/20 10:03:18]

测试

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

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

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

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

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

问题

问题来了:

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

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

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

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

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

USDT在Compound协议上的供应量本周增加三倍:金色财经报道,数据显示,Compound协议上的USDT供应量从本周初的约4370万美元增加了三倍,到周五已超过2.24亿美元。上周这个时候,USDT的供应量刚刚接近百万美元大关。据悉,USDT拥有2000个贷方和400个借方,是Compound协议上最大和最活跃的贷款市场之一。相比之下,USDC的供应量目前略低于1.7亿美元,尽管贷方数量远高于5500多个。[2020/6/20]

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

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

反馈

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

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

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

USDC钉住1美元

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

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

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

//https://github

公告 | HL于2月27日12:00上线ZG.COM全币种合约:据官网公告,HL于2月27日12:00上线ZG.COM全币种合约。

HLChain是利用区块链技术和数字身份进行健康医疗数据资产数字化,利用智能合约对数字资产进行自动化管理,实现“智能经济”的一种分布式网络,打造健康医疗行业垂直应用公链。

全币种合约由ZG.COM推出,可支持全币种开通以BTC价格为指数的合约,采用逐仓保证金模式。[2020/2/24]

}

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

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

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

}

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

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

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

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

比如,市场价格短期波动,导致债务上涨3%时,此时健康度仍在1以上,用户资产不会面临清算风险

隐患

不在官方仓库中的代码

比如价格预言机,还未被合并,见Compound代币和价格预言

动态 | Blockchain.com推出BCH区块浏览器:据bitcoin.com报道,Blockchain.com推出了比特币现金(BCH)区块浏览器,允许人们在BCH区块链上搜索交易哈希、区块和地址。[2019/2/6]

又如,官方仓库中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反弹迫在眉睫?

标签:COMCOMPOMPUNDCompound Daicomp币历史最高价格comp币背景MUNDO

Filecoin热门资讯
ETC:ZT創新板即將上線ZAM

親愛的ZT用戶:ZT創新板即將上線ZAM,並開啟ZAM/USDT交易對。具體上線時間如下:充值:已開啟;交易:2021年11月4日17:00;ZAM項目簡介:ZAM是Zamzam基礎設施的原生實.

1900/1/1 0:00:00
RAM:关于 Meme 盛行的一些思考:模因和投资的结合是强大的

原文作者FredWilson,以下为全文编译。我记得五六年前,我的一个朋友告诉我,他买了一些狗狗币。我疑惑:“他在干什么?”,我认为这是愚蠢且疯狂的.

1900/1/1 0:00:00
PIVX:幣安寶上線 PIVX 理財產品,年化60%

親愛的用戶:“幣安寶”現已上線PIVX定期理財活動,為用戶提供閑置數字資產增值服務。定期理財活動:申購模式:先到先得申購時間:東八區時間2021年11月04日20:00至2021年11月05日2.

1900/1/1 0:00:00
TEM:Tempus 完成 400 万美元新一轮融资,计划于 11 月底在以太坊主网上线

链闻消息,未来收益率代币化和固定利率协议Tempus完成400万美元新一轮融资,DistributedGlobal、JumpCapital、KojiCapital参投.

1900/1/1 0:00:00
DEF:Footprint 10月份月报:多链竞争格局基本形成, NFT、DeFi 成资本投资热门

撰文:Footprint分析师Bella()日期:2021年11月数据来源:FootprintAnalytics10月月报dashboard(https://footprint.

1900/1/1 0:00:00
MEX:MEXC關於下架代幣兌換為USDT的公告

尊敬的用戶:為保護用戶權益、推動行業健康發展、避免因流動性過低影響用戶交易體驗,MEXC將對部分交易量小、活躍度低的幣進行下架、兌換處理.

1900/1/1 0:00:00