微软：全面支持区块链

微软为其以太空区块链驱动的以太坊智能合约审计工具感到非常自豪 - 因此它决定在新的博客文章中炫耀该软件的一些好处。

“ 这是使基于区块链的应用程序可编程，可供企业客户访问，并能够满足各种行业[智能合约]的各种需求的关键驱动因素之一，”该文章称。“与传统代码相比，它们可以增强对抗环境的信任，但同时也要确保其安全性。”

但是不用再担心了，Goliath软件认为它有解决这个困境的解决方案：Solifier的验证者（对于那些不在线的人，Solidity是一种专为以太坊开发的编程语言） - 或者简称VeriSol。该工具与Azure的区块链套件配对，据称通过自动安全检查简化了代码审计流程。

“ 由于自动和连续检查，VeriSol允许我们更快地迭代，它使我们能够更快地捕获错误，而不必担心可能会影响客户，”Azure Blockchain工程师 Cody Born说。

IT专业人士经常淡化自动安全检查的有效性，但微软 坚持认为智能合约是这个规则的例外有几个原因。

微软首席研究员Shuvendu Lahiri说：“智能合约的适度代码大小和顺序执行语义使它们能够进行可扩展的验证，开放的操作环境大大减少了手动建模智能合约运营环境的需求。”

“ 对生产软件使用形式验证需要熟练掌握高度专业化的正式语言和工具的人员，这会给开发团队带来陡峭的学习成本，并且经常需要几个人年的投资才能将高度复杂的验证任务分解为可以通过验证工具机械地排出，“他继续道。

微软很快指出，VeriSol 于2019年4月首次亮相，目前仍处于原型阶段。不过，它的研究团队非常看好该软件的未来。

“ 我们设想的不仅仅是Azure区块链开发商和客户，而是为完整的区块链生态系统做出贡献，这种生态系统更安全，帮助人们充分发挥技术的潜力，而不会受到智能合约中代价高昂的错误的困扰，”Lahiri说。

那些对技术细分VeriSol感兴趣的人可以在GitHub上查看它- 它都是开源的。

微软可能对区块链有点过于热衷

奇怪的是，微软引用了咨询公司Gartner的研究，该公司认为区块链技术可以在2026年之前为企业增加价值3600亿美元。

巧合的是，它没有提及Gartner最近的另一份报告，该报告推测90％的企业级区块链很快就会过时 - 除非他们在2021年之前推出重大升级。

说到企业分布式分类账技术，微软一直在分散的软件市场上沾沾自喜。它开发了许多用于构建分散式技术的软件套件，如基于云的区块链开发套件，Visual Studio for Ethereum dapps以及分散式数字身份管理系统。

到目前为止，雷德蒙德巨头已经为众多备受瞩目的公司提供区块链解决方案，包括银行巨头摩根大通， 安永和 纳斯达克。比尔盖茨创立的公司 甚至帮助路易威登最近将其价格过高的衣衫褴褛置于区块链上。

说出你的想法，但对于一家在2018年阻止了近500万加密货币相关广告的公司，微软真的不会回避区块链。猜猜我们可以将Windows制造商添加到越来越多的企业名单中，这些企业由“区块链，而不是比特币”咒语统治。