【链得得晚报】工信部网络安全技术应用试点示范项目，2家区块链上市公司入选

【链得得晚报. 2019年6月4日晚9点】

每日链报：

据链得得行情监测，综合Binance数据显示，

BTC比特币报7994.89美元，24小时跌幅5.22%；

ETH以太坊报249.54美元，24小时跌幅4.10%；

LTC莱特币报105.80美元，24小时跌幅4.94%；

EOS柚子报6.8477美元，24小时跌幅5.30%；

BCH ABC报397.74美元，24小时内跌幅6.35%；

链圈动态：

肖磊：孙宇晨拍下巴菲特午餐，对加密货币行业是一个大利空

财经专栏作家肖磊在微博称，孙宇晨456万美元拍下巴菲特午餐，对加密货币行业应该是一个大利空，因为无论是官方还是媒体，对这种信息都会产生警惕，站在行业历史看，会成为行业疯狂的一个历史印记。对于孙个人来说，除了炫富和曝光率，可能也很难获得实质性的东西，因为巴菲特肯定不会就加密货币的看法跟孙辩论，就谈不上对行业的贡献了。

支付宝：区块链技术已落地40余个场景

据DoNews消息，支付宝方面透露，其区块链技术已经落地40余个场景中，其中长三角占比超过一半。支付宝方面介绍，以乘坐地铁为例，上海、杭州、宁波等7城居民，只需要用当地地铁APP，就能在其他6个城市扫码过闸机。城市之间的地铁票务结算可实时完成，区块链记载了用户所有跨城交易且不可篡改。

支付宝技术专家魏尚解释，“每个城市地铁企业都能从‘链’上获取对应乘车的区段、价格，实现自动秒级结算。此前，城与城之间费用需要人工结算，至少需要1-2天的时间。” 蚂蚁金服副总裁蒋国飞表示，越来越多的落地应用已经证明，区块链不是泡沫，它已经在服务实体经济，极大提高整个社会的运转效率。

微软公布新开源工具，旨在优化智能合约质量

据Crypto Globe消息，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。

新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。

工信部网络安全技术应用试点示范项目，2家区块链上市公司入选

据中华人民共和国工业和信息化部消息，为贯彻落实《网络安全法》，促进网络安全技术创新应用，提升网络安全产业发展水平，开展了网络安全技术应用试点示范项目推荐工作。经单位申报、地方推荐、专家评审、网上公示等环节，工信部确定了101个网络安全技术应用试点示范项目。

值得关注的是，101个试点示范项目，其中包含了6个区块链项目。其中，“基于区块链的电子发票系统”的航天信息股份有限公司和“政务联盟区块链政务信息可信传递平台”的山大地纬软件股份有限公司为上市公司。

币圈动态：

赵长鹏：Stably 联合Prime Trust 在币安链上发行稳定币 USDS

币安创始人赵长鹏发布微博称，Stably 联合信托公司 Prime Trust 在币安链上发行稳定币 USDS。

分析：莱特币挖矿难度再创新高，矿工数量高于其2017年底价格见顶时期

据AMBcrypto消息，随着价格继续波动，莱特币的挖矿难度创下历史新高。分析文章指出，目前的莱特币矿工比其在2017年底见顶时还要多。难度的增加利好莱特币原因是，这意味着其网络安全性的提高。

孙宇晨押注100比特币喊话王小川：看三年后波场与搜狗市值孰高孰低？

孙宇晨天价午餐事件”持续发酵，孙宇晨微博回应搜狗CEO王小川称，愿意下注100个比特币，看看2022年6月时，波场与搜狗市值孰高孰低？

此前，孙宇晨曾在朋友圈表示，在一档节目录制过程中，被王小川称作“骗子”。

而今日，王小川疑似就此事在微博回应：什么叫成功？什么叫骗子？每个人有自己的定义。有的人以为是身价，有的人以为是市值。放到历史长河里，云淡风轻。用极致理性追求真理的科学家，用极致感性追求美的艺术家，以及用大爱对世界或民族做出的贡献的英雄，才能永垂不朽。