CertiK干货分享 | 十大DeFi安全最佳实践方式(上)_RAN:TPS

本教程适用于所有希望向主网推出user-ready应用程序的人员

如果你想要将构建的DeFi协议或是其他智能合约应用发布到区块链主网上,安全因素一定是你要首先去考虑的。

许多团队在审查代码时只关注Solidity方面的问题,但要确保一个DApp的安全性并使其适配主网,还有很多其他问题需要关注。

了解近期高发的DeFi安全威胁——比如价格预言机攻击、暴力破解攻击以及其他攻击手段,将保护你以及你的用户数十亿美元的资产。

因此启动项目前做好尽职调查必不可少。

本文由CertiK及Chainlink联合出品,将为你分享DeFi安全的10个最佳实践,这将有助于防止你的应用程序成为攻击的受害者。

?超长干货,建议先收藏再看哦!

1.意识到重入攻击的危害

以智能合约为中介进行的攻击并不总是来自于外部。

重入攻击作为臭名昭著DAO攻击的一种形式,是DeFi安全中常见的攻击类型。

当合约调用另一个恶意合约的外部函数时,该恶意合约可以通过fallback(回调函数)进行重入攻击回调到原合约。

这是DeFi安全攻击的一种常见类型——恶意合约可以在第一个函数完成前回调到调用合约之中。

引用Solidity文档中对于重入攻击的描述:"一个合约与另一个合约的任何互动,以及任何以太币的转移都会将控制权交给该合约。这使得合约有可能在这个互动完成之前回调到合约"。

我们来看一个例子?

Let’slookatanexample:```solidity//SPDX-License-Identifier:GPL-3

functionwithdrawBalance()public{??uintamountToWithdraw=userBalances;??msg

```

在一个函数执行完成之前调用其他函数

对开发者而言这是一个明显的提醒——在ETH转账之前一定要先更新内部状态。

一些协议甚至在其函数上添加互斥锁,这样如果函数尚未返回,该函数就不能被再次调用。

除了常见的重入漏洞,还有一些重入攻击可以由特定的EIP机制触发,如ERC777。

ERC-777是建立在ERC-20之上的以太坊代币标准。

它向后兼容ERC-20,并增加了一个功能,使"操作员"能够代表代币所有者发送代币。

关键是,该协议还允许为代币所有者添加"send/receivehooks",以便在发送或接收交易时自动采取进一步行动。从UniswapimBTC黑客事件中可以看出,该漏洞实际上是由Uniswap交易所在余额更改之前发送ETH造成的。

Amber Group与香港数字资产交易所HKD达成战略合作协议:金色财经报道,Amber Group宣布与香港数字资产交易所HKD达成战略投资和技术合作协议。Amber Group将利用其自身技术优势帮助HKD加强安全与合规基础设施建设,并促进HDAO基金会的发展。[2023/7/21 15:50:34]

在该攻击中,Uniswap的功能设计没有遵循已被广泛采用的??"ChecksEffectInteractive"模式,该模式是为了保护智能合约免受重入攻击而发明的,按照该模式,代币转移应该在任何价值转移之前进行。

2.使用DEX或AMM中的代币余额储备作为代币价格参考会产生漏洞

这既是用于攻击协议的最常见方法之一,也是最容易防御的DeFi攻击类型。

使用`getReserves()`来决定代币价格是十分危险的。

当用户通过使用闪电贷攻击基于订单簿或自动做市商(AMM)的去中心化交易所(DEX)中的代币价格,这种中心化的价格预言机就有可能会被攻击。

在被闪电贷攻击时,因为项目使用了DEX中的价格作为他们的价格预言机的数据,导致智能合约的执行出现异常,其形式包括触发虚假清算、发放过大的贷款或触发不公平交易。

由于这个漏洞,即使是市面上主流的DEX——例如Uniswap,?也不建议单独使用代币对(swappair)中两种代币的相对比率作为价格预言机的定价。

在基于DEX或AMM的价格预言机中,预言机的数据源是DEX上一次成功交易,代币对调整之后的代币余额,即代币对中两种代币的相对比率。

该价格可能与代币的实际市场价格不同步。

例如,如果进行了大额交易时代币对中没有足够的流动性来支持,将会导致代币价格与交易所的平均市场价格相比发生较大波动,当用户大量买入时代币价格会飙升,当大量卖出时代币价格会狂跌。

闪电贷加剧了这一问题,因为它允许所有用户在没有任何抵押的情况下获得大量临时资金,以执行大额交易。用户经常将问题归咎于闪电贷,称之为“闪电贷攻击”。

然而,根本问题是——他们自己的DEX使用的是不安全的价格预言机,代币价格很容易被操纵,导致依赖预言机的协议引用了不准确的价格。

这些攻击应被更准确地描述为“预言机操纵攻击”,这一攻击形式在DeFi生态系统中造成了大量的攻击事件。因此所有开发人员都应该在智能合约中删除可能导致价格预言机被操纵的相关代码。

这里以最近一次攻击的代码举例,此次攻击造成了3000万美元的损失,并使该协议的奖励代币的价格暴跌?。

```javascriptfunctionvalueOfAsset(addressasset,uintamount)publicviewoverridereturns(uintvalueInBNB,uintvalueInDAI){??if(keccak256(abi.encodePacked(IProtocolPair(asset).symbol()))==keccak256("Protocol-LP")){????(uintreserve0,uintreserve1,)=IPancakePair(asset).getReserves();??????valueInWETH=amount.mul(reserve0).mul(2).div(IProtocolPair(asset).totalSupply());??????valueInDAI=valueInWETH.mul(priceOfETH()).div(1e18);??}}```

ZachXBT:慈善项目Pixel Penguin发生Rug Pull:5月31日消息,ZachXBT 发推称,艺术家 andrew wang 转推支持的由 Hopeexist1 创建的慈善项目 Pixel Penguin 发生 Rug Pull,该项目声称为帮助自己对抗癌症而筹集资金,此前 andrew wang 转发推特支持并称 Hopeexist1 是他的朋友。现 Hopeexist1 和 Pixel Penguin 社交账号都已删除,目前 Pixel Penguin 合约价值 11.7 万美元(61.686 ETH)。

对此,andrew wang 道歉,并称认为自己做了适当的尽职调查。[2023/5/31 11:49:29]

该项目有一个预言机机制,可以从DEX中获取代币价格。

在DEX中,用户可以将一对代币存入流动性池合同,允许用户根据汇率在这些代币之间进行交换,汇率根据池中每一方的流动性数量计算。

现在有一个假设,如果一个项目大部分代码是从热门项目Uniswap中拷贝而来,我们可以认为这个项目是安全的。?

然而如果项目方在此基础之上添加了一个奖励代币项目,当用户向LP权益池中存储流动性时,他们不仅可以获得流动性代币LPtoken,还可以获取流动性挖矿的奖励代币。

这种情况下,黑客可以通过闪电贷将大量资金存入流动性池,从而操纵这个奖励代币的铸造功能,这使得他们能够以错误的比率兑换奖励代币。

在下方这个函数中,我们可以看到,攻击者做的第一件事就是根据流动性池中两种资产的储备量,获得流动性池中资产之间的汇率。

下面这行代码的目的是获得流动性池中的代币储备?

```javascript(uintreserve0,uintreserve1,)=IProtocolPair(asset).getReserves();```

如果一个流动性池中有5个WETH和10个DAI,那么它的reserve0为5,reserve1为10。

当你获得了流动性池中每种代币的储备量之后,将两个储备量相除,得到的汇率就可以定义代币对中任意一种资产的价格。

根据上面的例子,如果流动性池中有5个WETH和10个DAI,那么兑换率是1个WETH兑换2个DAI——用10除以5。

虽然使用去中心化交易所可以很好地交换具有即时流动性的资产,但这并不能保证DEX提供的价格比率是正确的,因为DEX中的价格很容易被闪电贷操纵,并且单个DEX中的交易数据往往只代表资产的总交易量的一小部分。

所以当其被用于计算奖励代币数量时,智能合约的执行很容易变得不准确。

以下面的代码为例?

Slightlymodifiedforcomprehension```javascript//ProtocolMinterV2.sol0x819eea71d3f93bb604816f1797d4828c90219b5dfunctionmintReward(addressasset/*LPtoken*/,uint_withdrawalFee/*0*/,uint_performanceFee/*0.00015...*/,addressto/*attacker*/,uint)externalpayableoverrideonlyMinter{??uintfeeSum=_performanceFee.add(_withdrawalFee);??_transferAsset(asset,feeSum);//transfersLPtokensfromVaultFlipToFliptothis??uintprotocolETHAmount=_zapAssetsToProtoclETH(asset,feeSum,true);??if(protocolETHAmount==0)return;??IEIP20(PROTOCOL_ETH).safeTransfer(PROTOCOL_POOL,protocolETHAmount);??IStakingRewards(PROTOCOL_POOL).notifyRewardAmount(protocolETHAmount);??(uintvalueInETH,)=priceCalculator.valueOfAsset(PROTOCOL_ETH,protocolETHAmount);//returnsinflatedvalue??uintcontribution=valueInETH.mul(_performanceFee).div(feeSum);??uintmintReward=amountRewardToMint(contribution);??_mint(mintReward,to);//mintstherewardtotheliquidityprovidersandattacks}```

Injective宣布主网与Pyth集成:金色财经报道,Cosmos生态智能合约平台Injective宣布Pyth已与Injective主网集成。Injective dApps 现在可以访问 Pyth 的任何链上数据,Pyth 是一个在链上发布连续真实世界数据的第一方金融预言机网络,它引入了一种创新的低延迟拉式预言机设计。有了这个功能,Injective 上的 dApps 可以在需要时轻松访问链上的可用价格,从而使区块链环境中的每个人都可以访问真实世界的资产数据。[2023/5/4 14:41:00]

在这个例子中,向用户进行奖励代币发放的主要函数是_mint(mintReward,to);。

我们可以看到,该函数根据用户在流动性池上锁定的资产价值来铸造奖励代币。

因此,如果一个用户突然在流动性池中拥有大量的资产,那么该用户可以轻易地为自己铸造大量奖励代币,这部分代币是从其他用户的奖励中窃取的。

然而,目前的利润水平依旧没有达到攻击者的期望。

因此,操纵DEX中代币的价格可以大大提升他们窃取的代币价值。

在这个例子中,合约认为他们给用户发放了价值5美元的奖励代币,但实际上发放了5000美元。

通过这种设置,恶意用户可以很容易地进行闪电贷攻击,将获取的临时资金存入流动性池,铸造大量的奖励,然后偿还闪电贷款,获得的利润由其他流动性提供者承担,从中获利。

为了防止基于闪电贷攻击的价格操纵问题,通常的解决方案是采取DEX市场的时间加权平均价格。

虽然这可以防止闪电贷歪曲预言机价格,因为闪电贷只存在于一个交易或区块中,而TWAP是多个区块的平均值,但这并不是一个完整的解决方案,因为TWAP有其自身的妥协。

在价格剧烈波动时期,TWAP预言会变得不准确,这可能会导致下游事件——如无法在期限内清偿抵押不足的贷款。

此外,TWAP预言没有提供足够的市场覆盖率,因为它只追踪一个DEX中的数据,使其它容易受到不同交易所的流动性或交易量变化的影响,从而影响TWAP预言给出的价格。

解决方案:使用去中心化的预言机网络

与其使用中心化预言机来确定汇率,保证DeFi安全的最佳做法是使用去中心化的多个预言机组成的网络来确定代币的实际市场价格。

一个DEX作为一个交易所是去中心化的,但把它作为定价信息参考时它是中心化的。

正确的做法是:你需要收集所有流动性中心化和去中心化交易所的价格,按交易量加权,并去除偏差值/清洗交易,以获得相关资产全球汇率的去中心化准确视图,确保能反映市场的实际价格。

如果你能获取基于所有交易环境的成交量加权的全球平均值的资产价格,那么闪电贷在单一交易所中操纵资产价格就不是问题。

Axion Network遭黑客攻击币价归零,CertiK称可能是项目内部人员所为:Cointelegraph报道称,在11月2日,一个名为Axion Network的项目上线代币AXN几个小时后即遭到黑客攻击,790亿枚AXN被铸造并且抛售到市场,代币价格几近归零,黑客获利1300枚ETH,约合50万美元。

作为项目的审计方之一,Certik通过分析表示,黑客利用了Axion质押合约的反质押功能,通过Uniswap将AXN兑换为ETH,直到Uniswap相关代币池被耗尽,AXN价格归零。此外,Certik表示该事件很可能为内部人员所为,恶意代码的植入发生在代码部署期间,而这部分代码并非Certik审计内容。[2020/11/3 11:29:52]

此外,由于闪电贷款只存在于单个交易中,它们对去中心化的价格源并没有影响,这些价格源在单独的交易中产生具有能代表全球市场的实际价格更新。

Chainlink预言机网络的去中心化结构及其实现的广泛市场覆盖,保护了DeFi协议免受闪电贷攻击导致的价格操纵,这就是为什么越来越多的DeFi项目正在集成Chainlink价格反馈机制,以防止价格预言机被攻击,并确保在突发的交易量变化中准确定价。

你不需要再使用`getReserves`来计算价格,而是从Chainlink数据源中获得代币交换比率,Chainlink数据源是去中心化的预言机节点网络,在链上提供能反映所有相关CEX和DEX的资产加权平均价格。

```soliditypragmasolidity^0.6.7;import"??/**??*Returnsthelatestprice??*/??functiongetThePrice()publicviewreturns(int){????(??????uint80roundID,??????intprice,??????uintstartedAt,??????uinttimeStamp,??????uint80answeredInRound????)=priceFeed.latestRoundData();????returnprice;??}}```

上面的代码是实现Chainlink价格预言机的全部内容,你可以通过阅读文档尝试在应用程序中进行实现。

如果你刚开始接触智能合约或预言机,我们有一个初学者教程,帮助你入门,并保护你的协议及用户免受闪电贷和预言机操纵攻击。

如果你想了解更多详情,可以试试查看OpenZeppelin的DEX??Ethernaut,它显示了操纵DEX的代币价格有多么容易。

3.不要使用Keccak256或Blockhash生成随机数

使用?"block.difficulty"、"block.timestamp"、"blockhash"或任何与区块相关的参数来生成随机数,都会使你的代码被恶意攻击。

EOSeoul-EOSpay举行韩国最大EOS Block Producer Alliance研讨会:EOSeoul和EOSpay在本月26日在韩国首尔举行EOS BP Alliance研讨会。在此次研讨会中会有火币Pool,EOS Cannon,EOS Gravity,,EOS UNION,OracleChain,eos ONO等EOS BP候选单位个子发表EOS关联项目。[2018/5/21]

智能合约中的随机性在许多用例中都很有用,例如无偏见地确定奖品的获得者,或者公平地将稀有NFT分配给用户。

然而,区块链是确定的系统,不提供随机数的防篡改来源,所以在不查看区块链外部的情况下获取随机数是具备一定风险的,并有可能导致被恶意攻击。

随机数生成漏洞并不像预言机操纵攻击或重入攻击那样普遍,但它们在Solidity教育材料中可是“常客”。

许多教育内容误导区块链开发人员使用如下代码获取随机数:

```javascriptuintrandomNumber=uint(keccak256(abi.encodePacked(nonce,msg.sender,block.difficulty,block.timestamp)))%totalSize;```

这里的想法是使用nonce、块难度和时间戳的某种组合来创建一个"随机"数字。

然而,这有几个明显的缺点——你可以很轻易的用取消交易的方式重复生成多次,直到得到一个你想要的随机数。

1.使用像block.difficity这样的哈希对象作为源来生产随机数时,矿工有能力改变这个源。与"重滚"策略类似,如果结果对他们不利,矿工可以利用他们订购交易的能力,将某些交易排除在区块之外。

如果该交易是用于链上生成随机数的源,矿工也可以选择扣留对他们不利的哈希值所在的区块。

2.使用block.timestamp无法提供任何随机性,因为时间戳是任何人都可以预测的。以这种方式使用链上随机数生成器,会让用户以及矿工对"随机"数字产生影响和控制。

如果你希望实现一个公平系统,以这种方式生成随机性将非常有利于攻击者,并且这个问题只会随着随机函数所保护的价值量的增加而变得更糟,因为攻击它的动机也增加了。

解决方案:使用ChainlinkVRF作为可验证的随机数生成器

为了防止被恶意攻击,开发者需要一种方法来生成可验证的随机数,并防止其被矿工和用户篡改。

实现这一目标需要来自于预言机的链下随机数源。

然而,许多提供随机性来源的预言机没有办法真正证明他们提供的数字确实是随机产生的。

因此开发者需要能够从链外获取随机性,同时也需要一种密码学算法来证明随机性没有被操纵过。

Chainlink的可验证随机函数正好实现了这一点。它使用预言机节点在链外生成一个随机数,并对该数字的完整性进行加密证明。然后由VRF协调器在链上检查加密证明,以验证VRF的确定性和防篡改性。

它的工作原理是这样的:

1.一个用户从Chainlink上节点请求一个随机数,并提供一个种子值,随后Chainlink将会发出一个链上事件日志。

2.链外的Chainlink预言机读取该日志,并使用可验证的随机函数基于节点的密钥哈希、用户给定的种子和发送请求时未知的块数据创建一个随机数和加密证明。然后,它在第二笔交易中把随机数返回链上,这时在链上通过VRF协调器合约使用加密证明进行验证。

ChainlinkVRF是如何解决上述问题的?

1.无法进行回滚攻击

由于这个过程需要两笔交易,第二笔交易是创建随机数的地方,所以你无法看到随机数或取消你的交易。

2.矿工无法改变这个值

由于ChainlinkVRF不使用矿工可以控制的参数,比如block.difficulty或block.timestamp等可预测的值,所以他们无法控制随机数。

用户、预言机节点或DApp开发者无法操纵ChainlinkVRF提供的随机性数据,这使得它成为智能合约应用所使用的链上随机性来源的安全得到了保证。

大家可以按照文档的要求试试在代码中实施ChainlinkVRF,或者根据我们的初学者指南来使用ChainlinkVRF。

在本系列接下来的内容中,将会为大家逐一讲解剩余的7大DeFi安全最佳实践方式,欢迎持续关注!

关注CertiK官方公众号,底部对话框发送消息“图谱”,可获取《区块链知识图谱》高清大图哦!

参考链接:

1.?https://www.researchgate.net/publication/235301171_The_Adoption_of_Electronic_Banking_Technologies_by_US_Consumers

2.https://www.gemini.com/cryptopedia/the-dao-hack-makerdao

3.https://docs.soliditylang.org/en/v0.8.9/contracts.html?highlight=receive#special-functions

4.?https://consensys.net/diligence/blog/2019/09/stop-using-soliditys-transfer-now/

5.?https://eips.ethereum.org/EIPS/eip-1884#motivation

6.?https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/ReentrancyGuard.sol

7.?https://fravoll.github.io/solidity-patterns/checks_effects_interactions.html

8、https://blog.chain.link/flash-loans-and-the-importance-of-tamper-proof-oracles/

9.https://www.coindesk.com/flash-loans-centralized-price-oracles

10.https://github.com/Uniswap/uniswap-v2-core/tree/4dd59067c76dea4a0e8e4bfdda41877a6b16dedc

11.https://chain.link/data-feeds

12.https://docs.chain.link/docs/using-chainlink-reference-contracts/

13.https://docs.chain.link/docs/get-the-latest-price/

14.https://docs.chain.link/docs/beginners-tutorial/

15.https://ethernaut.openzeppelin.com/level/0x0b0276F85EF92432fBd6529E169D9dE4aD337b1F

16.https://docs.chain.link/docs/get-a-random-number/

17.https://docs.chain.link/docs/get-a-random-number/

18.https://docs.chain.link/docs/intermediates-tutorial/

来源:金色财经

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:15ms0-3:252ms