區塊鏈常用的是“區塊＋鏈”的數據結構。簡單來說，所謂區塊，指的是單位時間內由記賬者將交易記錄整體打一個包，新生區塊與上一個區塊銜接在一起，形成區塊鏈。比特幣，以太坊等項目采用的都是這種方式。

這種鏈狀結構雖然具備比較簡單快速確認的優點，但也存在著固有的頑疾。首當其沖的就是鏈狀結構難以提高吞吐量，所以效率一直比較低，整個網絡中只能存在一條單鏈，無法并發執行，如果區塊過小，勢必造成交易的大幅延遲，而區塊如果較大，又會造成數據量膨脹，普通節點用戶不堪重負，DDos攻擊等問題。此外，還存在能耗問題，安全問題等潛在問題。

DAG（Directed Acyclic Graph，有向無環圖）原本是計算機領域的一種常用的數據結構，由于其具備良好的多線程特點，能夠將區塊鏈從一維的線狀單點寫入升級為三維多點并行工作，現在成為區塊鏈世界中越來越重要的發展方向。

一、Trias中的DAG結構

Trais采用雙層共識方法，即請求網絡吞吐時使用DAG，確認時使用鏈式結構。因為DAG屬于異步通訊方式，如果把事務操作進行異步處理，那么就可以顯著的增加網絡吞吐量。因此Trias設計了DAG的吞吐緩存共識層。

這里解釋一下同步&異步通訊。同步通訊意味著客戶端和服務強耦合，與同步通訊相反，異步通訊不要求捆綁所有的服務和層，允許存在一定的時間差。舉一個例子，我喊朋友去吃飯，如果是同步通訊，朋友就得放下手中的事情，立刻響應我的請求；而在異步通訊中，則允許朋友忙完手里的事情，再來跟我吃飯。

Trias中的StreamNet就是基于DAG系統的設計，其針對現有區塊鏈系統容易出現雙花、重放攻擊、交易速度慢、Coordinator的引入導致中心化等問題。以流式圖計算為基礎，設計出的一套新的DAG共識層。

在StreamNet中，它的每個節點（site）代表一個交易，而有向邊則代表交易之間的確認關系。如下圖所示，site0表示創世交易（Genesis），理論上講是100%被確認的交易。在圖中，site1表示其中的第一筆交易，被后續的site2，3，4確認。而未被確認的交易我們稱之為tip，如site6，就是一個tip。

二、交易的實現過程

假如創世交易Genesis的初始數字資產為5，現在Genesis希望將1個數字資產轉賬給Alice，并在后續過程中將另外1個數字資產轉賬給Bob。那么，這個交易過程在StreamNet是如何確認的呢？

在這里，每一筆交易都必須找到兩個tip交易來進行確認。例如Genesis轉賬給Alice的交易確認了Genesis本身，而Genesis在后續轉賬給Bob的交易則確認了Genesis本身和Genesis轉賬給Alice的交易。換言之，StreamNet上附著的每一筆交易都要做足夠的工作量證明，即PoW。

值得一提的是，雖然同樣用到了PoW，但這與比特幣挖礦不同。這個過程難度不會隨著交易多少而增減，也不會產生“礦工”這個角色。

如果其中某一步產生了差錯，如上述過程中，Genesis要把10個數字資產轉賬給Bob，顯然其賬戶中的數字資產并不夠10，正產情況下，這個過程會導致驗證失敗。倘若選擇欺騙，或者篡改數據，就會導致在后續的交易過程中被其他節點拒絕驗證。

三、如何選擇tip

在StreamNet中有交易速率的概念，用λ來表示。另外，我們用η來表示一筆交易在附著在StreamNet上后有多少時間單位沒有被其他交易確認。

在選擇tip 上，我們至少要考慮兩個層面，一是選擇的算法不能太過復雜，否則會影響交易速率λ，二是要盡力照顧到全網中未被確認的交易，不能使一些交易在經過太長時間后仍未被確認。

最基本的選擇算法就是從創世交易Genesis開始，對批準它的交易以均等的概率進行游走，直到選出一個tip為止。如上圖中Alice要把手中的數字資產轉賬給Sam，在選擇tip時，選擇創世交易Genesis轉賬給Alice和Bob的概率各為1/2。這種算法有一個問題，就是會產生懶交易，即新交易總是批準老交易而不被懲罰。

那么，有什么辦法來阻止懶交易呢？或者，什么樣的選擇算法才是好算法呢？