本文作者：bixia1994
参考链接：UUPSUpgradeableVulnerabilityPost-mortem-General/Announcements-OpenZeppelinCommunity
EIP-1967
在UUPS中，其实现了EIP-1967
作为一个实现EIP-897的代理合约，其在代理合约中会实现这两个函数。
UUPSEIP-1822
EIP-1822讨论的合约升级模式与Openzeppelin的透明合约升级模式的不同点在于：EIP-1822的代理合约只读取实现合约的地址，并将所有的方法都代理给实现合约，包括修改实现合约地址的逻辑部分也在实现合约里。而透明合约升级模式中，proxy合约管理着实现合约的地址，要实现合约升级，只需要在proxy合约中更改实现合约的地址即可。其他的逻辑代理给实现合约。
也就是说EIP-1822的实现合约既包含了普通的业务逻辑处理，更包含了自身的升级逻辑处理。简单来讲就是EIP-1822的实现合约部分，都需要继承自一个公共的可升级实现合约：proxiable
functionupgradeToAndCall(addressnewImplementation,bytesmemorydata)externalpayablevirtual{}function_authorizeUpgrade(addressnewImplementation)internalonlyOwner(){}
其中，openzeppelin通过回滚检测，来检查是否升级成功，避免了EIP-1822中遇到的问题：
function_upgradeToAndCallSecure(addressnewImplementation,bytesmemorydata,boolforceCall)internal{//第一步：设置newImpl地址到实现合约地址addressoldImplementation=_getImplementation();_setImplementation(newImplementation);//第二步：针对新的实现合约地址进行初始化if(data
//第三步：执行回滚检查//PerformrollbacktestifnotalreadyinprogressStorageSlot
}
Openzepplin的实现漏洞分析
在上述的Openzeppelin的实现中，其通过回滚检测避免了EIP-1822中遇到的问题：即升级到一个不满足EIP-1822规范的合约时，此时代理合约和实现合约就完全被锁死，无法继续升级。但是其又引入了一个新的问题，即：回滚操作中事实上模拟了一遍新的实现合约地址中的upgradeTo操作，并且是通过delegatecall方式来进行调用。
通过delegatecall调用新合约地址的upgradeTo方法有什么问题呢？
查看黄皮书中关于delegatecall的定义为：
Message-callintothisaccountwithanalternativeaccounts'code,butpersistingthecurrentvaluesforsenderandvalue
thismeansthatthereceipientisinfactthesameaccountasatpersent,simplythatthecodeisoverwrittenandthecontextisalmostentirelyidentical
从黄皮书的定义来看，delegatecall事实上保存了当前账户的余额和msg
functionmint(addressto,uint256amount)publiconlyOwner{_mint(to,amount);}function_authorizeUpgrade(addressnewImplementation)internalonlyOwneroverride{}}
注意这里的TestToken是UUPS升级合约的实现合约部分，而不是代理合约部分。那么应该如何去做这个TestToken的POC呢？
POC
这里不能直接在malicious合约中的upgradeTo方法中写selfdestruct，而是应该利用ForceCall部分的delegatecall，并通过写入rollbackTesting
function_authorizeUpgrade(addressnewImplementation)internal{}}
讨论
那么在openzeppelin的UUPS实现中，使用delegatecall来进行回滚测试有什么问题呢？
问题就是：
Address
}
上述openzeppelin实现的代码中，最为核心的一条是理解：当delegatecall到一个selfdestruct方法后，程序所有的代码都会被直接清空，不会继续往下执行，也就不会去执行后面的require判断条件。
然而在remix中执行时，发现delegatecall之后的require语句还是执行了：
这是不对的，需要进一步理解黄皮书中关于selfdestruct这个opcode的定义：
selfdestruct:Haltexecutionandregisteraccountforlaterdeletion
function_functionDelegateCall(addresstarget,bytesmemorydata)privatereturns(bytesmemory){require(AddressUpgradeable
当delegatecall到一个selfdestruct的方法时，其返回值为0，然后代码继续运行。如果此笔交易在后续的执行过程中成功，则上下文地址上的代码将会被清空。如果该笔交易在后续的执行过程中失败，则整体状态会回滚。
参考资料
bixia1994-互联网小工:https://learnblockchain.cn/people/3295
UUPSUpgradeableVulnerabilityPost-mortem-General/Announcements-OpenZeppelinCommunity:https://forum.openzeppelin.com/t/uupsupgradeable-vulnerability-post-mortem/15680
ContractsWizard-OpenZeppelinDocs:https://docs.openzeppelin.com/contracts/4.x/wizard
免责声明：作为区块链信息平台，本站所发布文章仅代表作者个人观点，与链闻ChainNews立场无关。文章内的信息、意见等均仅供参考，并非作为或被视为实际投资建议。
本文来源于非小号媒体平台：
登链社区
现已在非小号资讯平台发布105篇作品，
非小号开放平台欢迎币圈作者入驻
入驻指南：
/apply_guide/
本文网址：
/news/10378667.html
免责声明：
1.资讯内容不构成投资建议，投资者应独立决策并自行承担风险
2.本文版权归属原作所有，仅代表作者本人观点，不代表非小号的观点或立场
上一篇：
每周编辑精选WeeklyEditors'Picks
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。