雷锋网 (大众号：雷锋网) 按：本文作者系中南财经政法大学产业晋级与区域金融湖北省协同创新中心研讨员李虹含，来源于微信大众号“李虹含”，转载已获受权。本文仅代表作者观念，雷锋网不作立场判别。

目前，区块链项目被以为是传销、诈骗的居多，由于我们看不到详细落地的场景与使用。许多发行虚拟货币的项目方，没有白皮书、项目团队，只靠一张嘴说，本人用了区块链技术，就可以融资千万、甚至上亿。

而且，许多项目方在海内，而非在国际停止代币发行和买卖所买卖（国际监管政策也不允许上述行为）。众多投资者在投资进程当中，只能自觉地跟从市场变化与一些市场风闻，实事求是地去鉴别区块链项目的真假。项目人员见不到，开发地无从查找，仅仅存在于虚拟世界与网络空间的区块链项目究竟是真是假，我们该何以自处。

那么，我们就拿这些项目方没有方法了吗？

听凭他说本人用了区块链技术我们就置信吗？

一个项目究竟有没有用区块链技术？

一个项目能否必需要运用区块链技术才干完成？

一个项目能否运用了完满的智能合约代码？

我们靠什么判别。

区块链审计哪家强？中国链圈找蓝翔。

一、区块链代码审计可以处理哪些成绩：让黑客无孔可入

随着BTC、ETH、EOS等区块链项目的迅速开展，区块链项目曾经进入了智能合约时代，但是智能合约本身的正确性和平安性却面临着宏大的成绩。

也就是说任何一个项目在运用区块链时都有能够走向歧途，不能完全保证代码的精确性。就像每团体在电脑打字时都会打错字一样，顺序员在输出代码时也会存在笔误和错漏。

而区块链中的根底：智能合约代码的开源性需求代码的高牢靠性，这种牢靠性要求100%的正确。

差之毫厘，谬以千里。

用专业的术语来说：

相似比特币这样的代码全部地下，用智能合约代码存储在区块链上，与买卖数据一样遭到区块链的加密维护，要想修正智能合约代码需求掌握51%的算力，因而，智能合约代码的防窜改性失掉大大提升。

智能合约遭到区块链自身维护，所以智能合约代码可以最大限制的开源和让人阅读。智能合约处理了可以地下代码并保证其平安的成绩，但是代码的地下性使得黑客容易掌握代码的缺陷，进一步应用代码缺陷触发条件改动智能合约执行后果，使得区块链项目存在宏大的经济隐患。

就像，我们在银行里转账，每一个账户的信息都是对的，转账才干够是正确的，你的财富才可以平安被维护，所以：区块链代码中一个字都不能错。

二、区块链代码错误招致的严重结果

区块链中的智能合约代码质量不好形成了许多严重的结果。

目前来看，许多买卖所和代币项目在上买卖所之前没有经过区块链代码审计，形成了许多虚拟货币被偷盗的黑客事情。

1、SMT项目方与美国BEC代币的平安破绽

2018年4月25日清晨，SmartMesh(SMT)项目方反应发现其买卖存在异常成绩，经初步排查，SMT的以太坊智能合约存在破绽。受此影响，火币Pro目前暂停一切币种的充提币业务。

另据媒体报道，发现SMT与美图BEC代币存相似的平安破绽，即可经过溢出攻击可以收到少量的代币。

2、美图BEC的异常买卖破绽

2018年4月22日，美图BEC呈现异常买卖，据剖析，BEC 智能合约中的batchTransfer蓬勃发展的行业不仅给从业者提供了巨大的发展机遇，也带来了全新的挑战。批量转账函数存在破绽，攻击者可传入很大的value数值，使cnt * value后超越unit256的最大值使其溢出招致amount变为0。

3、Parity多签名钱包破绽

2017年7月，Parity多签名钱包由于其智能合约代码中存在破绽，被黑客盗取时价超越3000万美金的ETH。

4、黑客盗币破绽

2016年6月由于智能合约的一个错误，黑客从DAO偷走了价值5500万美元的ETH。

代码的平安缺陷倒逼智能合约的代码自动审计。

三、区块链代码审计成就完满合约

区块链智能合约经过代码树立一套“法律合同”，软件工程师发明一个完全无误差的代码是不能够的，呼吁行业者在政府部门出台相关政策标准的之前，从业者一定要规范自己的行为准则健康有序的快速发展。顺序员总存在忽略的中央。红岸科技和国防科技大学的Ulord区块链项目研讨团队对市面上的区块链智能合约停止了审计，他们的研讨发现：

对一切的顺序员来说，写一个没有bug的代码真实是太难了，即便采取了一切能够的预防措施，在复杂的软件中也总会呈现没有意料到的执行途径或能够的破绽。

这是为什么要代码审计最重要的缘由之一。

区块链中的 “法律合同”是一项受解释和仲裁的约束，顺序员很难去发明一个缜密的合约。在恣意一个大的合约里，能够呈现的文稿错误以及一些条款需求解释和仲裁。

同时，软件工程师不是法律专家，反之亦然。起草一份好的合约需求各种各样的技艺，不一定与编写的计算机顺序兼容。

因而，智能合约代码在一定水平上都能够存在平安隐患。传统的智能合约代码审计次要应用人工，依托code reviewer阅读智能合约代码。人工代码审计最终还是依赖人的经历，代码审计效果不分明，针对目前ETH少量代币的智能合约，人工审计任务量大，难以高效的完成任务。

在区块链范畴从事代码审计业务的项目公司较少，目前每个代币在上买卖所之前，其区块链智能合约代码由买卖所停止审察和断定，但买卖一切时并不能完全无效地判别合约能否完满。

智能化代码审计，应用计算机停止稳健性检验是以后代码审计最重要的方式，掌握该项技术规范的国际公司并不多。

但，区块链代码审计的重要性显而易见，区块链世界自身是相当平安的，但是由于人为撰写代码的成绩，不能够完满，必需增强代码无效性的辨认。

雷锋网版权文章，未经受权制止转载。概况见。