链资讯 链资讯
Ctrl+D收藏链资讯
首页 > 狗狗币 > 正文

智能合约安全千万条 访问权限设置第一条

作者:

时间:

引子: “庖人虽不治庖,尸、祝不越樽俎而代之矣。”  -- 《庄子·逍遥游》

古时候,有一位杰出的领袖名叫唐尧。他所治理的地区人们安居乐业,但是他听闻隐士许由十分有才干,便萌生了将领导权让给许由的想法。但是许由拒绝了,并说出了这样一段话“鹪鹩巢于深林,不过一枝。”至此,后人也用越俎代庖一词来表达越权的含义。

“越俎代庖”

在智能合约的实现中存在着访问权限,如果权限设置不合理,很容易造成智能合约被攻击,严重的还会造成巨大的经济损失。成都链安-安全实验室对于智能合约安全有着丰富的经验和积累,但随着区块链技术越来越受重视,智能合约的数量也越来越多,随之而来的智能合约被攻击事件也越来越多,也让我们感受到了“让区块链更安全”的企业使命是多么的重要,但是一己之力难于对抗所有的威胁,接下来,我们将会把自己的安全经验积累通过与智能合约CTF靶场ethernaut相结合,通过技术连载的方式向广大智能合约开发者普及在开发过程中,如何实现更安全的代码。

现在我们就来聊一聊ethernaut靶场的第一题Fallback,代码函数“越俎代庖”的事件。

越权漏洞是指在智能合约中,因函数可见性设置不合理或函数缺乏有效的验证导致本不能调用某一函数的用户通过直接或者绕过验证的方式成功调用该函数。该漏洞可被单独利用,也可能结合其他漏洞进行组合攻击,利用方式简单,漏洞影响视存在漏洞的函数而定,可能对合约造成毁灭性打击。

2.1 合约中的“俎”与“庖”

如何理解合约中的“俎”与“庖”呢?先来看一段合约代码,如下图所示:

西安银行官方发布数字藏品:5月13日消息,据西安银行官方公众号,于西安银行成立 25 周年之际,西安银行发行 25 周年定制数字藏品,免费发行共计 25000 份。西安银行数字藏品在大唐链进行版权存证,相关存证内容已同步大唐链上公信力节点,仅供访问、学习、研究、欣赏、展示和分享等非商业目的使用。[2022/5/13 3:13:36]

这一段合约代码出自ethernaut靶场的第一题Fallback。针对于靶场中的问题,解题思路是通过调用回调函数function() payable public来触发owner = msg.sender;,使得合约的所有者变成调用者。题目非常的简单,只要向此合约发起一笔交易,且满足require的条件就可触发fallback函数。

正常情况下,在对一个合约调用中,如果没有其他函数与给定的函数标识符匹配,或者没有提供附加数据,那么fallback 函数会被执行。一般是作为转入以太币的默认操作。所以智能合约开发时一般是不需要将owner = msg.sender写到fallback函数中的。如下图所示:

然而,在这里本不该被用户调用的owner=msg.sender被调用了,导致权限控制不当,产生了越权,“俎”与“庖”就这样发生了接下来的故事。

2.2 相关安全事件

2.2.1 Bancor合约事件

2020年6月18日,Bancor network(0x5f58058c0ec971492166763c8c22632b583f667f)被爆出存在漏洞。漏洞产生的原因是合约中存在一个public的safeTransferFrom方法,使得攻击者可以直接调用此方法授权给Bancor network合约的代币转出到任意账户。

Optimism:EVME quivalence完全符合以太坊虚拟机规范,将成为L2下一个通用标准:10月28日消息,以太坊扩容方案Optimism发文,称相信EVM Equivalence完全符合以太坊虚拟机规范,将成为L2领域的下一个通用标准。EVM Equivalence不是在Solidity中实现EVM,而是用更小、更简单的指令集实现一个VM (Virtual Machine,虚拟机),并于欺诈证明期间在这个VM 中运行EVM,为此必须简单地编译一个现有的EVM解释器,例如Geth解释器,以便在更简单的VM中运行。同时这允许Geth本身在一个争议友好的环境中运行,由于 Geth 是 EVM 等效(EVM-equivalent)的,所以环境也是如此,这使其能够绕过在链上重新实现 EVM,并使系统能够适应未来对EVM的升级,目前Optimism团队正在与编译专家 George Hotz 一起工作以实现这个目标。[2021/10/28 21:04:10]

其关于转账和授权的三个函数权限均为public,这使得任何用户都能对其进行调用。本次事件涉及资金50W余美元。详细代码如下图所示:

权限为public的safeTransferFrom方法这个“奸臣”并没有得到Bancor合约“国王”的许可,直接夺走了“国家”的“财政大权”。幸而Bancor network团队和白帽首先发现了此问题,并对资金进行了转移。在后续也对该漏洞进行了修复,才得以避免损失。详细分析见(https://mp.weixin.qq.com/s/vN1bNLqdvr8JEqq9QI0X1Q)

而同样的事件也在另外一个合约中上演,接下来我们将介绍6月底的VETH合约漏洞事件。

2.2.2 VETH项目事件

2020年6月30,VETH项目被爆出漏洞。本次事件中“越俎代庖”的主角则是合约中的changeExcluded函数的external修饰符。

external修饰符使得任何人都可以调用changeExcluded函数来绕过transferFrom函数内部的授权转账额度检查,将合约的VETH代币盗走。

此次事件,攻击者利用此漏洞盗走919299个VETH后大量抛售,导致VETH代币价值瞬间流失。详细见(https://mp.weixin.qq.com/s/plbSmpMfvIk_A457GoUaQA)涉及到的合约代码如下图所示:

通过以上两个案例,相信大家已经意识到了合约中“越俎代庖”事件的严重影响,那么如何在合约代码编写的过程中有效的区分“俎”与“庖”呢?

2.3“俎”、“庖”信息大揭秘

针对越权事件,首先需要合约开发人员了解函数可见性。

函数的可见性,一共有external、public、internal和private四种:

External

外部函数作为合约接口的一部分,意味着我们可以从其他合约和交易中调用。 一个外部函数 f 不能从内部调用(即 f 不起作用,但 this.f() 可以)。 当收到大量数据的时候,外部函数有时候会更有效率,因为数据不会从calldata复制到内存.

Public

public 函数是合约接口的一部分,可以在内部或通过消息调用。对于 public 状态变量, 会自动生成一个 getter 函数(见下面)。

Internal

这些函数和状态变量只能是内部访问(即从当前合约内部或从它派生的合约访问),不使用 this 调用。

Private

private 函数和状态变量仅在当前定义它们的合约中使用,并且不能被派生合约使用。

开发人员在构造一个函数时,应当遵循这些可见性进行开发,要明确哪些函数是可以由用户调用的“俎”,而哪些又是合约中不能任意替代的“庖”,以最小原则进行分配。

比如一个函数safeTransfer在设计时是用于转账操作的,用户可以通过调用此函数,转账此合约发行的代币。我们使用public和external都可以满足需求,但就安全的角度,我们应当使用external,避免合约内对此函数进行调用,造成不可预期的风险。如存在有一个safeTransferFrom函数,用户可以通过授权给此合约其他代币,将其他代币转移到一个指定地址的,当_token等于合约本身时,就会以合约本身的身份调用sadeTransfer函数,即而将合约内的钱转到其他地址。

然而只是遵循函数可见性是远远不够的,函数的可见性,只是区分了合约内部、继承合约和外部这三个界限,远远不能满足我们的需求。想要达到较为完善的权限管理,我们应当引入“角色”的概念,如:管理员、普通用户、特权用户等。在合约中存储这些角色的地址,通过判断地址或标志变量来进行权限的控制。如下图所示:

通过修饰器对这些不同的“角色”进行管理,如使用onlyOwner修饰器,限制特定的地址才可调用此函数。对应“角色”的权限管理。使用修饰器的方式,可以更加清晰的判断出是否存在纰漏。

就链上现状来看,智能合约权限管理错误造成的漏洞比比皆是,其中不乏很多“著名项目”,而此类漏洞造成的损失也是巨大的。成都链安安全团队依据多年合约审计和链上分析安全经验给出以下几点建议:

1、 遵循权限最小化开发原则,在设计函数时应当就规划好可见性。

2、 建立角色机制,使用修饰器对各函数进行权限管理,避免纰漏。

3、 上线前一定找专业机构做好代码审计,正所谓“一人一个脑,做事没商讨;十人十个脑,办法一大套”。

标签:CURSDCDEXLICSBTCCURVEsdc币交易DEXTF价格Covid Slice

狗狗币热门资讯
谷燕西:Bakkt、Libra、泰国和瑞士数字金融策略的比较

未来的数字金融生态一定是建立在分布式记账技术为主的金融基础设施之上的。 在这个数字金融生态当中,数字货币和数字资产都是原生的。 用户只需要一个钱包地址来管理自己的数字货币和数字资产。 而不是像目前这样用银行账户来管理自己的货币,用证券账户来管理自己的证券资产。用户可以直接使用自己的数字货币进行各种日常的支付。

金色趋势丨这一指标预示BTC即将暴涨?

Hash Ribbons指标是通过量化哈希率相对增长率来展现比特币哈希率的变化趋势和比特币挖矿生态系统的健康状况。具体数值是用比特币哈希率的近一个月均值减去近两个月均值的差值除以一个月均值数据。其有一个宏观评价指标,用来指示是否能进入购买,购入指标的信号被称为购买“恢复”哈希率。

Curve:成绩与颜值形成鲜明对比的DEX

(杰内普的水车,梵高) 当我们提到DEX赛道,Curve是绕不过去的项目。它锁定的资产量达到7300多万美元,当前(截止到蓝狐笔记写稿时)在DEX类别中排名第二,仅次于Balancer,超过Bancor。

7.5晚间行情:直上直下过山车 稍安勿躁

文章系金色财经专栏作者币圈北冥供稿,发表言论仅代表其个人观点,仅供学习交流!金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别,谨防上当。 最近行情特别纠结,小区间内震荡直上直下走势。

麦肯锡合伙人:数字化转型对公司的价值究竟有何作用?

尽管数字转换的概念模糊不清,但我的一些同事检查了一些消费商品,发现了至少33项数字转型计划,包括数字营销,优化贸易支出,优化销售人员覆盖率,预测性维护以及后台的机器人流程自动化。 我对公司的建议是,在评估数字化转型的机会时应重返基本面:根据预期产生的现金流评估数字项目,所有投资决策都应根据替代行动方案进行分析。

金色观察 | 股市的持续繁荣 会带动BTC飞涨吗?

比特币曾被认为是一种与其他金融市场无关的资产。只要看看富达投资(Fidelity Investments)对机构投资者的调查就知道了。研究发现,这群人中有相当一部分人想购买加密货币,因为它们是一种宝贵的不相关的投资组合多元化工具。然而,这种情况在过去两个月里似乎发生了变化——BTC目前似乎与全球股票市场保持一致。