TEEX是一個安全的分布式計算平臺，是基于現有區塊鏈系統的第二層解決方案。TEEX為用戶、算力提供方、服務提供方提供了一套完備的激勵模型，建立了一個去中心化的、靈活易用的計算資源共享市場。

解耦和任務分發

不同于現有公鏈系統使用冗余計算和全局共識機制，TEEX采用基于可信執行環境的可驗證計算策略來保證執行的完整性和不可篡改性。TEEX將執行和共識層完全解耦開，并且引入了任務分發策略，意味著計算者可以同時為不同的計算任務提供算力，保證了參與的計算者越多，TEEX網絡可以提供的吞吐量越高。

基于TEE的隱私保護

TEEX將任務執行下放到鏈下的可行執行環境（例如intel-SGX）中，從而通過硬件保證執行過程中數據和控制流的隱私性。另外，可行執行環境保證運行在其中的程序可以被遠程驗證，并且允許建立安全通道進行數據的加密傳輸。在TEEX網絡中，每一個計算者都需要擁有支持可信執行環境的計算機，用戶需要在發送隱私數據之前鑒定計算者的身份。

原生執行環境

TEEX提供了一個鏈下執行環境，沒有額外的運行時開銷，可以支持接近原生的性能。由于執行和共識的解耦，所以執行過程可以立即返回，不需要等待鏈上冗長的確認時間。此外，我們支持分布式計算群組，以此提供優于單點計算的性能。另外，我們提供基于TEE的通用開發工具和接近原生的執行環境，并提供完備的用戶庫。用戶可以利用C/C++進行開發程序，并運行在安全環境中，就好像在原生Linux操作系統下一樣。

軟硬件兼顧的設計方案

在可行執行環境的基礎上，我們利用了密碼學機制實現了數據和執行流的可驗證性，從而保證了執行的完整性。在TEEX網絡中，敏感數據只可能在可信環境中被解密，同時秘鑰被維護在TEE-DS（基于可信執行環境的分布式存儲）來保證充分的隱私性。對于現有的針對可信執行環境的攻擊，我們采用了一些軟件方法進行加固。我們也利用諸如秘鑰分片的方式減少單點被攻擊的影響。

系統架構

應用層

主要包括應用程序，為終端用戶提供功能接口，例如用戶端應用、執行器、任務分發器、錢包等等。我們會提供專門的TEEX軟件開發工具來處理和TEEX網絡、區塊鏈以及可信硬件之間的復雜通信協議，并協助開發上層應用程序。

TEEX網絡層

主要包括大量計算者和任務分配器。計算者會運行著受TEE保護的代碼，并負責隱私計算任務的執行和維護。分配器用于接收用戶的計算任務并分配給相應的計算者。我們提供了一個基于TEE的分布式存儲服務來協助處理私密數據（例如服務的私鑰）。

公共網絡層

主要包括公有區塊鏈系統，這里主要指公共的智能合約系統，例如以太坊。公有區塊鏈系統主要用于處理驗證和結算交易這類公有共識部分。此外，考慮到公鏈存儲限制，我們也利用了一些公有存儲系統，例如IPFS。

TEE （可信執行環境）

TEE（可信執行環境）是計算機芯片中的小黑盒，可以保護運行在其中的代碼和數據不會被任何外部軟件篡改和竊取，即便是高權限軟件（例如操作系統）。同時TEE提供了遠程驗證的功能，用戶可以主動驗證計算方的行為是否符合預期，這保證了計算者可以在不獲得任何私密數據的同時，提供有效的工作量證明。

另外TEE支持建立安全信道，保證在和用戶或者其他TEE通信時，數據都是加密的，無法被竊取。

完全隔離

可信執行環境是計算機處理器上的一塊安全區域，它能夠保證運行在其中的代碼和數據的隱私性和完整性。在軟件層面上，可信執行環境是一塊隔離的執行空間，提供了豐富的安全特性，例如隔離執行、應用執行的完整性、數據的隱私性等。

遠程驗證

Intel SGX提供了一套遠程驗證機制，用戶可以驗證遠端計算機是否在真實的可信執行環境中執行正確的代碼，同時可以和遠端機器建立安全通道。在初始化階段，運行在可信執行環境中軟件可以取得一份包含驗證信息的報告，并且由硬件簽名，證明其確實運行在enclave中。遠端用戶在取得這份報告之后，可以向Intel驗證服務發起請求，驗證報告的有效性。