形式化验证

南太平洋主权国家马绍尔群岛已经颁布了一项法律，将发行世界上第一个主权法定加密数字货币——“Sovereign（SOV）”。

腾讯区块链总经理蔡弋近日接受专访时表示：腾讯正在从区块链底层技术平台切入，储备技术基础的同时积极探索落地更多有价值的场景，目前暂不考虑盈利。

本文介绍一些概念和想法，然后再涉猎一些技术方面的内容，来解读能否有一个平台控制所有的加密货币?

CyberMiles是一个针对电商场景的底层链及其组件，其包括不同类型的商业智能合约模板。

错失移动互联时代的微软，面对区块链浪潮时反应却很迅速。日前，微软正式宣布，接受比特币和以太坊等公有区块链，应用于分布式身份识别系统；公司将率先支持基于区块链分布式ID验证的应用。

2018年将是区块链项目井喷的一年，第三代区块链开始加速发展，然而区块链项目仍有很多问题有待解决。

网易金融开通区块链项目——星球基地，对于星球的定位是：基于区块链生态机制共享平台。

2018区块链前景仍不乐观，区块链项目可能还会保持高死亡率，“区块链思维”才是核心。