您的位置: 首页 >泉州新闻 > 即时新闻 >

Kadena在微软Azure市场上推出免费的区块链即服务

2020-01-16 16:32:40 来源:

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

这项新服务名为KadenaScalable权限Block Chain,它建立在该公司1月份为亚马逊网络服务发布的免费社区版本的基础上。

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

Kadena创始人兼首席执行官威尔?马丁诺(Will Martino)表示:“在与微软的建设中,Kadena致力于为各种规模的企业提供一个通往区块链的通道。“当我们继续与微软Azure Marketplace合作开发支持云的区块链解决方案时,我们正在将安全和可伸缩的技术带给Azure客户。

卡德纳区块链的一个突出能力是它为智能合同提供了公司所称的“正式验证”。智能合同是指当事人之间的可编程协议,只有在满足某些条件时才执行交易,包括自动协议或完工前的全方协议。

正式验证允许将现实世界的协议条件快速原型化为智能契约,其方式可以期望以数学上可证明的确定性执行。卡德纳使用的规范语言称为Pact,可以正式验证代码不包含潜在的灾难性错误。

因此,卡德纳认为,其区块链系统将有利于任务关键系统和企业业务,甚至可能包括金融、保险和制药等高度监管行业的企业。

卡登公司创始人兼总裁斯图亚特·波普乔伊(Stuart Popejoy)表示:“《契约》对用户代码的正式验证使你能够利用航空航天和核电工程师使用的同样的数学方法,在部署前捕捉潜在的漏洞。“有了卡德纳的区块链,你就不需要正规数学的学位,就可以让任务关键的安全保护你的商业应用。

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

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

卡德纳可伸缩区块链是免费使用和支持多达四个节点,可以提供多达2000个交易每秒。

发布的版本还将支持安全通道,无信任托管,可插拔加密,契约治理和通过正式验证自动检测错误..同时还将推出一个付费版本,使企业用户能够获得该技术的全部力量,该技术的规模可达500多个节点,每秒可执行8000多项交易。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

精彩推荐

图文推荐

点击排行

Copyright 泉州广播网 All Rights Reserved 版权所有 复制必究 联系QQ:127 3992 928  

所刊载内容之知识产权为界限网络及/或相关权利人专属所有或持有。未经许可,禁止进行转载、摘编、复制及建立镜像等任何使用。