DAG:區塊DAG真正的終結性_ASH

作者：StevenPu，Taraxa創始人前言在之前寫過的一篇文章里，我們定義了區塊DAG的結構和排序方式，但也提出了排序依舊會隨著時間推移而出現變化的問題。本文，我們會為大家介紹Taraxa賦予區塊DAG排序真正終結性的方案以及與之相關的所有結果。終結性的重要性

如今大多數區塊鏈拓撲的終結性都是基于概率的，也就是說你永遠無法百分百確定一筆交易真的徹底完成了。舉個例子，在比特幣網絡中，隨著時間推移，攻擊者追上網絡剩余部分并重組區塊的概率會呈指數級下降。這種指數級的風險下降催生了“6個區塊”的經驗論。也就是說，如果在包含你那筆交易的區塊上又新增了5個區塊，那么你的交易就有了“6個區塊的深度”，從統計上來看，這個交易就不太可能遭到重排攻擊。在很多場合，概率性的終結沒什么問題。但是，如果你正在執行大量交易，且每筆交易都依賴于上一筆交易的輸出，或者你正在執行一筆巨額交易，你需要確定這筆交易絕不會被撤銷，那么終結性就相當重要了。在原始狀態下，我們區塊DAG的排序機制也是概率性終結的。為了實現真正的終結性，需要做些添加。DAG終結性意味著什么？

以太坊等主流區塊鏈網絡上已累計發行10億枚NFT:8月13日消息，NFTScan數據顯示，以太坊、BNB Chain、Polygon、Solana、Arbitrum、Optimism等主流區塊鏈網絡上已累計發行10億枚NFT，部署超過265萬個NFT資產合約。[2023/8/13 16:23:19]

回想一下，我們早期排序機制的重排風險主要就是出現在錨定鏈發生變化的時候。

因此，只要我們能確保定期固定住錨鏈，那么無論出現什么狀況，錨鏈上的區塊排序都能徹底確定。我們是如何做到的呢？網絡會定期舉行投票，與區塊DAG的建設同步，以此來為DAG邊界附近的特定區塊施加無限權重。當一個區塊被賦予無限權重的時候，就意味著其通過幽靈指針直接或間接指向的所有區塊都具有了無限權重，也就是說現在不可能再通過攻擊推翻這個排序了。

聲音 | 螞蟻金服張輝：區塊鏈拓展智能商業的邊界:據微信公眾號“螞蟻金服科技”消息，當地時間5月2日，《麻省理工科技評論》舉辦的“Business of Blockchain”大會在美國麻省理工學院舉行。螞蟻金服區塊鏈部門負責人張輝在演講中表示，以 IoT、5G、AI、區塊鏈等為代表的智能科技將極大地拓展智能商業的邊界，成為工業互聯網時代的推動力。區塊鏈帶來的最大價值則是在萬物互聯的時代，用技術重構信任機制。這將對未來的金融和商業產生深刻影響。在這個前所未有的技術革命和產業創新時代，區塊鏈逐漸成為了新一代創新技術的代表，中國乃至亞太地區政府正積極推動區塊鏈技術發展，促進數字經濟創新。[2019/5/3]

在上圖，我們選擇了橙色區塊賦予無限權重，并且可以看到這種無限性已經通過反向指向區塊DAG賦予了錨鏈上所有區塊無限權重。現在，我們已經有效地在其所屬時期確定了這個錨鏈及所有區塊的排序。那么，我們如何第一時間選擇要賦予無限權重的區塊呢？通過類似PBFT的算法選擇周期區塊

動態 | 火幣區塊鏈產業報告稱電子游戲將成為區塊鏈普及大眾的引爆點:今日，火幣發布區塊鏈產業專題報告（游戲篇）。報告中稱：電子游戲產業很可能是區塊鏈走向大眾的一個重要引爆點，其本身原生數字化，并具備多項優質屬性；區塊鏈游戲的核心在于將游戲主動權交還給用戶、玩家，重構產業鏈上參與者之間的關系，理論上不局限于某一類游戲設備，具備極大的滲透性和潛力； 區塊鏈對游戲最大的影響即虛擬資產的確權和歸屬，并可對虛擬資產的權屬歷史進行追溯，其價值的出口在于虛擬資產交易；由于區塊鏈跨應用賬本的屬性，游戲的資產具備互通性，跨游戲的虛擬資產交易市場可能成為未來一個極大的流量和財富集散中心。[2018/8/1]

為了選擇DAG內的一個區塊來完成最終確定，我們采用了一個類似PBFT算法的過程。考慮到PBFT是一個研發完備且廣泛部署的算法，關于本文會涉及到的細節和潛在錯誤這里就一筆帶過不再贅述了。PBFT的周期區塊終結過程大致分為四步，如下面這張高度簡化的圖表所示。

Sberbank在俄羅斯用區塊鏈技術進行了第一次商業債券交易:據cryptovest消息，俄羅斯最大的銀行Sberbank投資部門Sberbank CIB，日前在俄羅斯進行了第一個基于區塊鏈的商業債券交易，組織了MTS（莫斯科一家電信公司）公司債券的發行，期限為6個月，價值7.5億盧布(約合1200萬美元)。該操作是在國家結算存管局(NSD)提供的區塊鏈平臺上進行的，該平臺的技術基于HyperLedger Fabric 1.1。[2018/5/17]

我們來分別看下，在每個階段，節點會做什么：1.提議新的區塊

通過VRF(SK,previous_PBFT_block_hash,current_vote_type,current_round_number,current_step_number)=(e,π)來計算其資格，這里e就是資格值，π是VRF正確計算的證明決定“如果e<閾值，那么其就有資格在本輪提議一個PBFT區塊”在邊界的附近但不在邊界上挑選一個DAG區塊候選人來進行最終確認，也就是當前周期的區塊候選人Pt在Pt和P(t-1)之間創建一個周期，找到這個周期內包含的所有區塊創建一個并發調度CS創建一個包含(Pt,CS)以及其他信息的PBFT區塊候選人(Pc)計算Pc的哈希將hash(Pc)、Pc以及證明其資格的(e,π)廣播給其他對等節點2.投票選出領頭人

亞利桑那州將區塊鏈法案正式列為州法律:4月3日，一項允許公司在分布式賬本持有并分享數據的法案由州長 Doug Ducey正式簽署成為亞利桑那州法律。亞利桑那州眾議院以56票贊成、3票反對和1票棄權通過了HB 2603法案。亞利桑那州參議院一致通過了該法案。亞利桑那州參議院將對HB 2602法案和HB 2601法案進行第三次審核。HB2602法案將禁止城鎮限制居民家中的加密貨幣挖礦行為；HB2601法案將解決證券和眾籌問題，承認“虛擬貨幣”為“價值的數字體現”，并授權虛擬貨幣作為數字交易的交換媒介。[2018/4/6]

通過VRF再次計算其資格生成另一個(e,π)決定“如果e<閾值，那么其就有資格參與此輪”等待2個λ的時間，其中λ是網絡直徑——也就是網絡中兩個最遠節點之間的最短距離計算在π也正確的情況下觀察到的e的最小值，創建者即為最小值e為“領頭人”的時候，它就是創建者——這個節點就是提議下一PBFT區塊的候選人將其對hash(Pc)的投票以及證明其資格的(e,π)廣播給對等節點——這里的hash(Pc)對應的是會成為“領頭人”的最小的e3.針對區塊的投票

通過VRF再次計算其資格生成另一個(e,π)決定“如果e<閾值，那么其就有資格參與此輪”等待2個λ的時間計算在給定的e_min時間內其是否收到2T+1的投票如果其尚不具備PBFT區塊，就針對e_min對應的Pc以及相關hash(Pc)進行對等節點輪詢驗證Pc是否正確創建將其對Pc的投票以及證明其資格的(e,π)廣播給對等節點4.投票進入下一步

通過VRF再次計算其資格生成另一個(e,π)決定“如果e<閾值，那么其就有資格參與此輪”等待2個λ的時間計算對于任意給定的Pc，其是否收到2T+1的投票驗證獲勝的Pc是否正確創建計算最新驗證過的Pc并將結果提交到永久存儲將其對繼續提議下一個PBFT區塊的投票以及證明其資格的(e,π)廣播給對等節點關于我們PBFT的更多介紹

上面寫的就是一個極其簡單的描述這是對我們PBFT流程的一個極其簡單的描述，因為我們并沒有提到所有可能會導致事情往不好方向發展的情況，例如沒有節點計算出低于閾值的e、投票沒有達到2T+1這個規定的數目、大量節點在這一輪期間崩潰等等。這個PBFT流程高度安全且可擴展注意，每當節點要發聲時，它都會計算一個VRF資格值來確保在這一輪它有資格發言。資格的閾值已設置好且會動態調整來確保以下兩件事：參與每一輪的節點是隨機的且有可能是不同的，這意味著一旦攻擊者觀察到某個節點是參與者并以其為目標發起攻擊，那么可能在下一輪它就失去了資格。這和許多其他算法不同，其他算法會在較長時間里保留參與者的資格，使他們成為攻擊的首要目標。在任何給定的回合中，只有一部分合格節點參與其中，使這個PBFT流程高度可擴展。這意味著就算網絡容量擴大，合格參與者數量增加，這些PBFT輪次的實際參與者相對網絡容量可以輕松通過設置實現次線性擴展。參與人數越少投票過程就越快。將隨機選擇的參與者與次線性增長的委員會規模相結合，得到的就是一個高度安全且可擴展的PBFT流程。平行的PBFT鏈

Taraxa的PBFT流程在現有的區塊DAG旁邊創造了一條PBFT區塊線性鏈。

每個PBFT區塊都有兩個主要目標，完成一個DAG區塊在周期區塊中的最終確定主持一次規定交易如何計算的并發調度完成DAG區塊的最終確定

這個PBFT流程會確認區塊DAG內的一個單一區塊。因此，與其他大多數利用PBFT流程的網絡不同，它并不作為主要共識算法來對整個區塊鏈流程把關。這也是為什么Taraxa的PBFT流程與區塊DAG的創建流程是并行的且基本上異步的。每當一個新的DAG區塊完成最終確定，我們就創建一個已終結的錨鏈以及錨鏈上一組相關區塊來實現）。整個區塊的集合稱為周期，也可以看作是一個最終確定了排序的區塊集群的快照。每個周期包含許多DAG區塊，會帶領我們進入另一個PBFT區塊任務，通過并發調度來確認待計算交易的順序。并發調度

并發調度通過以下幾種方式來確定排序：區塊的排序，這個由排序機制定義，因為一個周期里有很多區塊。過濾出區塊間的冗余交易。因為我們采用的是一個DAG數據結構，所以很有可能發生多個區塊提議者將同一組交易打包到不同DAG區塊的情況，導致一定程度的交易重疊。Taraxa設計了一個交易仲裁機制來幫助調整這種重疊——我們希望將這種情況降到最低但又不能為零，否則會出現交易孤立過度的情況。將交易分為并發集與順序集。這是我們并發EVM設計的關鍵部分，其中通過一組推測性執行算法將交易分為可安全并行執行的交易與必須按序執行的交易。你也可以將并發調度看作將所有單獨的DAG區塊組合成一個單一區塊并嵌入每個PBFT區塊的結果。除了共識，接下來我們還會繼續分享更多有趣的技術，并在研究和實現進程中陸續發布。敬請期待！

Tags：BFT區塊鏈DAGASHBBFT區塊鏈的幾個大騙局xdag幣最新消息CRASH

Luna