在本周舉行的 2018 共識大會上，區(qū)塊鏈公司 Clearmatics 和 Axoni 展示了如何通過智能合約發(fā)布金融衍生品，并完成支付，實現(xiàn)價值的跨
在本周舉行的 2018 共識大會上，區(qū)塊鏈公司 Clearmatics 和 Axoni 展示了如何通過智能合約發(fā)布金融衍生品，并完成支付，實現(xiàn)價值的跨鏈轉(zhuǎn)移。這標(biāo)志著衍生品合約可在不同企業(yè)區(qū)塊鏈上實現(xiàn)遷移，同時也是分布式賬本技術(shù)(DLT)在實現(xiàn)互操性上的里程碑。
雖然金融界可以從眾多賬本中的一個狀態(tài)轉(zhuǎn)移到較少的分類賬，但是，區(qū)塊鏈架構(gòu)師已經(jīng)意識到，單一系統(tǒng)難以獨立對交易進行發(fā)起、處理和清算。Clearmatics 首席執(zhí)行官羅伯特·薩姆斯(Robert Sams)接受 CoinDesk 采訪時表示，
為了完成點對點的交易到結(jié)算過程，我們需要假設(shè)，這一過程通過多系統(tǒng)進行，而不是單一、分布式或其他形式的系統(tǒng)。
另一方面，位于紐約的 Axoni 正與眾多行業(yè)領(lǐng)先的金融機構(gòu)和基礎(chǔ)設(shè)施供應(yīng)商合作，將價值數(shù)萬億美元的資產(chǎn)轉(zhuǎn)移到區(qū)塊鏈上。
與其同時，Axoni 在倫敦的合作伙伴 Clearmatics 正在與一家銀行和金融機構(gòu)聯(lián)盟合作，創(chuàng)建數(shù)字化平臺，該平臺在相應(yīng)的中央銀行以現(xiàn)金完全抵押，并可通過分布式賬本進行轉(zhuǎn)賬。
Axoni 在衍生品領(lǐng)域和交易后過程的其他領(lǐng)域也做出來大量貢獻，Clearmatics 則專注于清算領(lǐng)域，所以這兩家公司簡直絕配(兩者都是基于以太坊派生的架構(gòu))。Axoni 首席執(zhí)行官 Greg Schvey 表示：
如果我們配合得好，讓網(wǎng)絡(luò)之間彼此流通，那么最終就能形成一個高度自動化、高度透明得點對點的從發(fā)起交易到結(jié)算的過程。
其實，區(qū)塊鏈的互操作性在研發(fā)階段是公平的。Sams 強調(diào)，互操作性演示只是一個概念證明，但它是一個重要的例子，因為它推動了開源協(xié)作的精神。
他補充道，“互操作性需要以開放和協(xié)作的方式來解決，并圍繞開放標(biāo)準(zhǔn)和開源實現(xiàn)而建立?？赡軙卸喾N類型的互操作性解決方案，數(shù)量不多，但不止一個。”
這個精神同樣適用于公鏈社區(qū)。“我們正在做的事情，和加密貨幣的跨鏈原子互換很像。”Sams 說，“雖然應(yīng)用的領(lǐng)域不同，但其底層技術(shù)非常相似。”
正在開發(fā)的這個協(xié)議采用的是 Axoni 特定的語言——AxLang，然后通過不同許可的兼容以太坊賬本，最終完成支付。AxLang 智能編程語言由 Axoni 開發(fā)，企業(yè)可利用智能合約來設(shè)置一個確定的事情。Axlang 基于 Scala，可以對智能合約進行形式驗證，這是一種用于證明計算機程序正確性的嚴(yán)格的數(shù)學(xué)方法，它也可用來編譯 Java 和以太坊虛擬機。
但是，開發(fā)人員經(jīng)常被問到，為什么還有另一種編程語言?
Schvey 表示，區(qū)塊鏈上開發(fā)的大量應(yīng)用揭示了 Solidity 語言無法滿足某些開發(fā)要求，這是以太坊社區(qū)智能合約編程的第一步。值得一提的是，Solidity 語言缺乏形式驗證，無法對編寫的代碼進行數(shù)學(xué)證明。
事實上，概念證明結(jié)合了兩個技術(shù)挑戰(zhàn)：互操作性和形式驗證。Sams 指出，兩者之間有著重要的聯(lián)系。“想象一下分布式基礎(chǔ)設(shè)施的最終狀態(tài)，你可以通過多系統(tǒng)實現(xiàn)點對點的自動化流程。”他說。
