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