Leviatom信任層可以為區(qū)塊鏈做什么

阮安邦博士曾指出，“Trias想要做的一件事情就是云平臺(tái)的Airbnb”。

Airbnb要解決的最大問(wèn)題就是信任，到一個(gè)陌生人的家里，我要如何相信他？對(duì)于家庭來(lái)說(shuō)，迎接一個(gè)陌生人住進(jìn)來(lái)，如何讓他信任我？

這就像如何知道一個(gè)程序是正確的，以及如何判斷主機(jī)的環(huán)境，運(yùn)算環(huán)境是正確的？

怎樣判斷一個(gè)機(jī)器是否安全可信，Trias 的Leviatom信任層和Leviatom賬本層可以很好地解決這個(gè)問(wèn)題。接下來(lái)，我們談?wù)勥@兩層是如何做到的？

Leviatom信任層

信任層在做的，是一個(gè)Layer-1（負(fù)一層）的網(wǎng)絡(luò)。簡(jiǎn)單來(lái)講，就是一個(gè)去中心化的可信計(jì)算架構(gòu)。如何準(zhǔn)確地定位一臺(tái)機(jī)器能準(zhǔn)確地執(zhí)行他的程序，這里用到了我們之前說(shuō)到的HCGraph（異構(gòu)共識(shí)圖算法）。

HCGraph

異構(gòu)共識(shí)圖算法（HCGraph）是整個(gè)Leviatom網(wǎng)絡(luò)的核心。該算法在實(shí)現(xiàn)時(shí)基于異構(gòu)TEE（Trusted Exectuion Environment ）的可信計(jì)算技術(shù)與基于小世界網(wǎng)絡(luò)的圖計(jì)算技術(shù)的充分結(jié)合。

HCGraph 利用信任的可傳遞性，借助Gossip協(xié)議在使用不同TEE技術(shù)的共識(shí)節(jié)點(diǎn)之間，實(shí)現(xiàn)了可信賴(lài)關(guān)系?；谶@一依賴(lài)關(guān)系，HCGraph 進(jìn)一步構(gòu)造出全局節(jié)點(diǎn)的“同謀違約”模型，實(shí)現(xiàn)了對(duì)極難“撒謊”節(jié)點(diǎn)的高效準(zhǔn)確定位，并冷卻、移除不可信節(jié)點(diǎn)。

基于少數(shù)的這些極難“撒謊”節(jié)點(diǎn)，Leviatom進(jìn)一步實(shí)現(xiàn)了任意原生代碼的可信執(zhí)行，并為這些節(jié)點(diǎn)分發(fā)智能合約程序，提高了共識(shí)效率。

信任層可以為其它鏈提供服務(wù)，如果把其它鏈比作0層，我們就是在負(fù)1層。那我們究竟可以為其它鏈做些什么？

拿以太坊來(lái)說(shuō)，如果它想達(dá)成共識(shí)，需要所有的參與者對(duì)某一件事做評(píng)判，來(lái)看大家對(duì)同一件事的基本認(rèn)識(shí)是不是一致，最終，來(lái)判斷該事件的真假。

以太坊在“達(dá)成對(duì)某件事共識(shí)”的過(guò)程中，節(jié)點(diǎn)撒謊的代價(jià)是非常低的。比如通過(guò)修改以太坊程序的代碼，就可以作惡。也正是因?yàn)槿鲋e代價(jià)低，所以才需要大量的人來(lái)參與共識(shí)，大樣本的選擇提高了撒謊的代價(jià)，但也同時(shí)使得共識(shí)效率低下。

但是，如果這些鏈的節(jié)點(diǎn)是運(yùn)行在Trias的信任層，那他們的撒謊代價(jià)就會(huì)變得極其高。假設(shè)有人嘗試通過(guò)篡改程序代碼來(lái)作惡，我們的Layer-1網(wǎng)絡(luò)就會(huì)迅速通知其它5層網(wǎng)絡(luò)，該節(jié)點(diǎn)處于不可信狀態(tài)。因?yàn)?，Layer-1網(wǎng)絡(luò)可以準(zhǔn)確定位任意一臺(tái)執(zhí)行任意程序的機(jī)器，在該網(wǎng)絡(luò)下的機(jī)器是非常難撒謊的。

Leviatom賬本層

基于信任層的功能以及實(shí)現(xiàn)的效果，就出現(xiàn)了賬本層。關(guān)于賬本層，我們這樣定義“通過(guò)統(tǒng)一接口訪(fǎng)問(wèn)的可插拔式賬本”。

用可插拔的操作架構(gòu)避免“FLP不可能原理”（即便在網(wǎng)絡(luò)通信可靠的情況下，一個(gè)可擴(kuò)展的分布式系統(tǒng)的共識(shí)問(wèn)題通用解法的下限是——沒(méi)有下限即無(wú)解），通過(guò)實(shí)現(xiàn)共識(shí)算法的可插拔，保證項(xiàng)目的可升級(jí)性和可持續(xù)性。

為了實(shí)現(xiàn)算法間的互換，借鑒了業(yè)務(wù)與數(shù)據(jù)無(wú)關(guān)思想，核心方法是通過(guò)將應(yīng)用層、共識(shí)層和數(shù)據(jù)層分開(kāi)，來(lái)實(shí)現(xiàn)算法的兼容支持，根據(jù)配置調(diào)用不同的共識(shí)算法。

在這一層（賬本層），我們可以把以太坊等融合進(jìn)來(lái)，利用他們賬本的特性，實(shí)現(xiàn)對(duì)這些鏈原有智能合約的支持。

現(xiàn)在Trias已經(jīng)可以成功運(yùn)行ETH，F(xiàn)abric，BigChainDB等項(xiàng)目，值得注意的是，Trias大大地提升了這些鏈的共識(shí)效率，并使它們的安全性更高。

總結(jié)

從整個(gè)Leviatom層講，我們的作用就是，提供一個(gè)底層的可信賴(lài)的網(wǎng)絡(luò)，讓上層節(jié)點(diǎn)更快的達(dá)成共識(shí)，從而實(shí)現(xiàn)安全性和效率的同時(shí)提升。