区块见闻 区块见闻
Ctrl+D收藏区块见闻

DEF:安全专家为你解读DeFi典型漏洞及其安全风险_Defactor

作者:

时间:

自DeFi兴起以来,在短短9个月时间内迅速风靡全球。BSC凭借低廉的gas和高速壮大的生态应用建立起了日渐完整的生态系统,成功成为了领先的公链平台之一。

数据来源:https://bscscan.com/

如今每天,都有数百个项目在BSC上进行数千万的交易。

图片来自https://twitter.com/BinanceChain/status/1395060714390315008

但是链上交易的热度将另外一个隐患带到了我们面前——安全隐患。

目前可被黑客所利用的不同级别漏洞越来越多。

CertiK安全专家将这些漏洞分为四大类,下文将为各位读者带来DeFi相关安全风险讲解。

智能合约中,某些功能受到函数修改器(modifier)的保护——只有特定的操作者才能调用特定的功能。

在大多数情况下,这些功能是用于修改合约配置或管理智能合约中持有的资金。因此如果攻击者破坏了管理密钥,他们可以完全控制智能合约,调用该功能从而窃取用户资产。

?密钥泄露的原因

第一种可能性是计算机木马程序。?

攻击者可以使用木马程序来窃取存储在计算机上的私钥,或者进行网络钓鱼攻击,以诱用户将其私钥发送给攻击者。

前FBI特工和网络安全专家John Caruthers宣布担任2022年EITL虚拟论坛的主旨发言人:金色财经报道,前FBI特工和网络安全专家John Caruthers宣布担任2022年EITL虚拟论坛的主旨发言人,EITL虚拟论坛于2022年9月7日至8日开始,发布行业主题包括,加密货币法规、观点和趋势、网络安全和保险、在监管环境中管理人工智能和相关风险等主题。[2022/8/10 12:16:11]

对DeFi合约来说,往往是几个人共享一个管理密钥。

这就意味着如果有内部人员心怀不轨,那么他可以调用管理功能将项目的代币转移到自己的钱包地址中。

这里有两个案例:2021年3月5日,PAIDNetwork因其私钥管理不当而遭受“铸币”攻击,经推测攻击者很可能是通过网络钓鱼攻击从管理员的计算机中窃取了密钥。

PAID代币合约位于可升级代理服务器之后,这意味着代币合约可以被代理服务器的所有者替换。

这类恶意代码有铸币功能,攻击者销毁6000万个PAID代币,然后为自己铸造了5900万枚代币。

当时2,501,203美元的PAID代币在Uniswap上被出售,代币价格也从2.8美元暴跌为0.3美元。

2021年4月19日,EasyFi创始人声称该黑客为获取管理密钥对管理员进行了针对性的攻击。298万个EASY代币被从EasyFi官方钱包中转移到了几个未知钱包中。

声音 | 比特币安全专家:代币混合服务CoinJoin的合法性取决于管辖权:据AMBcrypto 12月22日消息,比特币安全专家Andreas Antonopoulos表示,代币混合服务CoinJoin的合法性是主观的,并认为这取决于管辖区和地区的税收、货币监管和反法律。他还表示,CoinJoin在未来可能会被定为非法,并指出,根据某些解释它可能已经是非法的。此外,他表示,监控区块链的分析监控公司知道哪些硬币来自投币钱包。如果用户试图将这些代币转移到区块链的商户或交易所,商户或交易所将“将这些代币标记为高风险”。注:CoinJoin为比特币交易隐私方案,可以支持比特币用户使用闪电网络进行“联合支付”,实现隐藏比特币交易、逃避区块链分析师监视的目的。该混币方法最初由Gregory Maxwell提出。[2019/12/23]

因此安全存储私钥对于项目安全的重要性可见一斑,管理者切忌将未加密的管理员密钥存储在电脑设备上,或将其无防备的放置于Metamask热钱包中。

CertiK安全专家建议管理者使用硬件钱包创建账户。

如果多人团队的每位管理者均使用硬件钱包,一旦其中一位管理者试图进行特权交易,也需获取大部分成员的签署同意,这样可以防止攻击者仅获取一个密钥访问权时就可以调用所有特权功能。

声音 | 比特币安全专家:Libra需要将其与母公司Facebook区分开来:据AMBCrypto消息,比特币安全专家Andreas Antonopoulos认为,Libra的主要挑战是在与Facebook公司的第一次接触中生存下来,并将其与母公司区分开来。他解释,“因为目前这是一个孵化项目。它是理想主义、进步的,它的愿景是积极的。它专注于现在和将来更多的去中心化。现在有一点许可,未来无需许可,现在证明权威,未来证明利害关系。”[2019/7/8]

代币合约应尽可能避免铸造新代币的功能。如果需要铸造新代币,应使用DAO合约或时间锁合约,而非EOA帐户。

编码错误

大家一提到DeFi漏洞,往往会认为漏洞必然是很复杂的,其实并非总是如此。

有时一个小小的编码错误,就可以导致数百上千万美元的资产一朝蒸发。

一些常见的编码错误示例:

1.函数权限,修改器(modifier)缺失

2.错别字

3.数字位数不正确

4.变量值分配缺失/不正确

有一个非常典型的例子就是UraniumFinance曾发生的受攻击事件:黑客攻击了UraniumFinance未受审计的合约,项目因此损失了5700万美元。

声音 | 比特币安全专家:银行加密货币会成为主流 但比特币不会成为其竞争对手:比特币安全专家Andreas Antonopoulos近期在YouTube的问答环节上对摩根大通发行JPM Coin评论表示,银行加密货币肯定会成为主流,(在短期内)它们将拥有更多的市场资本和用户。然而,与非银行/公司的加密货币相比,这些加密货币将提供“更少的金融自由”、权力下放、审查阻力和中立性。Antonopoulos指出,银行加密货币面临的“主要”竞争将是法定货币和其他银行推出的加密货币,自由、权力下放、中立和审查阻力等因素是主要的区别,而这正是银行加密货币“不能也永远不会提供”的主要方面。因此Antonopoulos认为,比特币不会成为其竞争对手。[2019/3/31]

管理员在交换前后比较池中两个代币余额的乘积时使用了不一致的乘数,这使得攻击者可以仅用1Wei就从池中换出大量代币。

Uraniumfinance的代码:

正确的代码:

另一个例子是ValueDeFi,被黑客攻击导致损失了1000万美元。

此次事件发生的原因在于ValueDeFi合约中的初始化函数缺少“initialized=true”,这意味着任何人都可以将资金池初始化并将自己设置为管理员。

2021年5月5日,攻击者将资金池初始化,将自己设置为管理员,然后使用“governanceRecoverUnsupported()”函数耗尽了已抵押的代币。

声音 | 安全专家:每天近250万美元加密货币从交易所被盗:据ambcrypto消息,区块链安全专家Hartej Sawhney表示,平均每天有大约250万美元加密货币从世界各地的加密货币交易所被盗,Sawhney呼吁加密货币交易者在保管热钱包和冷钱包的私钥时要更加小心。[2019/1/23]

ValueDeFi中的易受攻击的代码:

解决方法:

只需通过适当的同行评审、单元测试和安全审计,这一类型的代码错误往往极易避免。

闪电贷和价格操纵

闪电贷可以在无需提供任何抵押的情况下进行贷款,当然所有操作必须在一个交易区块内完成。

开发人员可以从Aave或dYdX等协议中借贷,条件是在交易结束之前将流动资金返还到资金池中。

如果资金未能及时返回,则交易将被撤回,从而确保储备池的安全。

闪电贷的一般运行步骤如下:

1.使用闪电贷借入大量代币A

2.在DEX上将代币A交换为代币B

3.攻击一个依赖A/B价格的DeFi项目

4.偿还闪电贷

上周PancakeBunny遭受了闪电贷攻击,攻击者窃取了11.4万BNB和69.7万Bunny。

攻击者利用闪电贷操纵PancakeSwapUSDT-BNBV1池的价格,导致大量的BNB流入BNB-Bunny池,这使得该合约能够以虚高的BNB/Bunny的价格铸造Bunny。

PancakeBunny使用了以下函数来计算Bunny的价格:

大量的BNB流入BNB-Bunny池造成变量“reserve0”变得更大,且价格计算公式存在缺陷,因此导致攻击者非法获取了69.7万Bunny。

闪电贷攻击的受害者很多,包括DeFi领域的一些知名项目:PancakeBunny,HarvestFinance,Yearn,ValueDeFi,AKROPOLIS,CheeseBank,XToken,bZx等等。

从这些实例中不难看出——项目方应着重预防价格被闪电贷恶意操纵。

为了防止这种情况的发生,CertiK安全专家建议①使用时间加权平均价格,因为攻击者只能在一个区块中操纵价格,因此平均价格并不会被影响,从而规避相关恶意操纵,②或使用可靠的链上价格预言系统,例如Chainlink。

用户并不与其他第三方协议进行交互。

在PancakeSwap中,用户可以通过提供流动性以获得奖励代币或将一个代币交换为另一个代币。

但其他项目的运作方式并不同。

比如YearnFinance是收集用户资金并将其放入第三方合约,通过投资用户代币以获取收益的。

第三种情况则是一些项目会从其他项目“借用”代码。

后两种情况下,如果第三方代码的来源安全风险较大,那么所有使用该代码的项目也会受到攻击。

假如项目的开发人员不熟悉他们使用的第三方代码,一旦代码存在漏洞,所导致的后果将是灾难性的。

2021年5月8日,ValueDeFivSwapAMM的非50/50池被攻击,损失总额约为1100万美元。

为了实现非50/50池,ValueDeFi从属于Bancor协议的“BancorFormula.sol”中复制了“power()”函数。

在power()函数的用法说明中,已写明该函数并不支持“_baseN<_baseD”的情况。

但ValueDeFi并未注意到此注释,因此攻击者成功利用此漏洞,通过往函数中传入特定的参数来用少量的代币A交换代币B。

ValueDeFi的代码:

DeFi领域中还有许多其他类似的情况。

2021年5月8日,一名攻击者通过利用集成在RariCapitalV2中的AlphaHomoraV1的ibETH池Bank合约的功能,从RariCapitalEthereumPool中消耗了大约2600个ETH。

BearnFinance使用BUSD的提款金额在其“BvaultsStrategy”合约中提取ibBUSD,从而让攻击者轻易转移了池中10,859,319枚BUSD。

这类问题较难检测,因此项目管理者应谨慎与任何第三方协议进行交互,更不应盲目地复制并部署开发人员不了解的代码。

CertiK安全专家建议:

1.开发人员在集成第三方协议并将部署到生产运行过程中之前,应充分了解其及其分支项目的运行情况。

2.开发人员应在项目上线前,先将其部署在测试网上进行测试并及时检查交易记录中的异常情况。

总体而言,尽管项目难以保证100%的安全,但是以下几点可以尽可能提高项目的安全性:

1.安全存储管理员密钥

2.避免简单的编码错误

3.参考可靠的链上价格

4.进行安全审计并做好审计前的准备

对于终端用户来说,在使用个人资产与项目进行交互之前,有时很难找到有关项目的详细信息。

为了方便用户获取项目的安全性信息,CertiK开发了全球首个公开透明展示区块链项目安全数据的安全排行榜。

通过查看公开的安全数据,终端用户可以实时了解项目安全情况。

https://www.certik.org

除以上防范方式以外,所有项目均应意识到安全审计的重要性。

那么审计前为了充分利用发挥安全审计的作用,应该如何准备资料和代码?

以下有几个小tips,详情可以访问:

1.定义审计的确切范围并设定审计目标

2.制作全面的审计代码文档

3.确保良好的代码质量

4.审计前测试代码

5.冻结代码并在审核之前指定代码的commithash

本文主要内容来自币安智能链联合CertiK安全专家共同主持的视频直播。

标签:DEFIANCEFIDEFRetro DEFIYefam.FinanceZEFIDefactor

火币APP下载热门资讯
ETH:分析5月份市场瀑布数据,比特币或将迎来重大转变_Synthetix

过去两周,加密货币受到负面消息的双重冲击。首先,伊隆·马斯克宣布特斯拉将不再接受比特币支付,并发表抨击比特币耗能的推文。然后,一个更大的海啸袭来:国内政策开始打击比特币挖矿和比特币交易.

WWW:Gate.io 今日智能量化策略年化排行,七日年化收益率最高达106.63%_https://etherscan.io

目前智能量化交易策略库包含网格交易、合约网格、MACD(指数平滑移动平均线)、双均线、MACD-RSI、双均线-RSI六种量化策略,用户可自由选择使用。杠杆倍数设置可放大本金,获取多倍收益.

CPI:张伟、秦婷:全球货币政策分化背景下的资产配置分析_KIRBYRELOADED币

导语 2021年以来,全球经济逐步“挣脱”疫情影响开启复苏步伐,尤其是美国在一系列宽松政策的加持下复苏强劲,但受到大宗商品价格上涨以及通胀预期的影响,新兴经济体率先开启加息周期.

TECH:BTC持续宽幅震荡ETH冲高受阻,数字货币全球共识已成_WWW

币圈的朋友们大家晚上好,好久不见!一个多月没有更新不知道大家有没有想我,我们来关注一下最近的消息面,加密数字货币腰斩也是在明诚的意料之中.

GER:BKEX Global 关于上线 GERO( GeroWallet)的公告_海关禁止ledger钱包

尊敬的用户:???????????BKEXGlobal即将上线GERO,详情如下:上线交易对:GERO/USDT?币种类型:ERC20充值功能开放时间:2021年5月27日16:00交易功能开放.

DEFI:Vitalik Buterin 澄清区块链投票的两个误解:它为何被低估了?_区块链工程专业学什么女生好就业

尽管使用区块链进行投票的现有尝试存在问题,但正确的解决方案不是放弃区块链,而是将其与其他加密技术结合起来.