比特币
中国人民大学李虹含：区块链代码审计成就完美合约
中国人民大学国际货币研究所研究员李虹含发博称，区块链代码审计可以让黑客无孔可入，区块链代码审计成就完美合约。他认为，区块链中的 “法律合同”是一项受解释和仲裁的约束，程序员很难去创造一个缜密的合约。在任意一个大的合约里，可能出现的文稿错误以及一些条款需要解释和仲裁。同时，软件工程师不是法律专家，反之亦然。起草一份好的合约需要各种各样的技能，不一定与编写的计算机程序兼容。因此，智能合约代码在一定程度上都可能存在安全隐患。传统的智能合约代码审计主要利用人工，依靠code reviewer阅读智能合约代码。人工代码审计最终还是依赖人的经验，代码审计效果不明显，针对目前ETH大量代币的智能合约，人工审计工作量大，难以高效的完成工作。智能化代码审计，利用计算机进行稳健性检验是当前代码审计最重要的方式，掌握该项技术标准的国内公司并不多。但，区块链代码审计的重要性不言而喻，区块链世界本身是相当安全的，但是由于人为撰写代码的问题，不可能完美，必须加强代码有效性的识别。
相关资讯
金色财经现场报道，在新金融100人主题论坛上，万向区块链首席技术官罗荣阁表示，人工智能、大数据解决企业内部生产力问题，区块链解决有博弈关系的主体间生产关系问题。
区块链：2018/4/27 0:00:00北京银行召开业绩发布会，北京银行副行长魏德勇表示，“北京银行未来几年的零售战略关注以下三个方向：一是，进一步优化操作流程，实现全面数字化转型，北京银行已经和腾讯阿里等展开合作。二是，数据深度学习，包括运用智能投顾和区...
区块链：2018/4/27 0:00:00币安CEO赵长鹏发推特表示，公司将会在多哥参与到第四次工业革命中去，开展培训项目，此举可为多哥带来大量就业机会，并吸引大额投资。币安CEO赵长鹏曾发推特称，将和乌干达当地经济组织合作对乌干达进行区块链项目投资，以帮助...
区块链：2018/4/27 0:00:00金色财经现场报道，在GMIC全球区块链峰会，Kochava Inc大中华区总经理柴斐分享了判断一种代币是否可靠的三要素：1.一个区块链项目发币的目的是什么，是否用于驱动生态体系，该生态会不会比非区块链项目更好。2.发...
区块链：2018/4/27 0:00:00Bittrex表示将不支持门罗币（XMR）的硬分叉MoneroV （XMV），原因是他们未在分叉日期前及时申请完善代币审核程序。
区块链：2018/4/27 0:00:00今日美股收盘，区块链概念板块中概股涨跌各异，其中中网载线收跌1.41%，猎豹移动收涨3.52%，迅雷收跌0.93%，人人网收涨2.42%，寺库收涨2.04%，兰亭集势收跌1.77%。
区块链：2018/4/27 0:00:00韩国虚拟货币交易所Coinone的印度尼西亚站从当地时间16日下午3点开始预注册。值得注意的是，Coinone印度尼西亚站不仅支持印度尼西亚本地用户注册，其他国家的用户也可以进行注册，这与韩国的规定中不允许外国人在韩...
区块链：2018/4/27 0:00:00研究会成员坂勇一郎律师提出3个提案。1，对利益冲突的监管2、对价格操纵的监管3、在将加密货币用作投机交易的情况下，应被视为金融商品交易法中的有价证券。
区块链：2018/4/27 0:00:00火币研究院长袁煜明于4月26日清华区块链公开课上透露火币评价项目分五个维度（SMART）：行业空间（S）、管理（M）、社区活跃度（A）、团队可信度（R）、技术水平（T）。他表示，区块链体系设计莹遵守十大原则： 1.\...
区块链：2018/4/27 0:00:00据悉，韩国KCD从Dunamu获得投资，并且与Dunamu（Upbit的运营公司）联合开发基于区块链的金融商品。
区块链：2018/4/27 0:00:00中国银行业协会首席经济学家巴曙松接受中国财富网采访时表示：区块链是按照时间顺序将一个个区块以链式结构连接，构成一个分布式的共享账本，一个新的区块就是一笔新的记账。这个账本具有去中介化、安全性、可拓展性、透明性和匿名性...
区块链：2018/4/27 0:00:00
