以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > Luna > Info

區塊DAG真正的終結性_BFT

Author:

Time:1900/1/1 0:00:00

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

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

行情 | A股數字貨幣板塊下跌0.27% 區塊鏈板塊上漲0.18%:東方財富數據顯示,截止目前,上證指數2986.69,上漲0.06%。A股數字貨幣板塊下跌0.27%,32只股中8漲20跌4平。漲幅前三分別為:國民技術(+1.27%)、漢威科技(+0.57%)、銀江股份(+0.47%);下跌前三:朗科科技(-2.02%)、奧馬電器(-1.96%)、聯絡互動(-1.16%)。 區塊鏈板塊上漲0.18%,197只股中98漲84跌15平。[2019/12/17]

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

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

聲音 | 中國電子標準化研究院李鳴:不同國家對區塊鏈的關注重點不同:近日在2019甲子引力大會上,中國電子標準化研究院區塊鏈研究室主任李鳴表示,從全球來看,不同的國家對標準的方向重點不一樣,比如美國比較關注基礎共性的標準。德國更偏向工程化的標準,比如說工業區塊鏈;日本更關注服務類的標準,比如基于區塊鏈的服務和應用實踐等。所以不同國家根據自身不同特點關注重點方向有所不同,中國跟國外專家在術語和參考架構基礎層面在共同制定標準。國內主要工作是基于各區塊鏈頭部企業的最佳實踐,將其抽象成標準。我們希望通過把中國的最佳實踐貢獻給全球,同時借鑒國際標準成果,把中國區塊鏈行業發展跟國際接軌。(甲子光年)[2019/11/21]

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

聲音 | E-cash發明人:區塊鏈的殺手級應用將會是集成了支付功能的隱私通信系統:據Cointelegraph報道,E-cash發明人David Chaum今日在播客節目上表示,區塊鏈和加密貨幣的真正殺手級應用將會是集成了支付功能的隱私通信系統。他認為,現在用戶越來越意識到通信平臺的端到端加密不足以保護他們的隱私,將會轉而支持區塊鏈或其他技術解決方案。[2019/5/27]

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

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

動態 | 臺灣金融機構已獲區塊鏈等金融科技相關專利核準超80件:據臺媒《經濟日報》消息,臺灣金融業導入金融科技腳步加快,玉山銀、永豐銀、第一銀、彰銀腳步都相當快速,根據“經濟部”資料統計,今年以來臺灣金融機構至少獲得80件以上金融科技相關專利核準,其中不少與區塊鏈、人臉辨識交易等相關,顯示金融業發展金融科技腳步加快。[2019/3/8]

通過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.投票選出領頭人

“網易星球”涉嫌以偽區塊鏈游戲收集用戶重要隱私,疑為金融業務鋪路: 據雷鋒網報道,網易此番再度試探區塊鏈領域,選擇的是網易金融的名義伸出觸角,目前開通任務只有“芝麻分授權”,該產品很有可能先從分析用戶行為提供網貸等服務入手,后期再引入其他合作伙伴,不過目前芝麻信用認證功能已經關閉。除了對數據隱私的敏感,網友的批評主要集中在以下幾點:既是聲稱“區塊鏈”項目,鏈在何處?目前仍無法從網易官方渠道獲得代碼和區塊瀏覽器等相關重要信息;黑鉆每天的產量固定,總量是否意味著無上限?[2018/2/9]

通過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:BFTDAG區塊鏈ASHBBFTDAGA什么叫做區塊鏈技術的概念CRASH幣

Luna
Bitfinex開出4億美元天價懸賞,被盜的12萬BTC有望找回了?_BIT

編者按:本文來自巴比特資訊,作者:bitfinex,編譯:隔夜的粥,星球日報經授權發布。如果你有一筆價值13億美元的比特幣被黑客盜走,你要如何去追回它?這就是擺在加密貨幣交易所Bitfinex面.

1900/1/1 0:00:00
幣圈“大道至簡”投資法則:認清本質,堅守正道_以太坊

昨天在以太坊的帶領下,比特幣也一度創出了新高,超過了一萬美元,但似乎這個位置并不穩固,因為上了一萬美元不久又稍微有所回落,再次降到一萬美元以下,在一萬美元上下劇烈地震動.

1900/1/1 0:00:00
主流貨幣出現久違的漲幅,是山寨幣資金轉移的信號嗎?_USD

今日上午北京、上海等5家區域性股權市場獲批參與「區塊鏈建設試點」資格,幣圈很多社群都在轉這個消息,看起來,該則消息又被幣圈內某些有心之士和一廂情愿之士解讀成了大利好.

1900/1/1 0:00:00
星球日報 | 7月DEX交易量達43.2億美元;ETH2.0多客戶端測試網Medalla已滿足啟動要求_區塊鏈

頭條 比特幣大幅回調,多頭慘被「爆頭」8月2日中午12時左右,比特幣順利突破12000美元壓力位,最高達到12100美元,創過去一年新高.

1900/1/1 0:00:00
ChainsMap鏈上數據:幣價終破萬元,為何鏈上數據并未隨之瘋狂?_CHA

7月的大部分時間,比特幣價格可謂平淡無奇,繼續在9000到9500美元間震蕩,但是在7月最后幾天,比特幣卻緊隨暴漲的ETH之后,突然發力連破10000、11000美元兩大關口.

1900/1/1 0:00:00
韓國政府將征稅加密貨幣交易所得22%,如何節稅?_加密貨幣

7月22日,韓國企劃財政部公開包含加密貨幣征稅方案的“2020年稅法修正案”。今年6月,韓國經濟副總理兼企劃財政部部長洪南基表示,“將把虛擬資產征稅方案寫入7月份公布的稅收修正案”.

1900/1/1 0:00:00
ads