微软希望通过一项新服务重新进入区块链游戏，旨在帮助解决支付纠纷。这家Windows 10制造商透露了一项新服务，旨在帮助公司使用该技术管理其权利和专利权使用费。这项由Microsoft的Azure云平台提供支持的服务将特别针对游戏空间
随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
