区块链公司Clearmatics和Axoni实现智能合约跨网迁移

矿院小平果 发布在 区块链 0 2757

在本周举行的2018共识大会上,区块链公司Clearmatics和Axoni展示了如何通过智能合约发布金融衍生品,并完成支付,实现价值的跨链转移。这标志着衍生品合约可在不同企业区块链上实现迁移,同时也是分布式账本技术(DLT)在实现互操性上的里程碑。

虽然金融界可以从众多账本中的一个状态转移到较少的分类账,但是,区块链架构师已经意识到,单一系统难以独立对交易进行发起、处理和清算。Clearmatics首席执行官罗伯特·萨姆斯(Robert Sams)接受CoinDesk采访时表示,

“为了完成点对点的交易到结算过程,我们需要假设,这一过程通过多系统进行,而不是单一、分布式或其他形式的系统。”

下载

另一方面,位于纽约的Axoni正与众多行业领先的金融机构和基础设施供应商合作,将价值数万亿美元的资产转移到区块链上。

与其同时,Axoni在伦敦的合作伙伴Clearmatics正在与一家银行和金融机构联盟合作,创建数字化平台,该平台在相应的中央银行以现金完全抵押,并可通过分布式账本进行转账。

Axoni在衍生品领域和交易后过程的其他领域也做出来大量贡献,Clearmatics则专注于清算领域,所以这两家公司简直绝配(两者都是基于以太坊派生的架构)。Axoni首席执行官Greg Schvey表示:

“如果我们配合得好,让网络之间彼此流通,那么最终就能形成一个高度自动化、高度透明得点对点的从发起交易到结算的过程。”

下载 (1)
其实,区块链的互操作性在研发阶段是公平的。Sams强调,互操作性演示只是一个概念证明,但它是一个重要的例子,因为它推动了开源协作的精神。

他补充道,“互操作性需要以开放和协作的方式来解决,并围绕开放标准和开源实现而建立。可能会有多种类型的互操作性解决方案,数量不多,但不止一个。

这个精神同样适用于公链社区。“我们正在做的事情,和加密货币的跨链原子互换很像。”Sams说,“虽然应用的领域不同,但其底层技术非常相似。”

正在开发的这个协议采用的是Axoni特定的语言–AxLang,然后通过不同许可的兼容以太坊账本,最终完成支付。AxLang智能编程语言由Axoni开发,企业可利用智能合约来设置一个确定的事情。Axlang基于Scala,可以对智能合约进行形式验证,这是一种用于证明计算机程序正确性的严格的数学方法,它也可用来编译Java和以太坊虚拟机。

但是,开发人员经常被问到,为什么还有另一种编程语言?

Schvey表示,区块链上开发的大量应用揭示了Solidity语言无法满足某些开发要求,这是以太坊社区智能合约编程的第一步。值得一提的是,Solidity语言缺乏形式验证,无法对编写的代码进行数学证明。

事实上,概念证明结合了两个技术挑战:互操作性和形式验证。Sams指出,两者之间有着重要的联系。“想象一下分布式基础设施的最终状态,你可以通过多系统实现点对点的自动化流程。”他说。

发文时比特币价格 ¥52652.70
原文:https://www.coindesk.com/axoni-clearmatics-claim-milestone-business-blockchain-interoperability/
作者:Ian Allison
编译:矿院小平果
稿源(译):巴比特资讯(http://www.8btc.com/2018051716234-2)
版权声明: by nc" sa 作者保留权利。文章为作者独立观点,不代表巴比特立场。

评论:0

您需要登录后才可以回复 登录|注册