独家 | 灵踪安全在审计报告中会罗列哪些风险?我们该如何读审计报告_区块链:去中心化交易所

本文由“灵踪安全”原创,授权“金色财经”独家首发,转载请著名出处。

审计机构在审计合约风险时,通常会对发现的每个风险进行评级,评级的目的是为了让项目方对风险引起重视并对需要处理的风险及时采取行动;让读者尤其是用户对项目的风险有所了解,以便对投资进行客观地评估和决策。?

灵踪安全在审计报告中通常根据风险的危险程度和需要解决的紧急程度将风险分为四级,分别为:致命风险、高危风险、中度风险和低风险。

致命风险是所有风险中等级最高的、最危险的,它需要项目方即刻解决,不能拖延。

高危风险在危险程度上仅次于致命风险,它极有可能给项目带来严重问题,也需要项目方解决。

中度风险相较于高危风险等级又次一级,它有可能给项目带来潜在问题,最终还是要项目方解决。

YFX.COM完成数百万美元融资,此前已获得NGC、SNZ、DFG等机构的战略投资:最新消息,跨链去中心化永续合约交易平台YFX.COM宣布完成数百万美元融资,参投机构包括OKEx Blockdream Ventures、PrimeBlock Ventures(MXC Labs)、Gate.io Labs、LD Capital、PetRock Capital、True Edge Capital、R8 Capital、ArkStream Capital、CryptoJ、7 O'Clock Capital、Phoenix VC、NewTribe Capital、Vega Ventures、499Block、Jackdaw Capital、红链资本等海内外投资机构。\u2028YFX.COM 表示即将公布代币YFX的IDO信息。

YFX.COM自2021年1月份以来,目前已经完成ETH(layer2)、BSC、Heco、Tron主网以及OKExChain测试网的上线,能提供高达100倍永续合约交易BTC、ETH等资产,多次通过CertiK 智能合约安全审计,实现了衍生品交易的去中心化部署。[2021/4/26 21:00:09]

低风险是所有风险中级别最低的,通常它表现为一些细节问题、警告信息等,暂时来说这个等级的问题可以不用解决,但项目方最后在未来某个新版本中解决这类问题。

动态 | GCEX完成与PrimeXM的外汇和加密流动性整合:1月21日消息,受英国监管机构FCA监管的加密交易技术提供商GCEX宣布加入PrimeXM的XCore。总部位于伦敦的GCEX现在将向XCore客户提供流动性,包括数字资产和外汇。GCEX此前已经完成了与两家桥梁和机构流动性提供商——Gold-i的MatrixNETwork和oneZero的API集成。[2020/1/21]

灵踪安全在审计合约的过程中,对上述四个等级的风险都会进行严格的排查并密切和项目方合作,重点督促并要求项目方必须解决致命风险和高危风险,并对中度风险和低风险给出详实地反馈和改进计划,不过我们在审计报告中关于如何描述上述四个等级的风险经历了一个演变过程。

公告 | GCOX交易所上线新版移动端APP:据GCOX官方信息,GCOX 交易所新版移动端APP现已正式上线,用户可在App Store和Google Play商店下载,管理及交易数字资产。[2019/12/10]

之所以我们在报告描述中有这个演变过程是和灵踪安全的审计方法及流程密切相关的。灵踪安全的审计过程不仅是我们的工程师自己审阅代码的过程,更是我们工程师与项目方深度交流,密切合作的过程。

灵踪安全会和每个合约项目方进行多个来回的交流及互动。每一次我们审完代码都会给项目方罗列所有的风险并给出整改建议。当项目方拿到我们的建议后需要对我们的建议给出反馈及修改结果。然后我们再对项目方修改过的合约进行重新审计。

金色独家 肖磊:SEC想把加密货币裁定为证券的目的在于限制ICO:

今年,美国证券交易委员会(SEC)开始大范围的对加密货币进行调查,判断其是否应该视为证券进行监管。5月7,有消息称SEC与CTFC开会讨论了ETH是否为证券的问题。6月15日,SEC官员William Hinman公开表示BTC与ETH不是证券。但是,根据Howey Test(豪威测试),当前市值靠前的其他几大加密货币,比如瑞波币(XRP)等依然有可能被SEC认定为证券。

金色财经就加密货币如果被裁定为证券所产生的影响,对区块链资深市场分析师肖磊进行了采访。肖磊认为,如果定性为证券,首先就面临着从发行、承销、投资人资格审核、增持减持、事后监管等方面,纳入到证券法的监管范畴,这个对这类数字货币的影响是巨大,因为在没有赋予任何受益权的情况下,还要面临如此严厉的监管,很多投资者可能就会跑掉。但我觉得完全将除比特币和以太币之外的数字货币定性为证券的可行性也存疑,因为这是一种新型的资产形态,需要新的监管逻辑。目前证交会想把数字货币定义为证券的目的,实际上很简单,就是为了限制ICO。因为目前看,没有人能保证ICO本身是出于什么目的,但确实是一种公开募资的行为,这一点让监管机构非常头疼,因此才想直接把这种代币发行归类到证券。

所以我个人认为对一些中心化比较明显的币,SEC的政策会有很大影响,但对于一些中心化较弱的币,反而可能是一个利好,因此一旦把诸多币定性为证券,监管加强,很多资金会流入到一些没有被定义为证券的币种上。[2018/6/19]

通过这样递进、深入、多次地审计,最终我们才出具一份完整的报告。

在这个过程中,我们实际上审阅了项目方一路修订过程中的所有合约版本,并且会记录所有这些版本中出现的所有风险。

对此,在我们早期的报告中,我们会将审计过程中所有记录的风险无一例外地罗列,这其中就包括致命风险和高危风险。我们会要求所有被审计的项目方严格改进代码移除这两类风险,并会在所罗列的这两类风险后面备注项目方的改进方案和结果,项目方不消除这两类风险,我们是不会出具报告的。

但是我们发现很多读者在读这样描述的报告时会产生两个问题:

一是用户往往不注意看项目方对致命风险和高危风险的处理,误认为项目方的合约对存在的问题置之不理,由此判断项目为高风险。

二是当用户拿到这份冗长的报告时,没有耐心看完,如果不仔细读,看不出哪些问题是已经处理,哪些问题是待处理的,从而导致对项目产生更大的疑惑。

根据读者的上述反馈,我们逐步改进了报告的撰写方式如下:

一是对致命风险及高危风险不解决的项目,我们不出具报告;对中度风险和低风险无知悉、不反馈的项目我们不出具报告。

二是如果灵踪安全出具审计报告,只在报告中罗列中度风险和低风险,并且项目方要对这两类风险有所反馈和改进计划。

我们这么处理主要的原因就是希望简化报告内容、突出报告重点,让用户一目了然,直击要害。

所以在后期灵踪安全出具的审计报告中,读者通常只会看到中度风险和低风险的罗列而看不到致命风险和高危风险。

这并不表明合约从来没有致命风险和高危风险,而是表明即便有,项目方也在灵踪安全地督促和建议下修改去除了这两类不能出现在合约中的风险。

?---------------------------------------------------------------?

作者:

灵踪安全CEO谭粤飞

美国弗吉尼亚理工大学(VirginiaTech,Blacksburg,VA,USA)工业工程硕士(Master)。曾任美国硅谷半导体公司AIBTInc软件工程师,负责底层控制系统的开发、设备制程的程序实现、算法的设计,并负责与台积电的全面技术对接和交流。自2011至今,从事嵌入式,互联网及区块链技术的研究,深圳大学创业学院《区块链概论》课程教师,中山大学区块链与智能中心客座研究员,广东省金融创新研究会常务理事。个人拥有4项区块链相关专利、3本出版著作。

关于灵踪安全:

灵踪安全科技有限公司是一家专注区块链生态安全的公司。灵踪安全科技主要通过“代码风险检测逻辑风险检测“的一体化综合方案服务了诸多新兴知名项目。公司成立于2021年01月,团队由一支拥有丰富智能合约编程经验及网络安全经验的团队创建。

团队成员参与发起并提交了以太坊领域的多项标准草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569被以太坊团队正式收入。?

团队参与了多项以太坊项目的发起及构建,包括区块链平台、DAO组织、链上数据存储、去中心化交易所等项目,并参与了多个项目的安全审计工作,在此基础上基于团队丰富的经验构建了完善的漏洞追踪及安全防范系统。

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

金宝趣谈

莱特币价格GCR开通BEP20通道_TIG:TIGER

尊敬的用户: 币虎将于2021年3月31日18:00开通GCR币种的BEP20通道的充提币功能,用户可对相关币种通过BEP20通道进行充提币,欢迎体验!币虎提醒用户,数字资产是创新的投资产品.

[0:15ms0-3:490ms