区块链:独家 | 审计报告怎么记录审计文件的存证? 又该如何去审读

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

?一份审计报告是对一套智能合约的“质量检测报告”,那报告就要告诉用户所审计的对象是谁。

?和普通的有形商品不同,智能合约这种特殊的商品是摸不着的,那怎么才能让用户知道它呢?

?区块链领域的绝大多数项目包括鼎鼎大名的比特币和以太坊都有一个共同的特点:它们的源代码都是”开源”的。所谓的“开源”就是它们的代码都是公开的,放在某个公开、所有人都可以访问的网站上,任何人都可以看到它的内容。

?我们所审计的智能合约绝大多数也是这样,它们都是开源的,放在一些知名的、供所有人存放文件的网站比如github等。

?如果我们所审计的智能合约是开源并且放在了github上,我们要让用户知道它、看到它的源代码,就会在审计报告中列出合约所存放的github的网址。这就好比一件商品存进了一个大仓库,存在仓库中的某个库房,我们要让用户能找到这件商品就要告诉用户仓库的地址和库房的门牌号码。存放合约的github网址就等于仓库地址+门牌号码。

独家 | BTC 24h链上交易量下降14.02%:据欧科云链OKLink数据显示,BTC 24h 链上活跃地址数总计685442,较前日下降14.82% ;链上交易量总计255628.93 BTC,较前日下降14.02% ;链上交易笔数总计274451,较前日下降2.61% ;BTC链上活跃度下降。

截至上午10时,全网算力约为113.36EH/s,较前日上升0.64EH/s,全网算力呈上升趋势。[2020/6/15]

可是如果合约的编写者在给审计机构审计时用的是放在github上的一套合约,但审计后尤其是项目上线后,用户又修改了它的智能合约,我们怎么知道放在github上的合约就是审计时看到的合约而不是后来修改过或者其它“鱼目混珠”的合约呢?

这就涉及到github这个仓库的一个特性了。

独家 | Bakkt期货合约数据一览:金色财经报道,Bakkt Volume Bot数据显示,4月13日,Bakkt比特币月度期货合约单日交易额为1474万美元,环比上升236%,未平仓合约量为598万美元,环比下降7%。[2020/4/14]

当项目方往github中存放代码时,github会给这次存放动作产生一个版本号。这就好比我们在比特币、以太坊中申请一个新钱包时,这个钱包会有一个独一无二的地址一样,这个版本号也是唯一的。

当项目方之后对任何文件有了任何改动:小到一个字的修改,大到文件的删除、添加等,当把这些改动提交到github中,github又会给这次动作产生一个新的版本号。

所以github中的版本号就是对所存放的文件的一份唯一存证,它保证了这个版本号所对应的文件就是某时某刻放进仓库中的文件,而不是之前或之后放进去的文件。

独家 | USDT占比特币交易比重较上日下降明显:据cryptocompare数据显示,目前比特币交易情况按照交易币种排名,排在第一的是USDT,占比为65.72%;排在第二的是USDC,占比为9.77%;排在第三的是美元,占比为9.74%;排在第四的是日元,占比为7.07%;排在第五的是欧元,占比为2.36%。[2020/2/16]

所以我们在审计报告中除了罗列被审计合约的github网址,还要罗列被审计合约在github中的版本号。

这两个要素就保证了读者看我们报告时能准确知道我们所审计的内容。

除了放在github上,还有的项目方在审计时已经把合约部署在区块链网络上了。由于智能合约一旦部署到区块链网络上,它就是无法篡改和撤销的,因此智能合约所部署的区块链地址也可以作为合约的存证地址。

独家 | 褚康:区块链应赋能实体经济 将非法金融消灭在萌芽状态:金色财经报道,针对“深圳市互联网金融风险等专项整治工作领导小组办公室发布关于防范“虚拟货币”非法活动的风险提示”一事,金色财经对犇睿资本创始人褚康进行了专访。褚康指出:我们国家始终未将“虚拟货币”认定为货币,而在国外,“虚拟货币”也被广泛称为加密资产或者虚拟资产。

10月24号,区块链技术被列为核心技术“自主创新的重要突破口”,上升为国家战略之后,大量不法分子借助“虚拟货币”、“区块链”等最前沿的科技+金融的概念,制造模式噱头和财富效应,用以诓投资人的资产。民间这类事件,不管以何种名义,一直以来都存在且可能长期存在,是我国金融、等监管机构长期面临的难题和痛点。

这次各地方以及央行上海总部加强出台政策提示,一是避免有人借助“区块链”之名行非法之事,增加民众对风险的防范,二是为贯彻中央关于区块链政策赋能实体经济的保驾护航,是“脱虚向实”的具体执行,将非法金融消灭在萌芽状态,而后续北京以及央行等多部委或将会再度联合出手更多的组合拳,来打击以“虚拟货币”、“区块链”旗号的不法行为。[2019/11/21]

对这样的合约,我们通常也会记录下它在区块链上的地址作为唯一存证。

金色独家 北邮在线数字经济研究院李立中:中国需要抢先占领区块链监管标准制高点:金色财经独家专访,近日,针对区块链行业的监管问题,北邮在线数字经济研究院执行董事、副院长李立中建议,首先,区块链技术已经逐步成为赛博空间的基础设施,中国需要抢先一步占领相关标准的制高点;其次,相关虚拟币乱象对于中国这么大的市场确实有把控难度,里面的风险特别是风险、融资风险必须有效监管,但也不能因噎废食。最后,找到有相关反能力的交易所项目进行试点或许是一个不错的方法。相关信息监管实时可见可控,一旦有问题随时管控,与其在体外循环风险不可见不可控,还不如培养可信有实力的机构一起占领市场制高点,说不定还可以加速推动人民币国际化。[2018/6/16]

我们前面说绝大多数项目的智能合约是开源的,这也就意味着还有一些项目的合约在审计时是未开源的,在这种情况下,我们怎么记录这份合约的存证呢?

我们会用SHA-256的值来标记合约文件的存证。

有些读者尤其是数字货币的玩家看到“SHA-256”这个词会觉得很眼熟:这不是数字货币加密算法中常用的一个技术吗?

确实是这样,更准确的说,它是一种经过“哈希函数”运算得出的值,这个值也被称为“哈希值”,它有256位。

所谓的哈希函数又称散列函数,是一种从任何一种数据中创建小的数字“指纹”的方法。哈希函数把消息或数据压缩成摘要,使数据量变小,将数据的格式固定下来。该函数将原有的数据打乱混合,重新创建一个结果叫做哈希值。

我们为什么要用这个值来记录合约文件的存证呢?因为一个SHA-256的值所对应的文件内容是唯一的。这就和上面我们用github中的版本号来保证github中的文件是唯一的一样。

那我们怎么用这个值来记录合约文件的存证呢?

我们自己编写了一套这样的工具,对所审计的每个合约文件的内容都用这个工具进行一次运算,所得到的值就是一个SHA-256的值。这个值就代表了我们所审计的文件内容的唯一。

我们会罗列每个文件及其所对应的SHA-256值,这就记录了文件的存证。

当用户或读者要检测他看到的合约文件是否是我们所审计的合约时,将他看到的文件用我们的工具计算一下,将所得出的SHA-256值与我们所得到的值进行比较,如果一样就证明是,如果不一样就证明不是。

所以总结起来说,我们会用github网址+版本号、区块链地址或SHA-256值这三种方式中的一种或几种来记录文件的存证。

作者:

灵踪安全CEO谭粤飞

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

关于灵踪安全:

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

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

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

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

金星链

BNB价格GAS:一文了解以太坊的Gas费用和EIP-1559提案

近几个月来,以太坊的采用率以前所未有的速度增长。去中心化金融继续快速增长,稳定币在全球范围内被采用,NFT也成为热点话题。以太坊的广泛使用对其长期前景而言是一个很好的信号.

[0:15ms0-1:137ms