据Ambcrypto消息，作为一直涉及加密技术的巨头公司微软，近期分享了一篇官方博客文章，宣布发布Solidity智能合约的开源正式验证工具。Solidity基于以太坊的编程语言，用于在区块链环境中编写智能合约。 该项目旨在利用区块链技术的潜力来节省数百万美元的加密货币损失。 微软的帖子还强调了一些最近的攻击，例如DAO漏洞利用和Parity钱包漏洞，这可以通过部署区块链基础设施来避免。