开源区块链基础设施项目Orbs与微软Azure集成

[开源区块链基础设施项目Orbs与微软Azure集成]无需许可的开源区块链基础设施项目Orbs最近已完全整合至Amazon AMI。从现在开始，用户也可以在Microsoft Azure上使用Orbs镜像。将Orbs集成到微软Azure和AWS中可以确保大多数开发人员能够建立一个虚拟机镜像，其中包含开始在Orbs上开发所需的一切。

相关快讯：

Pickle协议存储库已开源:Pickle Finance官方发推文称，Pickle协议存储库现已开源。现在每个人都可以跟踪开发进度。[2020/10/5]

动态 | 区块链证明引擎Tierion开源匿名身份验证代币:区块链证明引擎Tierion宣布推出一系列开放源代码工具，供开发人员开发支持 LSAT 的应用程序。LSAT是一个 HTTP头字段，可对macaroon和相应的闪电发票进行编码。支付证明是产生有效LSAT的基本要求。[2020/1/22]

动态 | 微软公布新开源形式验证工具VeriSol，旨在优化智能合约质量:据Crypto Globe消息，6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。[2019/6/4]

郑重声明： 开源区块链基础设施项目Orbs与微软Azure集成版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。