區塊鏈公司 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 指出，兩者之間有著重要的聯繫。

想象一下分佈式基礎設施的最終狀態，你可以通過多系統實現點對點的自動化流程。

他說。

作者：Ian Allison
編譯：礦院小平果