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

Airbnb要解決的最大問題就是信任，到一個陌生人的家里，我要如何相信他？對于家庭來說，迎接一個陌生人住進來，如何讓他信任我？

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

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

Leviatom信任層

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

HCGraph

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

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

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

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

拿以太坊來說，如果它想達成共識，需要所有的參與者對某一件事做評判，來看大家對同一件事的基本認識是不是一致，最終，來判斷該事件的真假。

以太坊在“達成對某件事共識”的過程中，節(jié)點撒謊的代價是非常低的。比如通過修改以太坊程序的代碼，就可以作惡。也正是因為撒謊代價低，所以才需要大量的人來參與共識，大樣本的選擇提高了撒謊的代價，但也同時使得共識效率低下。

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

Leviatom賬本層

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

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

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

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

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

總結(jié)

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