在本周举行的 2018 共识大会上，区块链公司 Clearmatics 和 Axoni 展示了如何通过智能合约发布金融衍生品，并完成支付，实现价值的跨
在本周举行的 2018 共识大会上，区块链公司 Clearmatics 和 Axoni 展示了如何通过智能合约发布金融衍生品，并完成支付，实现价值的跨链转移。这标志着衍生品合约可在不同企业区块链上实现迁移，同时也是分布式账本技术(DLT)在实现互操性上的里程碑。
虽然金融界可以从众多账本中的一个状态转移到较少的分类账，但是，区块链架构师已经意识到，单一系统难以独立对交易进行发起、处理和清算。Clearmatics 首席执行官罗伯特·萨姆斯(Robert Sams)接受 CoinDesk 采访时表示，
为了完成点对点的交易到结算过程，我们需要假设，这一过程通过多系统进行，而不是单一、分布式或其他形式的系统。
另一方面，位于纽约的 Axoni 正与众多行业领先的金融机构和基础设施供应商合作，将价值数万亿美元的资产转移到区块链上。
与其同时，Axoni 在伦敦的合作伙伴 Clearmatics 正在与一家银行和金融机构联盟合作，创建数字化平台，该平台在相应的中央银行以现金完全抵押，并可通过分布式账本进行转账。
Axoni 在衍生品领域和交易后过程的其他领域也做出来大量贡献，Clearmatics 则专注于清算领域，所以这两家公司简直绝配(两者都是基于以太坊派生的架构)。Axoni 首席执行官 Greg Schvey 表示：
如果我们配合得好，让网络之间彼此流通，那么最终就能形成一个高度自动化、高度透明得点对点的从发起交易到结算的过程。
其实，区块链的互操作性在研发阶段是公平的。Sams 强调，互操作性演示只是一个概念证明，但它是一个重要的例子，因为它推动了开源协作的精神。
他补充道，“互操作性需要以开放和协作的方式来解决，并围绕开放标准和开源实现而建立。可能会有多种类型的互操作性解决方案，数量不多，但不止一个。”
这个精神同样适用于公链社区。“我们正在做的事情，和加密货币的跨链原子互换很像。”Sams 说，“虽然应用的领域不同，但其底层技术非常相似。”
正在开发的这个协议采用的是 Axoni 特定的语言——AxLang，然后通过不同许可的兼容以太坊账本，最终完成支付。AxLang 智能编程语言由 Axoni 开发，企业可利用智能合约来设置一个确定的事情。Axlang 基于 Scala，可以对智能合约进行形式验证，这是一种用于证明计算机程序正确性的严格的数学方法，它也可用来编译 Java 和以太坊虚拟机。
但是，开发人员经常被问到，为什么还有另一种编程语言?
Schvey 表示，区块链上开发的大量应用揭示了 Solidity 语言无法满足某些开发要求，这是以太坊社区智能合约编程的第一步。值得一提的是，Solidity 语言缺乏形式验证，无法对编写的代码进行数学证明。
事实上，概念证明结合了两个技术挑战：互操作性和形式验证。Sams 指出，两者之间有着重要的联系。“想象一下分布式基础设施的最终状态，你可以通过多系统实现点对点的自动化流程。”他说。
