2022年4月23日，成都链安链必应-区块链安全态势感知平台舆情监测显示，NFT项目方Akutar的AkuAuction合约由于智能合约本身漏洞，导致11539ETH被锁死在合约中。成都链安技术团队第一时间对事件进行了分析，结果如下。
#1事件相关信息
4月23日消息，Solidity开发者foobar发推称，11539ETH被永久锁定在AkuDreams合约中，个人用户或开发团队都无法取出资金。退款处理完成后，将每个出价状态设置为1。因此，用户无法调用emergencyWithdraw()。此外，团队也无法领取资金，基本上等于销毁。?
外媒：美韩正采取行动解决朝鲜虚拟货币盗窃等恶意网络活动:7月27日消息，美国和韩国本周就朝鲜网络威胁举行了工作组会议。会议声明称，美国和韩国正在采取广泛行动，解决朝鲜的恶意网络活动，包括盗窃虚拟货币。
此前消息，安全机构慢雾在社交媒体上发文表示，近期发现CoinsPaid、Atomic与Alphapo攻击者或均为朝鲜黑客组织Lazarus Group。[2023/7/27 16:02:22]
成都链安技术团队立刻进行了分析。
漏洞合约：
0xf42c318dbfbaab0eee040279c6a2588fa01a961d
一家大型贸易公司此前从他们的冷钱包中转移3.1万枚BTC:金色财经报道，Arkham监测显示，北京时间5月25日16点左右，一家大型贸易公司从他们的冷钱包中转移了超过 31,000 枚BTC（价值约8.22 亿美元）。BTC 之前存储在钱包中，最后一次活跃是在 2022 年底，直接从 Binance 和 Huobi 接收 BTC。2022年10月初，该公司的钱包从Binance和Huobi收到21600 枚BTC。由于FTX在11月初停止了提款，他们又从Binance转出了15000个BTC。
目前，他们在2个独立的钱包中持有BTC。[2023/5/26 10:40:43]
#2?漏洞分析
Frax Finance新提案使FRAX稳定币只能在PoS ETH上兑换:金色财经报道，Frax Finance的联合创始人Sam Kazemian已经提交了一份提案，在网络即将从工作证明（PoW）共识转换之后，该项目稳定币只能在Ethereum的工作证明（PoS）主网上兑换。Kazemian 的提议要求 Frax 的 DAO 选择 PoS 以太坊作为其 frax 稳定币合并后唯一被认可的以太坊网络。（the block）[2022/8/4 12:02:23]
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.在合约设计和实现时，注意代码实现的正确性，项目上线前，可选择专业的安全审计公司进行全面的安全审计，规避安全风险。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。