近日，
区块链公司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指出，两者之间有着重要的联系。“想象一下分布式基础设施的最终状态，你可以通过多系统实现点对点的自动化流程。”他说。
原文：https://www.coindesk.com/axoni-clearmatics-claim-milestone-business-blockchain-interoperability/
作者：Ian Allison
编译：矿院小平果
版权申明：本内容来自于互联网，属第三方汇集推荐平台。本文的版权归原作者所有，文章言论不代表链门户的观点，链门户不承担任何法律责任。如有侵权请联系QQ：3341927519进行反馈。
