本文由“Fairyproof Tech”原创,授权“金色财经”独家首发,转载请注明出处。
一份审计报告是对一套智能合约的“质量检测报告”,那报告就要告诉用户所审计的对象是谁。
和普通的有形商品不同,智能合约这种特殊的商品是摸不着的,那怎么才能让用户知道它呢?
区块链领域的绝大多数项目包括鼎鼎大名的比特币和以太坊都有一个共同的特点:它们的源代码都是”开源”的。所谓的“开源”就是它们的代码都是公开的,放在某个公开、所有人都可以访问的网站上,任何人都可以看到它的内容。
我们所审计的智能合约绝大多数也是这样,它们都是开源的,放在一些知名的、供所有人存放文件的网站比如github等。
如果我们所审计的智能合约是开源并且放在了github上,我们要让用户知道它、看到它的源代码,就会在审计报告中列出合约所存放的github的网址。这就好比一件商品存进了一个大仓库,存在仓库中的某个库房,我们要让用户能找到这件商品就要告诉用户仓库的地址和库房的门牌号码。存放合约的github网址就等于仓库地址+门牌号码。
独家 | Bakkt期货合约数据一览:金色财经报道,Bakkt Volume_Bot数据显示,3月20日,Bakkt比特币月度期货合约单日交易额为738万美元,环比下降40%,未平仓合约量为363万美元,环比上升5%。[2020/3/21]
可是如果合约的编写者(通常我们称为项目方)在给审计机构审计时用的是放在github上的一套合约,但审计后尤其是项目上线后,用户又修改了它的智能合约,我们怎么知道放在github上的合约就是审计时看到的合约而不是后来修改过或者其它“鱼目混珠”的合约呢?
这就涉及到github这个仓库的一个特性了。
当项目方往github中存放代码时,github会给这次存放动作产生一个版本号。这就好比我们在比特币、以太坊中申请一个新钱包时,这个钱包会有一个独一无二的地址一样,这个版本号也是唯一的。
独家 | 匿名货币板块上涨3.93% 42币种5涨23跌14平:金色财经报道,据非小号数据显示,今日匿名货币板块下跌8.87%,42币种5涨23跌14平。涨幅前三分别为:ZCL(+12.67%)、DSR(+4.16%)、XUN(+2.22%);跌幅前三分别为:VDS(-29.50%)、BHC(-20.73%)、TPAY(-13.44%)。[2020/2/26]
当项目方之后对任何文件有了任何改动:小到一个字的修改,大到文件的删除、添加等,当把这些改动提交到github中,github又会给这次动作产生一个新的版本号。
所以github中的版本号就是对所存放的文件的一份唯一存证,它保证了这个版本号所对应的文件就是某时某刻放进仓库中的文件,而不是之前或之后放进去的文件。
所以我们在审计报告中除了罗列被审计合约的github网址,还要罗列被审计合约在github中的版本号。
独家 | Bakkt期货合约数据一览:金色财经报道,Bakkt Volume Bot数据显示,2月13日,Bakkt比特币月度期货合约单日交易额为2297万美元,环比上升67%;未平仓合约量为1782万美元,环比上升3%。[2020/2/14]
这两个要素就保证了读者看我们报告时能准确知道我们所审计的内容。
除了放在github上,还有的项目方在审计时已经把合约部署在区块链网络上了。由于智能合约一旦部署到区块链网络上,它就是无法篡改和撤销的,因此智能合约所部署的区块链地址也可以作为合约的存证地址。
对这样的合约,我们通常也会记录下它在区块链上的地址作为唯一存证。
我们前面说绝大多数项目的智能合约是开源的,这也就意味着还有一些项目的合约在审计时是未开源的,在这种情况下,我们怎么记录这份合约的存证呢?
独家 | 褚康:长远来看加密税收监管政策不可或缺:近日,犇睿资本创始人褚康对金色财经指出:“即使是大力支持加密货币发展的国家,虽然其短期内不会实行全面的监管,但从长远的角度来说,如下两个方面的税收监管政策是不可或缺的:一是加密货币投资收益的纳税处理,如加密货币衍生品交易所得纳税、挖矿收益纳税等;二是加密货币作为支付手段的纳税处理,如使用加密货币购买商品或服务、使用加密货币进行工资支付等。”?[2020/1/3]
我们会用SHA-256的值来标记合约文件的存证。
有些读者尤其是数字货币的玩家看到“SHA-256”这个词会觉得很眼熟:这不是数字货币加密算法中常用的一个技术吗?
确实是这样,更准确的说,它是一种经过“哈希函数”运算得出的值,这个值也被称为“哈希值”,它有256位(bit)。
独家 | 极豆资本合伙人李泳:矿机市场是算力的博弈 所有企业都不敢懈怠:针对目前矿机三大巨头企业谋求上市一事,金色财经独家采访到极豆资本合伙人李泳,在关于“三大矿机企业集体谋求上市,您有何看法?”这一问题上,他表示:“即使三家企业上市,市场选择还是会以矿机算力为主,像玛雅、阿瓦隆、芯动、GMO等新的矿机企业新出的矿机算力很高,也备受关注。矿机制造业的战场,就是一场算力的博弈,所有矿机企业都不敢有丝毫懈怠,一旦落后于时代的矿机和芯片技术的高速更新迭代,迎来的就是淘汰。任何一个行业都不是一成不变的,虽然比特大陆、嘉楠耘智与亿邦国际目前垄断了全球市场,但随着币价变化,矿机市场会涌现更多竞争者。它们在尝试上一个台阶,但后来者也在全力冲刺,只要有市场需要,优质的矿机就一定能出线。”[2018/9/11]
所谓的哈希函数又称散列函数(英语:Hash Function),是一种从任何一种数据中创建小的数字“指纹”的方法。哈希函数把消息或数据压缩成摘要,使数据量变小,将数据的格式固定下来。该函数将原有的数据打乱混合,重新创建一个结果叫做哈希值(hash value、hash code、hash sum或hash)。
我们为什么要用这个值来记录合约文件的存证呢?因为一个SHA-256的值所对应的文件内容是唯一的。这就和上面我们用github中的版本号来保证github中的文件是唯一的一样。
那我们怎么用这个值来记录合约文件的存证呢?
我们自己编写了一套这样的工具,对所审计的每个合约文件的内容都用这个工具进行一次运算,所得到的值就是一个SHA-256的值。这个值就代表了我们所审计的文件内容的唯一。
我们会罗列每个文件及其所对应的SHA-256值,这就记录了文件的存证。
当用户或读者要检测他看到的合约文件是否是我们所审计的合约时,将他看到的文件用我们的工具计算一下,将所得出的SHA-256值与我们所得到的值进行比较,如果一样就证明是,如果不一样就证明不是。
所以总结起来说,我们会用github网址+版本号、区块链地址或SHA-256值这三种方式中的一种或几种来记录文件的存证。
作者:
Fairyproof TechCEO 谭粤飞
美国弗吉尼亚理工大学(Virginia Tech, Blacksburg, VA, USA) 工业工程(Industrial Engineering) 硕士(Master)。曾任美国硅谷半导体公司 AIBT Inc(San Jose, CA, USA) 软件工程师,负责底层控制系统的开发、设备制程的程序实现、算法的设计,并负责与台积电的全面技术对接和交流。自2011至今,从事嵌入式,互联网及区块链技术的研究,深圳大学 创业学院《区块链概论》 课程教师,中山大学区块链与智能中心客座研究员,广东省金融创新研究会常务理事 。个人拥有4项区块链相关专利、3本出版著作。
关于Fairyproof Tech:
Fairyproof Tech科技有限公司是一家专注区块链生态安全的公司。Fairyproof Tech科技主要通过“代码风险检测+逻辑风险检测“的一体化综合方案服务了诸多新兴知名项目。公司成立于2021年01月,团队由一支拥有丰富智能合约编程经验及网络安全经验的团队创建。
团队成员参与发起并提交了以太坊领域的多项标准草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569 被以太坊团队正式收入。
团队参与了多项以太坊项目的发起及构建,包括区块链平台、DAO组织、链上数据存储、去中心化交易所等项目, 并参与了多个项目的安全审计工作,在此基础上基于团队丰富的经验构建了完善的漏洞追踪及安全防范系统。
文章系金色财经专栏作者牛七的区块链分析记供稿,发表言论仅代表其个人观点,仅供学习交流!金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别,谨防上当.
1900/1/1 0:00:00《觅新》是金色财经推出的一档区块链项目观察类项目,覆盖行业各领域项目发展情况,具体设计到项目概况、技术进展、募资情况等,力图为您呈现热门新潮的项目合辑.
1900/1/1 0:00:00文章系金色财经专栏作者币圈北冥供稿,发表言论仅代表其个人观点,仅供学习交流!金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别防上当.
1900/1/1 0:00:00XCOPY创作的加密艺术?NFT《Death Dip》在?SuperRare?以?1000ETH?售出!如今,许多加密艺术家在创作NFT作品,他们的作品有重大文化意义,而且影响会留存数十年之久.
1900/1/1 0:00:00从去年市场行情变热门之后,就有一些币圈有人脉的人开始转型做起来项目代投/私募业务,而从今年开始,这种业务也吸引了很多人去参与.
1900/1/1 0:00:00DeFi数据1.DeFi总市值:1043.44亿美元 市值前十币种排名数据来源DeFiboxDeFi总市值数据来源:Coingecko2.
1900/1/1 0:00:00