找回密码
 立即注册
  • 微软希望通过一项新服务重新进入区块链游戏,旨在帮助解决支付纠纷

    微软希望通过一项新服务重新进入区块链游戏,旨在帮助解决支付纠纷。这家Windows 10制造商透露了一项新服务,旨在帮助公司使用该技术管理其权利和专利权使用费。这项由Microsoft的Azure云平台提供支持的服务将特别针对游戏空间

    2020-2-18 10:48
  • 区块链程序开发者看智能合约和形式验证

    随着区块链技术的愈演愈烈,很多人开始在以太坊(Ethereum)的“智能合约语言”上做文章。其中一部分是搞 PL 的人,他们试图对 Solidity 之类语言写的智能合约进行形式验证,号称要用严密的数理逻辑方法,自动的验证智能合约的正确性。其中一种方法是用“深度学习”,经

    2018-5-18 11:44
回顶部