疯狂“出圈”和刷屏之后 Web3.0热潮下的NFT安全如何保证?_NFT:区块链的未来发展前景肖磊

最近一段时间,Web3.0不断“刷屏”,NFT疯狂“出圈”,有人撸空投,有人搞收藏,有人说,NFT的爆炸性增长正在推动Web3.0的发展。

Web1.0到Web2.0实现了内容的消费者向内容生产者的转变,其本质是进行了一次从物理世界向网络世界的平行时空的大迁徙,当我们畅谈Web3.0的发展时,不得不进一步提到关于区块链,因为区块链的去中心化、去信任和防篡改的特性很好的对标了Web3.0的目标——创造新一代互联网,让每个用户掌握自己的数据、身份和命运。

Web3.0基于区块链而存在,承诺将隐私和数字身份还给用户,同时由于NFT等的应用,实现了新的互动水平。但我们更需要的是Web3.0热潮下NFT的诸多“危险”与“隐患”,最近NFT领域随处可见的“黑客事件”也证明了我们需要将“安全”放在第一位。

近期发生了哪些NFT合约安全事件?

4月21日,NBA的NFT项目合约遭受攻击,攻击者利用了签名未验证,在合约代码中,vDatamemory参数info在传入函数中未进行验证导致签名可复用,攻击者可以通过使用其他人的签名来进行Mint,导致项目方被疯狂“薅羊毛”。

声音 | V神:在没有考虑大型反DoS安全因素的情况下 任何人建立公链都是疯狂的:V神在推特中称,在没有考虑大型反DoS安全因素的情况下,任何人建立公链都是疯狂的。 推特用户John Galt@Brainvelli回应称,收取gas费并不是真正的反DoS。你不能向普通用户收取gas费,他们不明白什么是gas。[2019/8/22]

动态 | 彭博报道称交易机器人正在加密交易所疯狂运行,比特币隔夜一度“闻讯下跌”:据彭博今日凌晨报道称,在部分数字货币交易所,市场操纵问题极其猖獗,交易算法打造的机器人通过相对于普通用户的优势,以牺牲用户利益为代价谋取暴利。报道援引康奈尔大学科技学院Philip Daian、Ari Juels等人的研究报告称,在去中心化交易所上,由于算法交易更加直接且方便,一些专门打造的套利交易机器人便能够利用相对于普通用户的优势,直接参与交易并从中谋利。Ari Juels表示,尽管去中心化交易所的交易量在整个数字货币市场中只占很小的一部分,但是用户使用量预计将持续增长。此外,在中心化交易所中,这类行为可能也一样猖獗。在上周的一场演讲中,Ari Juels曾表示:从去中心化交易所呈现的情况来看,涉及的交易金额可能以十亿美元计。据行情数据显示,在这一文章发布后不久,主流币隔夜出现过一波短暂回调,BTC一度跌穿5000USDT关口,不过目前价格已回升至5072USDT附近。[2019/4/16]

而在4月23日,NFT项目Akutar惊现低级漏洞,它的AkuAuction合约由于智能合约本身漏洞,导致11539ETH被锁死在合约中。经成都链安技术团队分析,发现Akutar项目的智能合约包含2个漏洞:

创业工场创始人麦刚:区块链是人类最伟大的投资机会,也是最疯狂的投机泡沫:金色财经现场报道,在2018飞鸟·中国区块链技术与应用高峰论坛上,创业工场创始人麦刚提出:区块链技术不仅仅是一次技术革命,更引发了两次金融革命:比特币(数字货币)和ICO(代币发行)。区块链技术已经产生比特币和以太坊两个成功的应用,将来会出现更多成功的应用,但ICO项目可能有很多包装手段和可操控环节,应该非常小心。他还表示,不希望行业因为无规则、无监管导致暴涨或暴跌,期待未来的区块链项目拥有核心竞争力和长期价值。[2018/3/29]

第一个合约漏洞在processRefunds中,设计者根据refundProgress计数器进行循环退款,而如果有攻击者此时在fallback中进行revert则会导致后面的人都无法进行退款,这个漏洞被人在链上证明但没有进行攻击利用。

安联疯狂唱空比特币:一文不值,泡沫即将破灭:近日欧洲最大保险机构安联集团选择站在了空方,认为比特币将“一文不值”。安联集团旗下投资部门,掌管着近5000亿欧元资金的安联全球投资(Allianz Global Investors)主管霍夫里希特(Stefan Hofrichter)认为即使区块链技术可以为投资者带来收益,但比特币本身没有任何内在价值。他还表示,比特币的消亡不会对“现实世界”产生溢出效应,因为它的市场规模仍然很小。因此,我们认为比特币带来的金融稳定风险是可以忽略不计的,至少目前如此。[2018/3/15]

第二个漏洞在claimProjectFunds中,require语句的totalBids变量应该是bidIndex,这个漏洞使得该判断条件永远失败,导致无法执行后续的提款操作。最终,导致项目方11539ETH(价值约3400万美元)被锁定无法提取。

日本交易平台首席执行官认为 投资理念保守的日本人在比特币投资方面尤为疯狂:据纽约时报,全球规模最大的比特币交易平台bitFlyer首席执行官狩野雄三(Yuzo Kano)不久前表示,日本人的投资理念一贯保守,但一旦被触动,他们就会全数押注,比特币投资方面尤为如此。[2017/12/11]

可见关注NFT合约风险,变得越来越紧迫。

NFT合约问题包括哪些?

根据NFTSCAN数据显示,目前全球NFT项目已接近七万个,而且数据还在持续增长中。

数据来源:NFTSCAN

NFT作为Web3.0的底座,它的安全问题对行业发展同样重要,为了护航Web3.0的安全生态,成都链安通过智能合约形式化验证工具链必验对上千个NFT项目进行漏洞扫描,发现NFT常见的合约问题还包括以下几类:

业务逻辑相关问题:

此类问题可能直接导致合约的业务逻辑出错。

漏洞描述:chapterAuctionMinted的值永远为初始值,但是在此处使用的判断条件中,使用了该值进行条件检查。如果在开发期间使用扫描后,开发者可根据扫描结果判断是否是相关逻辑缺失,亦或是冗余代码。

漏洞描述:未检测返回值。在NFT项目中,经常存在有偿铸币的功能,调用者需要将作为铸币手续费的ERC20代币发送到NFT铸币合约中,然后NFT铸币合约为其铸造对应数量的NFT代币。但是部分ERC20合约存在假充值的问题,即转账失败不抛出异常而是返回false,这样就会导致一个问题,攻击者可以利用这点,在未支付手续费的情况下,铸造任意数量的NFT。开发者应根据VaaS扫描结果的建议,检查transferFrom操作的返回值或者使用safeTransferFrom函数进行ERC20代币转账。

代码规范相关问题

此类问题可能不会直接造成业务逻辑出错,但是会影响代码的可读性,造成合约调用时有多余的gas消耗等。同时不规范的代码也容易导致编写时逻辑混乱,有隐藏的逻辑错误的概率更高。

漏洞描述:此处循环的结束条件为curr>=0,而curr为uint导致curr>=0恒满足。此处会导致循环无法正常结束。在扫描中会对这类结果为定值的条件进行告警,用户可以通过提示确认此处逻辑,对条件进行删除或修改。

漏洞描述:此处event中将string类型的数据标记了indexed,该写法会导致在事件结果中无法直接获得对应的string结果。建议用户参考的提示,仅使用indexed修饰固定长度的变量。

研究发现,大多数的NFT合约都没有进行过专业的安全审计,这就存在很大的安全隐患,容易导致攻击事件的发生,造成资产的损失。所以NFT智能合约开发者应具备基本的安全开发意识,了解智能合约开发应注意的安全问题;此外,在合约设计和实现时,注意代码实现的正确性。我们建议开发完成后,可使用对项目进行安全检测。项目上线前,可选择安全审计,规避安全风险。

安全,是区块链技术能够得以长足发展的重要保证,守护Web3.0的安全也变得愈发重要。今天我们所讲的业务逻辑相关问题和代码规范性相关问题,也是智能合约里面常见的问题类型?,后续我们将继续推出NFT相关安全文章,请大家持续关注我们

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

水星链

[0:0ms0-1:48ms