在本周舉行的 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 指出，兩者之間有著重要的聯系。“想象一下分布式基礎設施的最終狀態，你可以通過多系統實現點對點的自動化流程。”他說。
