NFT项目惊现低级漏洞,合约未审计导致3400万美元资产被锁死

成都链安Publié le 2022-04-23Dernière mise à jour le 2022-04-23

Résumé

由于多个代码缺陷导致合约中 11539.5 枚 ETH永远无法取出。

2022年4月23日,成都链安链必应-区块链安全态势感知平台舆情监测显示,NFT项目方Akutar的AkuAuction合约由于智能合约本身漏洞,导致11539ETH(价值约3400万美元)被锁死在合约中。成都链安技术团队第一时间对事件进行了分析,结果如下。
#1 事件相关信息
4月23日消息,Solidity开发者foobar发推称,11539ETH(价值3400万美元)被永久锁定在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)此处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.在合约设计和实现时,注意代码实现的正确性,项目上线前,可选择专业的安全审计公司进行全面的安全审计,规避安全风险。

Lectures associées

Perte de l'« ancre » : La communication minimaliste de Walsh force le marché à fixer ses propres prix

L'auteur analyse la probabilité de hausse des taux par la Fed lors de la réunion de jeudi, évaluée à 40% par le marché. Cette incertitude inhabituelle découle principalement du nouveau cadre de communication du président Warsh, caractérisé par une orientation minimaliste. Warsh a supprimé les indications prospectives traditionnelles, raccourci les communiqués pour n'y inclure que les faits, et incite les marchés à se fier davantage à leur propre interprétation des données plutôt qu'aux signaux de la Fed. Cette perte du « point d'ancrage » habituel oblige les marchés à tarifer eux-mêmes le risque d'actions soudaines, augmentant la volatilité et les primes de risque, notamment en période d'incertitude. Deux catalyseurs soutiennent cette pricing de risque de queue : les tensions géopolitiques avec l'Iran et la volatilité des prix de l'énergie, qui menacent la trajectoire inflationniste, ainsi que le besoin potentiel du nouveau président d'établir sa crédibilité anti-inflation par une action précoce. Si la Fed maintient les taux, l'attention se reportera sur septembre. Une hausse surprise, en revanche, confirmerait le nouveau paradigme « axé sur les données et la crédibilité », entraînant un durcissement des conditions financières. Cette situation reflète l'adaptation des marchés au nouveau cadre de communication de la Fed.

marsbitIl y a 1 mins

Perte de l'« ancre » : La communication minimaliste de Walsh force le marché à fixer ses propres prix

marsbitIl y a 1 mins

Nexo affirme que MiCAR offre aux clients un standard clair de confiance dans la plateforme

La plateforme de gestion d'actifs numériques Nexo a adapté son fonctionnement au sein de l'Espace Économique Européen (EEE) pour se conformer au règlement européen MiCA. Plutôt que d'obtenir une licence MiCA directe, Nexo a choisi de s'appuyer sur deux partenaires allemands régulés par BaFin : Tangany, pour le stockage sécurisé et ségregé des actifs numériques, et DLT Finance, pour le courtage et l'exécution des transactions. Ce partenariat permet à Nexo de maintenir l'intégralité de ses services pour ses clients européens sans interruption, tout en respectant les nouvelles normes opérationnelles. Nexo considère le cadre MiCA comme une avancée majeure pour la clarté et la légitimité du secteur, renforçant la confiance des investisseurs institutionnels et des utilisateurs. La direction de Nexo souligne que des règles claires offrent un standard permettant d'évaluer la fiabilité des plateformes et favorisent une confiance à long terme. Nexo anticipe que les utilisateurs européens se tourneront de plus en plus vers les plateformes démontrant une conformité réglementaire robuste. Les dirigeants de Tangany et DLT Finance mettent en avant la réussite de ce projet collaboratif complexe comme un modèle pour les institutions opérant sur le marché européen post-MiCA. En consolidant ainsi son positionnement conforme en Europe, Nexo renforce son rôle de leader dans la prochaine phase de la gestion régulée des actifs numériques.

cryptonews.ruIl y a 7 mins

Nexo affirme que MiCAR offre aux clients un standard clair de confiance dans la plateforme

cryptonews.ruIl y a 7 mins

Le fondateur de Cardano, Charles Hoskinson, exprime son soutien au marché haussier et donne le signal d'un airdrop de jetons ADA aux détenteurs !

Le fondateur de Cardano, Charles Hoskinson, a exprimé un optimisme quant aux perspectives à long terme du marché des cryptomonnaies. Il estime que l'écosystème $ADA pourrait se démarquer grâce à deux atouts principaux : son rôle dans la finance décentralisée (DeFi) Bitcoin et son modèle de chaînes partenaires (partnerchains). Hoskinson a expliqué que Cardano peut représenter le Bitcoin de manière non-custodiale et fiscalement neutre. En transférant le modèle UTXO du Bitcoin vers la structure EUTXO de Cardano, des applications privées de prêt et de DeFi Bitcoin pourraient être développées via le réseau Midnight, offrant ainsi un avantage concurrentiel. Il a également présenté les chaînes partenaires comme un domaine de croissance majeur. Le succès anticipé du jeton NIGHT du réseau Midnight pourrait ouvrir la voie à de nouvelles chaînes, créant des opportunités de distribution (airdrops) de jetons $ADA aux détenteurs, un avantage direct pour la communauté. Enfin, Hoskinson a souligné que l'innovation provient aussi de projets en dehors du top 10 et a réaffirmé sa vision haussière pour le marché. Il a mentionné que la capitalisation totale est encore 50% en dessous de son pic, identifiant des catalyseurs potentiels, dont l'adoption de régulations claires comme la loi CLARITY aux États-Unis, qui pourraient attirer des milliers de milliards de dollars de nouveaux capitaux.

cryptonews.ruIl y a 8 mins

Le fondateur de Cardano, Charles Hoskinson, exprime son soutien au marché haussier et donne le signal d'un airdrop de jetons ADA aux détenteurs !

cryptonews.ruIl y a 8 mins

Trading

Spot
活动图片