摘要： 工信部網絡安全技術應用試點示範項目，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月時，波場與搜狗市值孰高孰低？

此前，孫宇晨曾在朋友圈表示，在一檔節目錄制過程中，被王小川稱作“騙子”。

而今日，王小川疑似就此事在微博回應：什麼叫成功？什麼叫騙子？每個人有自己的定義。有的人以爲是身價，有的人以爲是市值。放到歷史長河裏，雲淡風輕。用極致理性追求真理的科學家，用極致感性追求美的藝術家，以及用大愛對世界或民族做出的貢獻的英雄，才能永垂不朽。