三權分立是法國著名思想家孟德斯鳩提出的學說。我們知道，古代的皇帝或者國王往往掌握著巨大的權力，很容易濫權或獨裁。而三權分立作為一種學說，通過將行政、立法和司法三種權利由不同的機關掌握。

Trias提出信息世界基于三權分立的去中心化模型，解決人類相信機器的問題。籍此構造去中心化企業級SaaS服務合約，保障企業核心數據與關鍵服務的安全可信。

三權分立理念是我的博士論文題目。在牛津的五年，我嘗試用三權分立的理念，來解決讓人相信云平臺的問題。

云平臺其實就像是一個獨裁者，當你把數據交給它，它負責通過運行一系列程序來為你提供服務；其次，它來告訴你，為了執行你的服務，它做了什么事情，這其實是司法舉證；我自己舉證自己做了哪些事情，同時還定義所做的每件事情的屬性是什么，這其實就是立法。

“這樣看來，其實所有的話語權都掌握在云平臺一家企業。針對這種問題，我開始嘗試利用三權分立的思想，讓行政權、立法權、司法權隸屬于不同主體。這就是我在整個博士期間的研究”。

當前，許多云平臺就存在過度中心化的問題。

當你把數據交給它，它負責通過運行一系列程序來為你提供服務；但是，為了執行你的服務，它做了哪些事情，為什么要做這些事情，收集了你哪些數據，全都是平臺自己說了算，所有的話語權都掌握在云平臺一家企業。

我們常說信任是安全的基石。我們沒法相信機器的最根本原因就是：當我們把數據交給某些設備/軟件之后，并不知道這些設備/軟件會對我們的數據做什么樣的事情。

現在，我們希望用一個三權分立的去中心化的架構，去實現一個支持全平臺原生應用程序的可信世界計算機。全平臺就是IOT、PC、手機等所有的這些算力。原生應用程序即原本跑在它上面的程序，我們想讓它像智能合約一樣安全健壯的運行，并且具備可以向別人證明“它真正實施正確行為”的能力。

我們知道，蘋果公司在軟件安全可信上很是聞名遐邇的。那蘋果公司如何實現相對可信可靠的系統軟件與應用軟件生態呢？

首先，在硬件級別上使用了可信計算技術進行引導、啟動、加載等環境的嚴格把控，并且使用的硬件都由自己的廠商設計。此外，蘋果采用非常中心集權的方式，所有能在蘋果上運行的程序，必須通過蘋果的軟件APP center認證和測試。他們用這種方式，提供給用戶非常安全的閉源生態。

借鑒蘋果的做法，我們認為，如果能把軟件的全生命周期放在區塊鏈上，就可以實現軟件溯源，進而確保它是安全的。類似于農產品溯源，可以知道它來自哪里，是否通過了合格檢測，有哪些人對它做了什么等問題。

綜上所述，Trias通過借鑒區塊鏈與智能合約技術，實現對可信軟件執行環境以及可信軟件構建系統的去中心化。在此，Trias用三套子系統來實現三權分立 ：Leviatom（利維坦）負責行政權，即執行一組序列；Prometh（普羅米修斯）負責立法權，定義每一個程序的屬性； MagCarta（大憲章）負責司法權，即說明哪些程序被執行了，從而裁定服務的質量，并合理分配各方利益，也可以追責索賠等。

下面我對Trias的三層子系統的運行機理逐一做出簡單的介紹。

第一層：Leviatom（利維坦）

Leviatom的目標是構建一個高效穩定支持通用平臺應用程序智能合約的可信算力平臺。其核心是Trias團隊首創的異構共識圖（HCGraph）。我們知道，TEE（可信計算技術，Trusted Execution Environment）能很大程度上保證節點的安全可信，但不同TEE技術（包括Intel SGX，Intel TXT，ARM TrustZone，TCG TPM，國標TCM等）存在著性能不足、管理復雜、技術提供商中心化掌控、硬件攻擊等問題，并不適合直接拿來實現共識算法。

為減少區塊鏈中應用TEE技術的難度，HCGraph將小世界網絡算法與異構TEE共識節點相結合，引入了信任傳遞網。

簡而言之，就是讓具備TEE運行環境的節點互相驗證對方的可信度，并將收集到的信息傳播給其他節點。經過反復迭代之后，形成一個信譽關系網，實現對全網中最安全節點的高效定位。值得一提的是，HCGraph是當前區塊鏈共識算法領域首次提出的通過建立共識節點之間的信任關系以提高共識效率的方法。

當前行業應用和學術圈已充分證明經典PBFT（實用拜占庭容錯）是在節點數量不太多的情況下，能防止節點內鬼或者節點失效的平均表現最優的方法。我們通過HCGraph篩選出少量最高質量的節點，它們通過改良后的PBFT形成共識。這將在保證共識有效性的前提下，極大地提高共識效率。

綜上所述，Leviatom算力網絡中的共識節點在邏輯上形成著三層算力體系。第一層算力節點利用TEE技術定期檢查其周圍節點的正確性，并記錄檢查的歷史信息。第二層算力節點利用Gossip協議收集并傳播周圍第一層算力節點所收集到的其它節點的正確性信息，最終歸納出全網絡任一節點的“同謀違約”代價模型。第這個過程中確定的少數優質節點將成為第三層節點，并獲得執行任意程序的權力。該層算力節點將最終對執行程序的結果產生共識。

第二層：Prometh （普羅米修斯）

Prometh是在Leviatom平臺之上的一個用于實現通用程序的安全開發運維框架。

簡單來講，它主要有兩個作用：

第一個作用是“軟件溯源”，通過溯源來保證程序本身是安全可靠的。比如源代碼是否正確，有沒有安裝木馬，或者非法采集數據。當然，我們并不要求把軟件所有的源代碼完全公開，只需要將其中的一些特征值和哈希值做一個存證。通過對軟件進行追本溯源，當你懷疑某個軟件不安全，就可以查看相關存證，進而判斷它是否存在惡意行為。

通常我們了解一個人，少不了觀察其成長環境和生平為人處世的方式。倘若將一個人的成長過程中所有重要的事件都放到區塊鏈上去存證，那我們就有辦法從這些數據中去了解他。第一個作用就有點類似這個情況。

一言以蔽之，它把應用程序從誕生到應用的整個過程都記錄在鏈上。

第二個作用，我們可以理解為“可重用的、可信任的區塊鏈兼容應用程序的構建模塊”。讓很多現有模塊在我們的區塊鏈上跑起來，比如說一個通用APP的基本架構，讓這些程序能夠為上層提供構建模塊，以創建通用的企業級軟件服務。

第三層：MagCarta（大憲章）

MagCarta是一套支持高階范式的圖靈完備的智能合約，它統一了智能語言的多樣性，可以實現可溯源軟件在可信算力平臺上的調度，實現基于共識的編程。

在上文的介紹中，我們不難發現，在平臺構建的底層中，會產生很多可以重復使用的功能模塊。如果把搭建應用比作蓋房子，那么這些功能模塊概念上就相當于鋼筋、水泥、磚瓦、木材等建筑材料，我們通過重新編譯這些模塊，使之在不同應用程序中得以重復調用，不但節省了工作時間，模塊開發者也能得到一些獎勵。

在我們的架構里面，MagCarta可以將所有底層功能作為一個去中心化的PaaS平臺，用來開發直接面對客戶的去中心化SaaS程序。

從企業級SaaS入手：

Trias借助多年深耕于可信計算與圖計算的實力及改進后的區塊鏈技術，將會對當前眾多信息化產業的未來發展帶來深遠影響。在優化產業效能、提升安全水平、建立可信健康的區塊鏈生態圈等領域，Trias都將為之努力前行并發揮顯著的作用。

目前基于Trias區塊鏈技術的產業互聯網可信數據平臺已經在電力、海洋、農業、林業、電商、消防、金融等領域取得重要落地應用。