区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > 波场 > 正文

FUN:惊现低级漏洞?简析NFT项目Akutar资金锁定事件_PUNDIX币

作者:

时间:

2022年4月23日,成都链安链必应-区块链安全态势感知平台舆情监测显示,NFT项目方Akutar的AkuAuction合约由于智能合约本身漏洞,导致11539ETH被锁死在合约中。成都链安技术团队第一时间对事件进行了分析,结果如下。#1事件相关信息

4月23日消息,Solidity开发者foobar发推称,11539ETH被永久锁定在AkuDreams合约中,个人用户或开发团队都无法取出资金。退款处理完成后,将每个出价状态设置为1。因此,用户无法调用emergencyWithdraw()。此外,团队也无法领取资金,基本上等于销毁。

成都链安技术团队立刻进行了分析。漏洞合约:0xf42c318dbfbaab0eee040279c6a2588fa01a961d#2漏洞分析

Akutar项目的智能合约包含2个漏洞:漏洞一:

1.第一个合约漏洞在processRefunds中,设计者根据refundProgress计数器进行循环退款。2.而这里使用了call函数进行退款操作,且把退款的结果作为require的判定条件。

3.因此如果此时有攻击者在队列中进行退款操作,调用call退款给攻击者时,攻击者在fallback中进行进行恶意的revert则会导致退款队列卡在攻击者这里,从而导致队列后面的所有人都无法进行退款。

4.这个漏洞被人在链上证明有效,但随后攻击合约便进行了解锁,并没有进行攻击利用,且公开进行了申明。

漏洞二:

该漏洞也是导致价值约3400万美元的ETH资产被锁死在合约中的元凶。1.在claimProjectFunds函数中,该函数主要用于项目方提款。为了避免项目方权限过大,在用户完成提款之前就将合约中的资产全部转走导致用户无法退款,所有的退款操作应全部完成之后项目方才能够提款。业务逻辑设计上来说,是没有问题的。然而,在具体的代码实现中,当前的代码容易受到漏洞一的影响,导致项目方无法提款,不过这只是潜在的风险,本次资金锁死的元凶不是这个原因。2.注意函数中第620行代码:require此处refundProgress表示已经处理了多少个用户的退款,totalBids表示所有用户总投标了多少个NFT。注意由于一个用户可以投标多个NFT,导致单从数值上比较,refundProgress可能小于totalBids。

而再来看看退款函数processRefunds中:require(_refundProgress<_bidIndex);bidIndex表示所有参与竞标的用户,refundProgress永远不会高于bidIndex。

此时来看看bidIndex的值,为3669:

totalBids的值为5495:

3.所以refundProgress>=5495且refundProgress<3669这个判断条件永远不会成立,最终导致项目方团队将永远无法执行后续的提款操作。此处应将refundProgress与bidIndex做对比,开发者犯了一个很低级的错误。最终,导致项目方11539ETH(价值约3400万美元)被锁定无法提取。#3总结

针对本次事件,成都链安技术团队建议:1.开发者应具备基本的安全开发意识,熟悉智能合约开发应注意的安全问题;2.在合约设计和实现时,注意代码实现的正确性,项目上线前,可选择专业的安全审计公司进行全面的安全审计,规避安全风险。

标签:UNDFUNDFUNPROPUNDIX币KateFundcoinfunfi币值得买么BetProtocol

波场热门资讯
VERS:加密货币的四象限:欺诈和乌托邦主义_CHTT

概述 在2020年和2021年的双牛市周期中,“叙事”占据了主导地位,对一个代币项目来说,市场营销和meme传播的水平会比项目本身的优点更加重要.

EST:令Facebook「梦碎」的Diem,血液依然在Crypto行业流淌_DIE

曾领导Facebook的稳定币项目Diem的DavidMarcus正在创建一家新的加密公司。Marcus今天在Twitter上表示,他和一个团队正在创立一家将专注于比特币和闪电网络的新创业公司L.

ROLL:Maven11研究:模块化堆栈的未来_STI

吴说获得作者授权翻译转载,与文中项目无利益相关。前言早在2019年,当我们投资LazyLedger时,模块化这个词在区块链设计方面还没有流行起来.

TPS:「山寨代币」危险,假NYM及一系列欺诈项目清单_tps币圈

北京时间2022年4月16日18时,CertiK安全团队监测到某欺诈者利用了NYM项目的知名度,创建了NYM同名代币。该欺诈项目导致了12.72枚BNB受到损失.

STA:零知识前沿:关于SNARKs,STARKs和未来的应用_Stargate Finance

「我只知道一件事,那就是我一无所知」——苏格拉底在今天的文章中,我将剖析有史以来最强大但经常被误解的密码学工具之一:零知识证明.

IMI:Messari:深度解析Optimism估值模型,市值约为90亿美元_TIMI

本文要点:Optimism空投和生态系统激励计划将开启以太坊扩展解决方案的新时代。PerpetualProtocol、Uniswap和Synthetix是Optimism上最大的应用程序,主导着.