区块链:首发 | 智能合约的审计报告有什么内容？又该如何去审读_SON

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

一个数字货币、去中心化应用或服务和所有的商品一样都有它的用户，因此用户对它也有一个最基本、最底线的要求----那就是质量要过关。和传统商品一样，数字货币、DAPP的质量如何不能自说自话，还需要用户或第三方机构对其进行检测。但和普通商品不同的是，这个商品一旦被用了，发现质量不行退货都没用，因为它可能已经对用户造成了经济上的损失。所以在区块链领域，对DAPP质量的检测就必须交给第三方审计机构在产品正式上线前先严格把关。而这个严格把关的检测过程最后所形成的结果就是我们常说的智能合约的审计报告。

LBank蓝贝壳于5月3日20:00首发 CSPR(Casper)，开放USDT交易:据官方公告，5月3日20:00，LBank蓝贝壳上线 CSPR(Casper)，开放USDT交易，同时并开放充值，资料显示，Casper网络是基于CasperCBC规范构建的第一个实时权益证明区块链。Casper旨在加速当今企业和开发人员对区块链技术的采用，同时确保随着网络参与者需求的发展，其在未来仍能保持高性能。[2021/5/3 21:19:51]

一份智能合约的审计报告对审计机构来说相当于一本书的读后感，这本“书”是一套智能合约的源代码；而对读者尤其是合约的使用者来说又相当于一份“质量检测报告”。

审计报告的这种双重角色决定了它的作用就像是用户和DAPP之间的一个桥梁，这个桥梁的制造者就是审计公司。这个桥造得好不好一方面决定了用户能不能很好、很准确地把握这个DAPP的质量，放心地使用它；另一方面也决定了这个DAPP能不能走向更广大的用户，达到它的理想市场状况。

LBank蓝贝壳于4月9日16:50首发 BOSON:据官方公告，4月9日16:50，LBank蓝贝壳首发BOSON(Boson Protocol)，开放USDT交易，4月9日16:00开放充值，4月12日16:00开放提现。上线同一时间开启充值交易BOSON瓜分10,000 USDT。

LBank蓝贝壳于4月9日16:50开启充值交易BOSON瓜分10,000 USDT。用户净充值数量不少于1枚BOSON ，可按净充值量获得等值1%的BOSON的USDT空投奖励；交易赛将根据用户的BOSON交易量进行排名，前30名可按个人交易量占比瓜分USDT。详情请点击官方公告。[2021/4/9 20:02:26]

动态 | 可信教育数字身份在广州白云区首发 采用区块链等技术:12月25日，可信教育数字身份(教育卡)广东省应用试点首发仪式与应用研讨在广州市白云区举行。

据介绍，可信教育数字身份融合采用国产密码、区块链等核心技术，创新签发“云计算、边缘计算、移动计算”网络环境下的一体化数字身份，实现一体化密钥管理，构建“可信教育身份链”。（中国新闻网）[2019/12/25]

所以一份审计报告一定要极尽所能的客观公正，如实反映审计机构看到的合约的真实“质量”，并罗列出所有的问题。

审计公司除了要把被审计合约的“读后感”完整、真实地展现出来，还要想想怎么能让读者尤其是绝大多数非专业领域的读者更容易地读懂这份报告、很准确地把握这份报告的精髓和精华。

所以一份审计报告还要尽可能地让读者读得懂、抓到重点、读到精华。

首发 | 蚂蚁矿机S17性能曝光 采用全新散热技术及全局优化定制方案:金色财经讯，日前，比特大陆即将发布的蚂蚁矿机S17性能曝光。据蚂蚁矿机S17产品经理朋友圈称，新品将采用新一代散热技术及全局优化定制方案。据了解，该散热技术可能是指芯片的封装技术，也有可能是机器的散热结构设计。至于S17产品“全局优化定制”方案未有细节透露。有声音评价，这或许是为决战丰水期做出的准备。[2019/3/22]

既然一份报告既要客观公正、准确详实，又要通俗易懂、清晰明了，所以我们在写一份审计报告时采取了提纲挈领、层层展开的方式。

所谓的提纲挈领就是用最简单最概括性的语言把读者最关注的重点和痛点首先写出来，让读者直接从这部分内容看到整篇报告最重要、最精华的部分。所谓的层层展开就是让读者在读完这部分内容后，如果还想更进一步了解审计机构的审计详情以及被审计合约的详细细节则可以随着后续的章节一步步展开，进一步阅读，进一步深入。

金色首发 EOS超级节点竞选投票率达6.49%:金色财经数据播报，截止北京时间6月13日15:50，EOS投票率达6.49%。EOS引力区和EOS佳能作为两个来自中国的超级节点竞选团队暂居第五和第六名。其中EOS引力区的得票总数为903万，占比2.96%；EOS佳能的得票总数为877万，占比2.87%。此前异军突起的EOSflytomars暂居第17位，得票总数为630万，占比2.07%。目前跻身前30名的超级节点竞选团队中，有八个团队来自中国。[2018/6/13]

基于这个思路，我们对一份审计报告的内容布局就有了如下的安排：

我们的审计报告通常包含12章内容。

我们首先就会在第一章介绍所审计的合约文件，包括文件名、文件所能被公开查询、访问的位置、对文件内容的存证标识、审计机构的审计方式及流程、审计机构审计时所依赖的客观材料及这些材料的出处、本审计报告的责任声明、本次审计的最终结论。

对于绝大多数读者而言，当他只关注被审计合约的最终质量和风险评估时，他可以只看这一章内容，而略掉后续章节。这一章也可以说是我们审计报告的精华和重点。

接下来的章节则主要就是对审计过程和更多审计细节的披露和展开。

我们会在第二章介绍我们的公司、官网、背景、业务范围等。

第三章介绍被审计项目的应用及服务。

第四章介绍本审计报告所审计的合约的主要功能。

第四章和第三章是相辅相成缺一不可的。对于第三章很多读者能够理解它的存在必要，但对第四章，有些读者不理解。实际上在我们所审计的一些项目中，存在这样的问题：项目方所开发的项目是个庞大的应用，它涉及诸多功能，而项目方给我们所审计的合约仅仅只是这诸多功能中的一个或几个。

举个例子：通常一个去中心化交易所，它有通证交易的功能、提供流动性的功能、发行治理代币及分发治理代币的功能等。而则个交易所的项目方可能只给审计机构审查了提供流动性的功能和发行治理代币的的功能。

所以第四章是对第三章的进一步说明和对审计范围的进一步细化。

第五章介绍了审计机构在本次审计过程中具体做了什么工作。

第六章介绍了审计机构在审计过程中可能涉及审查的风险种类。

第七章介绍了审计机构对每一个罗列的风险进行的等级评定。这些等级通常分为：致命风险、高危风险、中度风险和低风险。

第八章介绍了审计机构在全面阅读了项目代码后根据项目的应用场景和功能特别关注的可能产生风险的领域和功能。

第九章罗列了根据风险等级，每个等级中审计机构所发现的风险数量。

第十章罗列了根据合约文件，每个文件中审计机构所发现的风险数量。

第十一章是第十章的细化，在第十章的基础上对每个风险，详细描述了这个风险的名称、等级、产生的位置、风险描述、审计机构给出的修改建议以及项目方对此风险的回应。

第十二章是在第十一章的基础上对项目方的进一步建议。这一章所罗列的不是风险，也不是项目方必须修改的问题，而是为了让代码有更好的可维护性、可读性、可扩展性、抗风险性等特点审计机构额外提出的一些完善建议和质量提升建议。对此，项目方可采纳也可不采纳。

至此，一份审计报告就完成了。

作者：

灵踪安全CEO?谭粤飞

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

关于灵踪安全：

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

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

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

标签：区块链BOSSONBOSON区块链游戏币拍卖BOSTSONGBOSON币

USDT热门资讯