当我们看合约审计时,我们在看什么?

"随着DeFi项目数量的爆发,安全审计机构已经要忙不过来了。从某种程度上讲,合约审计是把握智能合约风险的第一道门槛。

根据安全团队的解读,一个完整的DeFi=智能合约+前端页面。这即是说,在智能合约安全审计后,仍会存在几个风险。

当在我们看审计报告的时候,我们在看什么??

作为DeFi参与者,合约审计能够真正给出哪些借鉴和参考??"

随着「Swap系」数量越来越多,DeFi项目「暴雷」、「跑路」的事件也在增多。

面对社区对于DeFi项目风险的担忧,很多项目方都选择了进行合约审计,或是为了自证清白,或是为了取信于投资人,有时,DeFi项目进行合约审计,也被当做是一种利好来进行解读。

这种方式似乎是有效的:在「寿司」Sushiswap创始人被爆套现离场、项目控制权易主之后,一条关于「Sushiswap项目智能合约审计工作进展顺利」的消息,让Sushi立刻展示出了小幅度涨幅,也让一部分投资者重获信心;在JustSwap连续三个项目均爆出漏洞、并被指项目方未做好详尽的测试和审计之后,Tron官方挖矿项目SUN通过报告审计的消息,也让波场社区的热度再次增加。

数据:上周Curve协议费用达214万美元,创去年11月以来新:3月16日消息,据 Defillama 数据,上周 Curve 协议费用达 214 万美元,协议实现收入 107 万美元,创去年 11 月 (协议费用达 294 万美元) 以来新高。[2023/3/16 13:08:24]

同时,也有一些平台因为出现漏洞而在审计上备受质疑,上周,就有投资人对新兴的「Swap系」平台Moonswap提出了关于「发现有预挖」、「合约没有时间锁」、「平台出现多个Bug」等问题,并对其审计做出质疑,引发社区关注。

目前,MoonSwap已于启动当天18点多已经加上了时间锁,慢雾安全团队发布了正式安全审计报告。

当在我们看审计报告的时候,我们在看什么?

Jack Dorsey旗下支付公司Block计划构建比特币挖矿开发工具包:3月8日消息,Jack Dorsey旗下支付公司Block在官方博客上表示,其正在考虑构建比特币挖矿开发工具包或MDK,目前设想的MDK将包括:1.强大、可靠、工业级的比特币挖矿算力板;2.专为与算力板配合使用而设计的定制控制器板;3.开源固件、软件API和Web前端;3.丰富的参考资料和支持文档,方便算力板的轻松定制。Block将在接下来的几周和几个月内进一步更新其挖矿硬件计划。

文章表示:“MDK旨在是为开发人员提供一套工具,以帮助释放比特币挖矿硬件的创造力和创新。我们预计MDK对专注于将比特币挖矿集成到各种新用例(如加热解决方案、离网挖矿、家庭挖矿或间歇性电力应用)的开发项目非常有用,以及为传统商业挖矿操作优化比特币挖矿硬件。通过MDK,我们看到了增加比特币挖矿硬件的可访问性和开放性的重大机会,以加速该领域的创新。”[2023/3/8 12:48:43]

作为DeFi参与者,合约审计能够真正给出哪些借鉴和参考?

在面对这些问题的同时,Blocklike还发现,对于审计能够起到的作用,有人作出了这样的总结:「代码可以审计,人性无法审计。」

Animoca Brands推出Publisher NFTs以增强教育工作者的能力:10月31日消息,Animoca Brands及其子公司Tiny Tap推出Publishe rNFTs的教育相关代币,将于11月2日在NFT市场OpenSea上拍卖其中六个代币。Animoca Brands的联创Yat Siu表示,该公司的目标是“让教育工作者能够建立自己的资产并积累价值,就像NFT已经彻底改变了艺术和游戏一样。”

据悉,Animoca Brands在6月份以近3900万美元收购教育科技平台Tiny Tap,教师可以通过Publisher NFT为其课程提供发布权,并分享平台订阅模式的收入,或者在其他平台上推广Publisher NFT,他们将获得最高80%的营销和出版工作所产生的收入。[2022/10/31 11:59:17]

审计范围有限,合约风险暗藏

DeFi热潮之下,很多投资人的现状可能正如PrimitiveVentures创始合伙人Dovey所描述的那样:「千万别问我xxx能不能挖。现在一个人全职帮我看新地,一个人全职帮我看项目,还有两个trader全职做交易,还有各种内应外援程序员帮我看合约安全,我就是个确认钱包多签的机器人,现代化农业哪里有那么简单。」

Clear前CTO担任Anchorage Digital工程负责人:10月10日消息,Anchorage Digital已聘请科技公司Clear前首席技术官CJ Jouhal担任工程负责人,将专注于扩大团队规模并确保其产品的安全性。

Anchorage一位发言人告诉表示,公司今年试图将其工程团队规模扩大两倍。到目前为止,公司已在2022年将该部门的员工人数增加一倍。(Blockworks)[2022/10/11 10:30:16]

的确,合约安全是很多投资者都关心的话题。近期,为了给跟多投资者提示风险,社区就总结出了这样一份DeFi生态思维导图及风险点:

1.合约风险,代码漏洞,未经审计,黑客攻击造成资产损失?

2.私钥风险,没有多签的DeFi合约意味着掌握合约私钥的可以随意更改合约或者跑路?

3.无常损失风险,例如流动性挖矿本身的无常损失,尤其是两种风险资产的流动性对收益高风险也高?

4.交易摩擦风险,现在以太坊交易Gas费率极高,几个交易下来可能就要花费一个以太,散户的本金来回几次可能都不够折腾?

5.操作失误风险,在转账过程中失误导致资产永久丢失,最近有几次大额转账失误建议投资国外经过开源审计多签和社区民主自治的项目,仅供参考。

“奇异火科技”获得数千万元天使轮融资:金色财经报道,“奇异火科技”宣布获得数千万元天使轮融资,本轮融资由线性资本领投,上市公司奥雅设计跟投。本轮融资过后,该公司将重点发力底层技术研发与市场运营扩大和生态场景搭建。据介绍,奇异火科技是国内最早一批布局NFT技术研究,并率先打造集可信数字商品铸造、编程和虚拟空间搭建整体解决方案的元宇宙公司。(36氪)[2022/6/20 4:39:41]

从中看出,风险点之中首当其冲的便是「?合约风险,代码漏洞,未经审计,黑客攻击造成资产损失」。从某种程度上讲,合约审计成为了把握合约风险的第一道门槛。

到了DeFi这里,从投资者参与未经审计项目的情况与热度来看,很多人对于安全审计的含义并不明了。早在Yam启动之时,市场的Fomo情绪已经被带动起来,虽然Yam已经被声明了「未经审计」的、一周内写出来的合约,但其所受到的追捧仍让人咋舌。

那么,作为DeFi投资者,该如何看待合约审计呢?

Blocklike从慢雾安全团队处了解到,目前,智能合约基础安全审计主要分为ETH部分和EOS部分。其中,ETH安全审计包含13个大类,EOS安全审计包含15个大类。

不过,由于DeFi整个安全模型上会更加复杂,慢雾安全团队将DeFi风险点分为了合约层与前端层两个部分:

合约层:?

1.智能合约基础安全审计项,其中精度问题是个需要特别注意点?

2.权限过大风险:铸币,授权迁徙?

3.经济模型风险:预挖、团队分配及用途?

4.同链平台迁移风险?

5.新增池风险:添加恶意Token薅奖励?

6.合约直接收到打币风险?

7.代币兼容性风险:通缩型代币,777代币?

8.DoS风险:循环递归,恶意合约拒绝接受以太币?

9.治理合约风险:治理投票双花,治理垄断风险?

10.链平台迁移风险:各链之间兼容EVM的方式可能不一致?

11.闪电贷攻击风险:通过闪电贷对系统稳定性造成影响(暂定)

12.预言机操控风险?

13.借贷清算风险:全部清算、部分清算、无人清算、竞价清算

前端层:?1.精度风险?2.中间人攻击风险,如替换合约地址?3.合约替换风险?4.授权钓鱼风险?5.GasLimit限制风险

「这些确实普通用户很难去一一理解」,慢雾安全团队进一步解释道:「但普通用户可以简单理解为:DeFi通过安全审计后,用户参与进去被安全审计的智能合约里的本金是安全的。至于因为参与DeFi导致的炒币经济亏损或在非合约层面导致的亏损,都不在智能合约安全审计范围。」

需要注意的是,根据安全团队的解读,一个完整的DeFi=智能合约+前端页面。

这即是说,在智能合约安全审计后,还会存在几个风险:第一,安全审计可能都没发现的漏洞或新型攻击方式;第二,智能合约可升级或可篡改,如何让可升级或可篡改成为不可能或有效可信的社区治理行为;第三,随着项目方的发展,智能合约会增加新的,如新池子、新功能模块,需要注意看智能合约安全审计报告明确审计的是哪些。

由于前端页面属于中心化内容,如果前端出Bug或漏洞或作恶,实际上危害可能会更直接更大。这个不仅是安全审计机构可以去审计的事,还是社区监督的事。

而到了EOS安全审计上,情况便又有所不同了。

虎符创始人王瑞锡就曾公开表示:「EOS的合约特性是可修改,大家要看清楚,不要盲目相信审计了。因为目前大多数EOS上的合约都没有开源。审计了没开源和没审计是一样的。出了问题审计还背锅,得不偿失。」

对于EOS上的智能合约,慢雾安全团队补充道:「如果项目方Owner权限已进行多签,需要项目方与至少2个可信方共同多签进行合约更新或者转账等操作,且active权限已删除项目方私钥权限。就可以比较好控制EOS智能合约项目方权限过大问题。」

因此,即便是通过了安全审计的DeFi项目,投资者仍然需要仔细甄别,注意风险。

投资人该如何参考?

根据工作经验,慢雾安全团队也对投资者们提出了一些建议:「智能合约安全审计虽然不是银弹,但有总比裸奔好,职业的安全审计机构会大大降低DeFi风险;切记不要进入到钓鱼网站,乱授权会导致本金归零;即使去投资被多家安全审计机构审计过的DeFi,也做好黑天鹅爆发可能性,切勿沉迷;用靠谱的环境去玩靠谱的DeFi,靠谱环境指;不要把所有资金放到一个篮子里,分散安全管理很重要。」

成都链安智能合约安全负责人对Blocklike总结道:「从成都链安的经验来看,合约审计的目的主要是检查代码规范性、常规漏洞、安全漏洞、业务逻辑漏洞。主要排除的风险主要在于两点,减少遭受黑客攻击的可能性、减少因代码导致的业务无法按预期正常运转。」

「审计报告会指出业务逻辑和功能描述等,可以对比看看项目方宣传与功能是否对的上;审计报告也会描述权限相关,普通投资者可以根据描述的权限,看看项目方是否有跑路的能力,比如项目方有权利将合约中的钱全部转走等,或者可以控制某些关键参数,变相控制用户资金」,成都链安提出建议。

而目前可以看到的现状是,DeFi大热导致了很多项目方过于急切,现在明显是安全审计机构远远忙不过来的状况,这对于用户来说不是个好事。由于不少用户缺乏安全意识,即使一个DeFi没有通过安全审计,也可能有大量用户直接涌入。

Blocklike提示各位投资者,在参与DeFi项目的同时,注意智能合约安全问题,进行投资时,本金安全作为第一重要的评估参数来看待,面对庞大的参与资金,黑客们可比普通投资者更狂热。

毕竟,早在8月中旬,就已经有社区声音对热情的投资者们灵魂发问:「你们想过吗,这些形形色色的DeFi项目真是出了问题,维权横幅上面你要印谁的名字?」

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

银河链

中币中美争端下,区块链技术在跨境支付领域的应用前景探索

本文来源:未央网,作者:王伟羲,江苏银行投行与资产管理总部?今年4月,国家发改委首次将区块链技术纳入了“新基建”范畴,全国多省市开启了区块链建设的试点工作,宽松积极的政策环境为区块链技术在金融领域的发展提供了前所未有的便利.

[0:15ms0-3:751ms