宇宙链 宇宙链
Ctrl+D收藏宇宙链

打破区块链的不可篡改性:代理模式如何实现智能合约升级?

作者:

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

代理模式使智能合约能够升级其逻辑,同时维持其链上地址和状态值。对代理合约的调用会通过delegateCall的方式执行来自逻辑合约的代码,以修改代理合约的状态。

本文将为大家概述代理合约的类型、相关的安全事件和建议,以及使用代理合约的最佳实践。

可升级的合约和代理模式简介

我们都知道区块链的「不可篡改」特质,智能合约代码在部署于区块链上后就无法被修改。

因此当开发者想为逻辑升级、修复错误或因安全更新试图更新合约代码时,他们必须部署一个新的合约,并会生成一个新的合约地址。

想要解决这个问题,就可以用代理模式。

代理模式实现了合约的可升级性,并且不会改变合约的部署地址,这也是目前最普遍的合约升级模式。

代理模式是一个可升级的合约系统,包括代理合约和逻辑实现合约。

代理合约处理用户交互和数据及合约状态存储。用户对代理合约的调用会通过delegatecall()执行来自逻辑合约的代码,从而改变代理合约的状态。升级则是通过更新在代理合约预定存储槽里记录的逻辑合约地址来实现。

较为常规的三种代理模式分别是透明代理、UUPS代理和Beacon代理。

透明代理

在透明代理模式中,升级功能是在代理合约中实现的。代理合约的管理员角色被赋予了操作代理合约的直接权限,以更新代理对应的逻辑实现地址。没有管理员权限的调用者则会把他们的调用委托给实现合约。

注意:代理合约管理员不能是逻辑实现合约的关键角色,甚至也不能是普通用户,因为代理管理员无法与实现合约进行交互。

12月NFT销售额增长13%,打破连续8个月的下滑趋势:金色财经报道,据The Block数据,12 月 NFT 的月交易量在 2022 年打破了连续 8 个月的下降趋势,较 11 月增长 13% 至 5.495 亿美元。尽管环比增长,但交易量仍只是一年前的一小部分,2021 年 12 月的交易量约为 28 亿美元。[2023/1/13 11:09:26]

UUPS代理

在UUPS(Universal Upgradeable Proxy Standard)模式中,合约升级功能是在逻辑合约中实现的。由于升级机制存储在逻辑合约中,升级过后的版本可以删除升级相关的逻辑,以禁止未来的升级。在这种模式下,所有对代理合约的调用都会被转发给逻辑实现合约。

Beacon代理

Beacon代理模式允许多个代理合约通过引用Beacon合约来共享同一个逻辑实现。Beacon合约为调用的代理合约提供逻辑实现合约的地址,当升级到一个新的逻辑实现地址时,只需要更新Beacon合约里记录的地址即可。

代理误用和安全事件

开发人员可以利用代理模式合约来实现可升级的合约系统。然而,代理模式也有一定的操作门槛,如果使用不当,可能会给项目带来堪称毁灭性的安全问题。以下部分展示了与代理误用相关的事件,以及代理带来的中心化风险。

代理管理的密钥泄露

代理管理员控制着透明代理模式的升级机制,如果管理员的私钥被泄露,攻击者可以升级逻辑合约并在代理状态上执行他们自己的恶意逻辑。

BMEX合约研究院:ETH目前已经打破了大级别顶部,今日关注其下跌力度:BMEX合约研究院:昨天行情依然是震荡,BTC昨天下午出现了小级别低点,到最高点利润还是有2000点以上的,不过上去的快下来的也快,拿到手的会比最高位少很多,也无妨,这里的行情毕竟不是特别明确,有一点算一点,目标不用定的过高。

就目前来看,BTC很快就要选择趋势方向,暂时没有大级别顶部,加上ETH目前已经打破了大级别顶部,最大的顶也就是刚刚出现的1小时级别,所以,今天依然是观望为主,看看ETH这个1天左右的下跌力度如何,如果依然是下跌无力,横盘代跌,今天下午开始,就要找低点做多了,如果跌的猛了,那就另说了。[2021/4/29 21:09:19]

2021年3月5日,PAID Network遭受了由于私钥管理不善而引起的“铸币”攻击。PAID Network被攻击者利用,攻击者窃取了代理管理员的私钥并触发了升级机制以更改逻辑合约。

升级后,攻击者可以销毁用户的PAID,并为自己铸造了一批PAID,随后再将其出售。代码本身并不存在安全漏洞,而是攻击者从管理员那里获取了升级合约的私钥。

未初始化的UUPS代理实现

对于UUPS代理模式,在代理合约的初始化过程中,初始参数由调用者传给代理合约,再由代理合约调用逻辑合约里的initialize()函数实现初始化。

initialize()函数通常被“initializer”修饰符保护,以限制该函数只能被调用一次。在调用initialize()函数后,从代理合约的角度看,逻辑合约被初始化了。

然而,从逻辑合约的角度来看,逻辑合约并没有被初始化,因为initialize()并没有在逻辑合约中被直接调用。鉴于逻辑合约本身未被初始化,任何人都可以调用initialize()函数来初始化它,将状态变量设置为一个恶意的值,并有可能接管逻辑合约。

Bitget合约大数据中心:BTC多头打破僵局:据Bitget合约大数据中心行情播报,截至今日11:00,Bitget交易所BTC/USDT合约过去24小时交易量高达8.7亿美金,其中:盈利用户占比25%,多头盈利4%,空头盈利43%;亏损用户占75%,多头亏损18%,空头亏损35%。此外,Bitget正向合约当前盘口价差在0.5USDT左右,合约基差在0.2USDT左右。Bitget合约分析师表示,BTC四小时线看,呈现开口上行姿态,KDJ和RSI指标均三线向上发散。[2020/7/23]

逻辑合约被接管的影响取决于系统中的合约代码。在最坏的情况下,攻击者可以将UUPS代理模式中的逻辑合约升级为恶意合约,并执行“自毁”函数调用,这可能导致整个代理合约变得毫无用处,合约中的资产将永久丢失。

案例

① Parity Multisig Freeze:未初始化逻辑合约。攻击者触发了许多钱包的初始化,并通过调用 selfdestruct() 将以太币锁定在合约中。

② Harvest Finance、Teller、KeeperDAO和Rivermen都使用了未初始化的逻辑合约,这将允许攻击者任意设置合约的初始化参数,并在delegatecall() 期间执行selfdestruct()将代理合约销毁。

存储冲突

在一个可升级的合约系统中,代理合约不会声明状态变量,而是使用伪随机存储槽来存储重要数据。

代理合约将逻辑合约状态变量的值保存在它们被声明的相对位置。如果代理合约声明了它自己的状态变量,这时代理和逻辑合约都试图使用同一个存储槽,就会发生存储冲突。

OpenZeppelin库提供的代理合约不会在合约中声明状态变量,而是基于EIP 1967标准,将需要存储的数值(如管理地址)保存到特定的存储槽中,以防止冲突。

原中国进出口银行董事长:Libra这类数字货币可能会打破现在一币独大的国际货币体制:日前,中国进出口银行原董事长李若谷在《北大金融评论》撰文,文中指出,Libra这类数字货币的出现可能会改变到目前为止运行的货币银行制度,冲击现有国际金融体系,从而打破现在一币独大的国际货币体制。我们必须予以高度重视,不能放弃在新体系构成中的发言权与参与权。同时,我们要思考目前打破该体系的正负面影响,提出一些问题:在一个以民族国家为主的世界上,抛开IMF这类被认可的国际金融机构,由一个私人机构发行一种超国界、超主权的货币的可行性有多大?如果有这种可能性,我们应该做哪些基础性的工作来促进?多提出问题,多思考问题,对我国的发展会更加有利。[2020/3/6]

北京时间2022年7月23日,去中心化音乐平台Audius遭到黑客攻击,该事件是由于在代理合约中引入新的逻辑,从而产生存储冲突所导致的。

代理合约声明了一个proxyAdmin地址状态变量,在执行逻辑合约代码时,其值会被错误地读取。

项目方私自定义的proxyAdmin的值被错误的当成了initialized和initializing的值,使得initializer修饰符返回了错误的结果,进而允许攻击者再次调用initialize()函数并将管理合约的权限授予自己。攻击者随后更改了投票参数并通过了他们的恶意提案,以窃取Audius资产。

在逻辑合约里调用delegatecall()或不信任的合约

假设delegatecall()存在于一个逻辑合约中,而合约没有正确验证调用目标。在这种情况下,攻击者可以利用该函数来执行对其控制的恶意合约的调用,以破坏逻辑实现或执行自定义逻辑。

同样地,逻辑合约中若有一个不受限制的address.call()函数,一旦攻击者恶意提供地址和数据字段,就可以利用其充当代理合约。

声音 | Block.one开发者关系主管:打破对区块链的五大误解:Block.one开发者关系主管发表了主旨为“打破区块链五大误解”的文章,要点如下: 误解1. 区块链是解决所有问题的灵丹妙药; 误解2. 区块链速度慢、效率低; 误解3. 区块链尚未被政府等主流社会所接纳; 误解4. 区块链尚且无法被企业大规模应用,技术不成熟; 误解5. 区块链世界看不透、摸不着,高深莫测不透明。[2019/12/3]

Pickle Finance、Furucombo以及dYdX攻击事件。

在这几起事件中,存在漏洞的合约获得了用户token的批准,并且合约内存在一个由用户提供调用合约地址和数据的call()/delegatecall(),攻击者将能够调用具有transferFrom()功能的合约,以提取用户余额。在dYdX事件中,dYdX执行了他们自己的白帽攻击以保护资金。

最佳实践

一般情况

(1)仅在必要的时候才使用代理模式

不是每个合约都需要升级。如上文所示,使用代理模式涉及很多风险。“可升级”的属性也会引起信任问题,因为代理管理员可以在没有得到社区同意的情况下升级合约。我们建议仅在必要时才将代理模式整合到项目中。

(2)不要修改代理库

代理合约库很复杂,尤其是处理存储管理和升级机制的部分。修改中的任何错误都会影响代理和逻辑合约的工作。我们在审计过程中发现的大量与代理有关的高严重性bug都是由不正确的代理库修改造成的。Audius事件就是一个典型的例子,展示了代理合约修改不当所带来的后果。

代理合约操作管理要点

(1)初始化逻辑合约

攻击者可以接管一个未初始化的逻辑合约,并有可能借此破坏代理合约系统。因此请在部署后初始化逻辑合约,或者在逻辑合约的构造函数中使用_disableInitializers()来自动禁用初始化。

(2)确保代理管理账户的安全

一个可升级的合约系统通常需要一个“代理管理员”的特权角色来管理合约的升级。如果管理密钥泄露,攻击者可以自由地将合约升级为恶意合约,就可以窃取用户的资产。我们建议谨慎管理代理管理账户的私钥,以避免任何被黑客攻击的潜在风险。可以使用多签名钱包来防止单点的密钥管理失败。

(3)为透明代理管理使用单独的账户

代理管理和逻辑治理应该是独立的地址,以防止丢失与逻辑实现的交互。如果代理管理和逻辑治理引用同一个地址,就不会转发任何调用来执行特权功能,从而禁止治理功能的更改。

代理合约存储相关

(1)在代理合约中声明状态变量时要小心谨慎

正如Audius黑客事件中所解释的那样,代理合约在声明自己的状态变量时必须谨慎。在代理合约中以正常方式声明的状态变量会在读写数据时造成数据冲突。如果代理合约需要一个状态变量,请将该值保存在一个类似EIP1967的存储槽中,以防止在执行逻辑合约代码时发生冲突。

(2)维护逻辑合约的变量声明顺序和类型

每个版本的逻辑合约都必须保持状态变量相同的顺序和类型,并且需要在现有变量的末尾添加新的状态变量。否则,委托调用会导致代理合约读取或覆盖不正确的存储值,而且旧的数据可能与新声明的变量相关联,这会给应用程序带来严重的问题。

(3)在基础合约中包含存储间隙

逻辑合约需要在合约代码中包含存储间隙,以便在部署新的逻辑实现时预测到新的状态变量。在添加新的状态变量后,需要适当地更新间隙的大小。

(4)不在构造函数或声明过程中设置状态变量的值

在声明期间或构造函数中分配状态变量只会影响逻辑合约中的值,不会影响代理合约。非不可变的参数应该使用initialize()函数来分配。

合约继承

(1)可升级合约只能继承自其他可升级合约

与不可升级的合约相比,可升级的合约具有不同的结构。例如,构造函数与改变代理状态不兼容,它使用initialize()函数来设置状态变量。

任何继承另一个合约的合约都需要使用其继承合约的initialize()函数来分配各自的变量。当使用OpenZeppelin库或编写自己的代码时,确保可升级的合约只能继承其他的可升级合约。

(2)不要在逻辑合约中实例化新合约

通过Solidity创建实例化的合约将不可升级。合约应单独部署,并将其地址作为参数传递给可升级的逻辑合约,以实现可升级状态。

(3)Parent合约初始化风险

当初始化Parent合约时,__{ContractName}_init函数将初始化其Parent合约。调用多个 __{ContractName}_init可能导致Parent合约的第二次初始化。注意__{ContractName}_init_unchained()将只初始化{ContractName}的参数,而不会调用其Parent合约的初始化器。

然而,这并不是一个值得推荐的做法,因为所有的Parent合约都需要被初始化,不初始化所需的合约会导致以后的执行问题。

逻辑合约的实现

避免使用selfdestruct()或对不信任的合约执行selegatecall()/call()

如果合约中存在selfdestruct()或delegatecall(),攻击者就有可能利用这些函数来破坏逻辑实现或执行自定义逻辑。开发者应验证用户的输入,不允许合约执行对不信任合约的delegatecall/calls。此外,不建议在逻辑合约中使用delegatecall(),因为在多个合约的代理链中管理存储布局会很麻烦。

写在最后

代理合约通过使协议在部署后能够更新其代码逻辑,来绕过区块链的不可篡改特质。然而,开发代理合约仍然需要十分谨慎,不正确的实现可能会导致项目安全与逻辑问题。

总的来说,最佳实践是使用权威提供的且经过广泛测试的解决方案,因为透明、UUPS和Beacon代理模式每个都有针对各自用例的经过验证的升级机制。除此之外,升级代理的特权角色也应该被安全地管理,以防止攻击者改变代理逻辑。

逻辑实现合约也应注意不要使用delegatecall(),这样可以防止攻击者执行某些恶意代码,如selfdestruct()。

虽然遵循最佳实践可以确保代理合约部署的稳定,同时保持可升级的灵活性,但所有代码都容易出现可能危及项目的新安全或逻辑问题。因此所有的代码最好由具备审计和保护代理合约协议经验的安全专家团队进行审计。

CertiK中文社区

企业专栏

阅读更多

金色早8点

Odaily星球日报

金色财经

Block unicorn

DAOrayaki

曼昆区块链法律

标签:ALLCALALIIZEALLINethnical3QualityIZE币

比特币行情热门资讯
Polychain Capital今年投资的11个项目总览

作者:dLux,DeFi KOL;翻译:金色财经xiaozouPolychain Capital是一家能让项目发挥潜能、梦想成真的风险投资公司。他们在2017年投资了MakerDAO和dydx,2018年投资了Starkware.

1900/1/1 0:00:00
BTC的链上视频游戏将成为现实?铭文获得革命性升级

近几个月来,BTC铭文引起了巨大的热议,使得BTC社区分成了两派。而最新的升级“Recursive(递归)铭文”可能同样具有争议性,因为这项升级将允许铭文“间接地”突破4MB的区块空间限制.

1900/1/1 0:00:00
币安高盛等巨头纷纷入场的RWA赛道是什么?

RWA(Real World Assets,真实世界资产)这一概念近几个月议论声不断,各大巨头机构在此赛道布局,认为是时候入场并表示长期的看好.

1900/1/1 0:00:00
Sui主网上线满月 链上持币者数据分析

5月3日,Sui主网正式上线,Sui的融资金额超3亿美元,估值为20亿美元。Sui没有空投,而是选择IEO/IDO,SharkTeam基于链上安全分析平台ChainAegis数据,对这一个月中Sui的IEO/IDO、交易量、持币者做了.

1900/1/1 0:00:00
Shapella升级之后:收益率、竞争和LSD-Fi的长期影响

作者:Lawrence Lee,Mint Ventures研究员 来源:Mint Ventures2023年4月13日,以太坊的Shapella(执行层的Shanghai和共识层的Capella)升级正式上线.

1900/1/1 0:00:00
风投之王红杉近期下注了哪些加密项目?

撰文:Surf 编译:Luffy,Foresight News红杉资本拥有 850 亿美元的资产管理规模,是迄今为止最著名的风险投资公司之一,他们在 8 支基金中对加密货币行业投资了超过 15 亿美元.

1900/1/1 0:00:00