本文由“灵踪安全”原创,授权“金色财经”独家首发,转载请注明出处。
一个数字货币、去中心化应用或服务和所有的商品一样都有它的用户,因此用户对它也有一个最基本、最底线的要求----那就是质量要过关。和传统商品一样,数字货币、DAPP的质量如何不能自说自话,还需要用户或第三方机构对其进行检测。但和普通商品不同的是,这个商品一旦被用了,发现质量不行退货都没用,因为它可能已经对用户造成了经济上的损失。所以在区块链领域,对DAPP质量的检测就必须交给第三方审计机构在产品正式上线前先严格把关。而这个严格把关的检测过程最后所形成的结果就是我们常说的智能合约的审计报告。
一份智能合约的审计报告对审计机构来说相当于一本书的读后感,这本“书”是一套智能合约的源代码;而对读者尤其是合约的使用者来说又相当于一份“质量检测报告”。
印度歌手Allah Rakha Rahman计划推出元宇宙NFT平台Katraar:1月9日消息,印度作曲家和歌手Allah Rakha Rahman发推表示,正在筹划推出元宇宙NFT平台Katraar,此外还表示,正在与HBAR基金会合作带来很多NFT,此外,还有“一个基于虚拟人的未公开项目”,但没有提供更多细节。[2023/1/9 11:02:25]
审计报告的这种双重角色决定了它的作用就像是用户和DAPP之间的一个桥梁,这个桥梁的制造者就是审计公司。这个桥造得好不好一方面决定了用户能不能很好、很准确地把握这个DAPP的质量,放心地使用它;另一方面也决定了这个DAPP能不能走向更广大的用户,达到它的理想市场状况。
所以一份审计报告一定要极尽所能的客观公正,如实反映审计机构看到的合约的真实“质量”,并罗列出所有的问题。
CryptoQuant公布储备金干净度:OKX位列交易所第一:12月17日消息,据CoinDesk报道,总部位于首尔的分析公司CryptoQuant公布报告指出,OKX的储备金干净度为 100%,Crypto.com为 97%,Binance为88.95%,Kucoin为 81.64%,Bitfinex为66.5%,Huobi为56%。[2022/12/17 21:50:54]
审计公司除了要把被审计合约的“读后感”完整、真实地展现出来,还要想想怎么能让读者尤其是绝大多数非专业领域的读者更容易地读懂这份报告、很准确地把握这份报告的精髓和精华。
所以一份审计报告还要尽可能地让读者读得懂、抓到重点、读到精华。
既然一份报告既要客观公正、准确详实,又要通俗易懂、清晰明了,所以我们在写一份审计报告时采取了提纲挈领、层层展开的方式。
巴西立法部门批准规范使用比特币的法案,待总统签署后生效:11月30日消息,巴西立法者已经批准了一个完整的加密监管框架,承认比特币可以用作支付手段和南美国家的投资资产,现在只需要总统签署即可成为法律。据悉,当比特币被用作支付时,巴西中央银行(BCB)将作为监管机构,而当它被用作投资资产时,该国的证券交易委员会(CVM)将成为监管机构。BCB和CVM以及联邦税务局(RFB)都帮助立法者制定了全面改革立法。该立法还包括对交易所等服务提供商的监管,他们需要遵守特定规则才能在巴西开展业务。(BitcoinMagazine)[2022/11/30 21:11:04]
所谓的提纲挈领就是用最简单最概括性的语言把读者最关注的重点和痛点首先写出来,让读者直接从这部分内容看到整篇报告最重要、最精华的部分。所谓的层层展开就是让读者在读完这部分内容后,如果还想更进一步了解审计机构的审计详情以及被审计合约的详细细节则可以随着后续的章节一步步展开,进一步阅读,进一步深入。
公告 | 火币全球站6月29日16:00全球首发 Project PAI:火币全球站定于新加坡时间6月29日16:00 Project PAI (PAI) 充值业务。7月2日16:00在创新区开放PAI/BTC, PAI/ETH交易。7月6日16:00开放 PAI提现业务。[2018/6/29]
基于这个思路,我们对一份审计报告的内容布局就有了如下的安排:
我们的审计报告通常包含12章内容。
我们首先就会在第一章介绍所审计的合约文件,包括文件名、文件所能被公开查询、访问的位置、对文件内容的存证标识、审计机构的审计方式及流程、审计机构审计时所依赖的客观材料及这些材料的出处、本审计报告的责任声明、本次审计的最终结论。
对于绝大多数读者而言,当他只关注被审计合约的最终质量和风险评估时,他可以只看这一章内容,而略掉后续章节。这一章也可以说是我们审计报告的精华和重点。
IMEOS首发 BM表示EOS合约具有整数溢出保护:据金色财经合作媒体IMEOS报道:近日ETH出现多个ERC20智能合约的处理溢出错误,BM在推特上发表评论:新的ETH契约Bug可能会破坏整个Token的供应,让持有者留下无价值Token.这就算为什么代码不能成为法律,随即表示EOS erc合约不容易受到这种攻击。而EOS官方群也有人表示担忧EOS是否具有整数溢出保护?BM回应:有很多C ++模板类可以封装类型并检查溢出。[2018/4/25]
接下来的章节则主要就是对审计过程和更多审计细节的披露和展开。
我们会在第二章介绍我们的公司、官网、背景、业务范围等。
第三章介绍被审计项目的应用及服务。
第四章介绍本审计报告所审计的合约的主要功能。
第四章和第三章是相辅相成缺一不可的。对于第三章很多读者能够理解它的存在必要,但对第四章,有些读者不理解。实际上在我们所审计的一些项目中,存在这样的问题:项目方所开发的项目是个庞大的应用,它涉及诸多功能,而项目方给我们所审计的合约仅仅只是这诸多功能中的一个或几个。
举个例子:通常一个去中心化交易所,它有通证交易的功能、提供流动性的功能、发行治理代币及分发治理代币的功能等。而则个交易所的项目方可能只给审计机构审查了提供流动性的功能和发行治理代币的的功能。
所以第四章是对第三章的进一步说明和对审计范围的进一步细化。
第五章介绍了审计机构在本次审计过程中具体做了什么工作。
第六章介绍了审计机构在审计过程中可能涉及审查的风险种类。
第七章介绍了审计机构对每一个罗列的风险进行的等级评定。这些等级通常分为:致命风险、高危风险、中度风险和低风险。
第八章介绍了审计机构在全面阅读了项目代码后根据项目的应用场景和功能特别关注的可能产生风险的领域和功能。
第九章罗列了根据风险等级,每个等级中审计机构所发现的风险数量。
第十章罗列了根据合约文件,每个文件中审计机构所发现的风险数量。
第十一章是第十章的细化,在第十章的基础上对每个风险,详细描述了这个风险的名称、等级、产生的位置、风险描述、审计机构给出的修改建议以及项目方对此风险的回应。
第十二章是在第十一章的基础上对项目方的进一步建议。这一章所罗列的不是风险,也不是项目方必须修改的问题,而是为了让代码有更好的可维护性、可读性、可扩展性、抗风险性等特点审计机构额外提出的一些完善建议和质量提升建议。对此,项目方可采纳也可不采纳。
至此,一份审计报告就完成了。
作者:
灵踪安全CEO?谭粤飞
美国弗吉尼亚理工大学(VirginiaTech,Blacksburg,VA,USA)工业工程硕士(Master)。曾任美国硅谷半导体公司AIBTInc软件工程师,负责半导体设备程序的开发、负责与公司关键客户---台积电的全面技术对接和交流。自2011至今,从事嵌入式,互联网及区块链技术的研究,深圳大学《区块链概论》课程教师,中山大学区块链与智能中心客座研究员,广东省金融创新研究会常务理事。拥有4项区块链相关专利四项。
关于灵踪安全:
灵踪安全科技有限公司是一家专注区块链生态安全的公司。灵踪安全科技主要通过“代码风险检测逻辑风险检测“的一体化综合方案服务了诸多新兴知名项目。公司成立于2021年01月,团队由一支拥有丰富智能合约编程经验及网络安全经验的团队创建。
团队成员参与发起并提交了以太坊领域的多项标准草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569被以太坊团队正式收入。
团队参与了多项以太坊项目的发起及构建,包括区块链平台、DAO组织、链上数据存储、去中心化交易所等项目,并参与了多个项目的安全审计工作,在此基础上基于团队丰富的经验构建了完善的漏洞追踪及安全防范系统。
标签:NFT区块链ETHAPPNFTShiba.Finance区块链最新局曝光ethereumuniswap币赢交易所app官网下载最新版
资产管理公司ArkInvestment的首席执行官CathieWood根据比特币供应量有限的特点和其需求增加的现状,对比特币的前景表示了看好.
Eco可用于存款、汇款以及在亚马逊和优步等众多商户消费,并提供5%存款利率和5%购物返现等高效激励机制.
加密数字资产行业初创公司EtherCards在本月初的一场售前展览中,售出了价值370万美元的超价值NFT.
Silvergate银行将是第二家向由Fidelity托管加密货币的投资者提供比特币支持的贷款的银行。富达在与加密贷款机构BlockFi合作之后,于12月开始接受比特币作为现金贷款的抵押品.
有时,面对单边的行情,有人擅长持有,是对大方向坚定的认可,面对震荡的行情,有人喜欢波段交易,是对区间严密的把控,这个中间没有谁是绝对性的对,谁又是绝对性的错,市场是个提款机,也是个收割机.
链闻消息,比特币技术研发机构Blockstream宣布面向美国之外的合格投资者推出证券型比特币挖矿代币BlockstreamMiningNote.