微軟希望通過一項新服務重新進入區塊鏈游戲，旨在幫助解決支付糾紛。這家Windows 10制造商透露了一項新服務，旨在幫助公司使用該技術管理其權利和專利權使用費。這項由Microsoft的Azure云平臺提供支持的服務將特別針對游戲空間
隨著區塊鏈技術的愈演愈烈，很多人開始在以太坊（Ethereum）的“智能合約語言”上做文章。其中一部分是搞 PL 的人，他們試圖對 Solidity 之類語言寫的智能合約進行形式驗證，號稱要用嚴密的數理邏輯方法，自動的驗證智能合約的正確性。其中一種方法是用“深度學習”，經
