分布式分类账区块链公司KadenaLLC今天宣布在微软Azure云市场推出免费的区块链服务企业解决方案。

这项新服务名为“区块链可扩展许可”，基于该公司今年1月为亚马逊网络服务发布的免费社区版本。

根据温特格林的研究，通过这一版本，嘉手纳寻求在区块链市场建立投资组合，到2024年将达到600亿美元。使用区块链作为服务模式，该公司希望接触到更多的开发者和企业的利益，因为它允许组织快速构建区块链服务，并显著降低现场解决方案的安装成本和上市时间。

嘉手纳创始人兼首席执行官威尔？Will Martino表示：“在与微软的建设中，嘉手纳致力于为各种规模的企业提供一条通往区块链的通道。”当我们继续与微软Azure Marketplace合作开发支持云的区块链解决方案时，我们正在为Azure客户带来安全且可扩展的技术。

卡德纳区块链公司的突出能力之一是，它为智能合同提供了该公司所说的“正式验证”。智能合约是指当事人之间可编程的协议，只有满足一定条件才能执行交易，包括自动达成协议或完成前的各方协议。

形式验证允许将真实世界的协议条件快速原型化为智能契约，这可以预期以数学上可证明的确定性来执行。卡德纳使用的标准语言被称为Pact，它可以正式验证代码不包含潜在的灾难性错误。

因此，Kadena认为其区块链系统将惠及关键任务系统和企业业务，甚至可能包括金融、保险和制药等高度监管行业的企业。

Carden Company创始人兼总裁Stuart Popejoy表示：“《契约》用户代码的正式验证使您能够使用航空航天和核电工程师使用的相同数学方法，在部署前捕获潜在漏洞。”有了Kadena的区块链，您不需要正式的数学学位，这样关键任务的安全性就可以保护您的业务应用。

新版本的卡德纳区块链包括微软Azure用户的新功能，包括对跨地区区块链交易的本地支持。这将防止区块链锁定用户，并允许他们在比特币和标准具等公共链之间进行互操作。

该系统还包括一个经过正式验证的界面，使用户能够以类似于Java、Rust和Scala等其他编程语言的方式创建数学上安全的证明。这可以通过减少漏洞、关键错误和黑客攻击来减少对智能合同的攻击。

Cardena可扩展区块链可以自由使用，最多支持四个节点，每秒最多可以提供2000个事务。

发布的版本还将通过正式验证支持安全通道、不可信托管、可插拔加密、合同治理和自动错误检测。同时将推出付费版，让企业用户获得这项技术的全部力量，可以达到500多个节点，每秒执行8000多个事务。