本文来源:区块链大本营
原文作者:AlbertoCuestaCa?ada
翻译:火火酱
由于所有已部署合约都有24KB的硬限制,所以除了少数极其简单的应用程序外,其他所有的Ethereum应用都是由多个智能合约组成的。
如何才能确保各智能合约间的安全协作呢?
在将代码分解为多个可操作的合约后,我们便会发现有的合约中的函数需要通过另一个合约才能进行调用。
例如,在Uniswapv2中,只有合约工厂可以对UniswapPair进行初始化。
对于Uniswap团队来说,只需要稍微检查一下就可以解决的问题对于很多其他项目来说,却需要从头开始重新编写调配解决方案。
在了解问题和开发模式的过程中,我们深入理解了如何借助多个智能合约来构建应用程序,从而使Yield更加健壮且安全。
Hamster宣布智能合约Gas分析工具正式上线:4月25消息,一站式Web3.0安全开发环境及中间件引擎Hamster自研的智能合约代码分析工具正式上线。据悉,该工具可向Web3.0数以十万计的智能合约提供合约Gas消耗情况分析,能大幅提高合约运行效率,缓解以太坊网络堵塞情况。此外,Hamster将自动创建模拟链并生成Gas费消耗报告,让开发者更好地了解自己合约在以太坊网络中的消耗情况。通过结果分析,开发者还可以发现合约中的潜在问题,如:循环操作次数过多;过量的存储操作与计算操作;不必要的外部调用及复杂性设计等。能进一步优化合约的性能和可靠性,降低运行成本。[2023/4/25 14:25:06]
在本文中,我们将借助几个知名项目中的实例来深入分析智能合约的调配方式。希望大家在读完本文之后可以对照自己项目的需求,选择出最适合自己的方法。
背景知识
前文提到,我们首先要把项目分解成多个智能合约,这是出于技术和精神两个层面的限制要求。
技术限制源于2016年11月发生的一项改变。当时,Ethereum主网实施了SpuriousDragon硬分叉。此举将已部署的智能合约的大小限制在24576字节以内。
在没有此项限制时,攻击者可以在部署智能合约期间进行无限次的计算。此举虽然不会对存储在区块链中的数据产生任何影响,但却是一种针对Ethereum节点的拒绝服务攻击。
NBAxNFT:因智能合约问题导致提前售罄,正识别白名单中无法铸造NFT的钱包:4月21日消息,NBA旗下NBAxNFT官推特发文称:“我们认识到智能合约的问题,它导致白名单供应提前售罄。目前正在识别白名单中无法铸造NFT的钱包。”此前消息,NBA宣布4月21日推出季后赛“动态”NFT The Association,总发行量18000枚;BlockSec告警系统今早发现NBA NFT合约存在漏洞,以致非白名单用户可铸造NFT,已有攻击者铸造了多个NFT,而在之前的宣发活动中白名单用户只能免费铸造一个NFT。[2022/4/21 14:38:29]
由于当时的区块gas限制无法支持这种规模的智能合约,所以这项改变当时并没有受到重视:
“该解决方案为储存在区块链中的对象大小设置了最高上限,并使其略高于当前gas上限值”
在DeFi大爆炸之前,我们为Yield编写了2000行智能合约代码,部署后的代码加起来接近100KB,审核员完全没有觉得项目过于复杂。
但我们仍需把解决方案分解为多个合约。
复杂性和面向对象程序设计
将区块链应用分解为多个智能合约的第二个原因与技术限制无关,而是与“人”的精神限制有关。
在特定的时间内,我们大脑中能储存的信息量是一定的。相比于处理单一且涉及面广的大问题,人们在处理多个相互间存在关联的小问题时表现会更好。
Cover团队在Kovan以太坊测试网部署xCOVER智能合约:1月19日消息,Cover联合创始人Alan通过推特发布Kovan以太坊测试网上的交易哈希,交易哈希显示Cover团队已经建立了新的智能合约(xCOVER)。在评论中有推特用户称:xCOVER来了,我们将能够质押COVER来获得xCOVER。此前Alan透露Cover Protocol V2即将面世。[2021/1/19 16:29:46]
实际上,Object-OrientedProgramming可以提高软件的复杂性。通过定义代表某种概念的“对象”,并将变量和函数看作该对象的属性,开发人员能够在心里更好地描画和理解需要解决的问题。
Solidity在合约层面使用了面向对象的编程技术。我们可以将合约看作是一个具有变量和函数的“对象”,在脑海中将复杂的区块链应用程序想象成多个合约的集合,每个合约代表一个单独的实体。
例如,在MakerDAO中,每种加密货币都有单独的合约,此外还有记录债务的合约、表示债务和外界间网关的单独合约等等。我们不可能将所有内容都编写在同一个合约中——即使可能,也会异常困难。
把一整个大问题分解成具有内在联系的多个小问题可以帮助我们更快地找出解决方案。
实现
接下来,让我们一起来研究一下Uniswap、MakerDAO以及?Yield?的实现方式。
独家 | 区块链项目10%-20%的智能合约业务存在逻辑漏洞:多家交易所为了保护各平台投资者及自身的资产安全,委托独立第三方智能合约审计机构降维安全实验室对所有即将在交易所上线的项目方智能合约进行安全审计。在审计过的数百份智能合约中,降维安全实验室(Johnwick.io)发现超过70%的智能合约代码优质、业务逻辑严谨,但也有极少数项目方合约代码存在严重的业务逻辑风险,上线后可能会给交易平台及投资者造成巨大的资产损失。主要问题表现为合约Owner(合约所有者、创始团队)权限设置过大,可以无限增发代币,更为严重的是溢出可以随意增加和销毁任意地址的代币,甚至包含交易所自身的钱包地址。在这种情况下如果Owner自身作恶或者被盗取账号,在上线交易拉高币价后进行大量增发再砸盘至价格归0,可在短期内获得巨大收益,而蒙受巨大损失的只有交易所及广大投资者。降维安全实验室作为合约审计的受委托方,在审计合约时以最大程度的保护广大区块链投资者及交易平台的资产为唯一目标,对合约有极高的要求所以可能会出现审计不通过的情况,对于没有经过严格评估过的合约资产,可能在未来的某段时间内爆发资产风险,希望广大用户注意。[2018/7/12]
从简单的例子开始——Uniswap和Ownable.sol
我很喜欢Uniswapv2,因为它非常简单。开发人员用410行智能合约代码就成功建立了去中心化交易所。仅部署了两类合约:工厂和不限数量的配对交换合约。
币安发布SUB智能合约权限风险提示:币安公告称,经审核仅SUB代币存在项目方超权限风险,我们检查了区块链记录,确认这个权限并未被使用后,与SUB团队及时进行了沟通,SUB确认了这个问题并将提供解决方案。[2018/6/11]
其工厂合约的设计方式决定了其配对交易合约的部署需要经过两个步骤。首先部署合约,然后用将要进行交易的两个代币对其进行初始化。
由于需要确保只有创建配对交易合约的工厂才能对合约进行初始化,所以他们重新实施了Ownable模式。
此举取得的效果还不错,如果你也遇到了同样的问题,可以借鉴这个方法。如果你知道自己的合约只需要给另一个合约开通访问特权的话,可以使用Ownable.sol。甚至都用不到Uniswap这种工厂。你可以在一个用户中部署两个合同,然后执行minion.transferOwnership(address(boss))。
更为完善的例子——Yield
Yield的解决方案就没有Uniswapv2那么简单了。其核心由五个合约组成,并且特权访问关系并不是一一对应的。部分合约具备的限制功能可以帮助我们访问其他核心合约。
因此,我们只需扩展Ownable.sol以生成两个访问层,其中一层有多个成员:
合约所有者可以向特权列表中添加地址。继承合约可以包含onlyOrchestrated修改器以限制对授权地址的访问。
每个地址都会与一个函数签名共同注册,从而收紧对函数的访问权限,增强安全性。
由于我们会在期间部署orchestrate合约,所以没有取消访问权限的函数,owner会通过调用所有合约上的transferOwnership(adress(0))来放弃其特权访问。
我们自己的平台代币yDai,将从Orchestrated继承并限制mint在owner放弃其特权之前建立的特定合约:
这种模式相对容易实现和调试,并且可以实现我们合约中的函数。
极具迷惑性的例子——MakerDAO
大家都非常讨厌MakerDAO中各种难以理解的术语。但在搞清楚Yield的调配模式后,我才发现它们二者的实现方式几乎是完全相同的。
1.合约部署者是wards的原成员。
2.wards可以rely其他人,并使其同样成为watds。
3.可以限制函数,只有wards可以执行函数。
例如,MakerDAO的Vat.sol合约中的fold函数可被用于更新利率累加器,并且只能被其集合中的另一函数调用。如果我们观察一下该函数的话,便会发现用于调配的auth修改器,
从某种程度上来说,auth和其他调配实现是对private和internal函数概念的扩展,仅适用于在合约间进行访问控制。
MakerDAO与我们项目的实现方式非常类似。
1.合约部署者是wards原成员。在Yield中,即owner。
2.wards可以rely其他人并使其成为wards。在Yield中,只有owner可以orchestrate其他地址并authorized。
3.函数受限制,因此只有wards可以执行受限函数。在Yield中,我们提到onlyOrchestrated地址可以调用标记函数。进一步限制对函数的访问。
除了在Yield中使用了两个访问层以及函数限制以外,二者的实现方式是一样的。可见,合约调配是一种一经实现即可重复使用的常见模式。
从审核员和用户的角度出发,我们还开发了一个收集区块链事件,并展现合约所有权和调配图的脚本。
总结
智能合同的调配是一个在很多项目中反复出现的问题,在遇到此类问题,大家往往都会从零开始进行调配。但其实此类问题的解决方案都是十分类似的。
我们可以遵循以上标准来实现安全有效的调配,希望大家可以深入理解文中的示例原理,并形成适合自己的解决方案。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。