Hedera技術見解:DLT的脆弱性

買賣虛擬貨幣
一些協商共識演算法是脆弱的,無論是節點的成員關係,還是這些節點對協商共識的影響都是很脆弱的,因為它們不能適應變化。結果是,這些變化導致共識被阻止或被破壞。這對某些型別的分散式分類賬可能是一個問題,但對Hedera來說不是問題。本文證明了Hedera基於stack的hashgraph共識演算法的實現是非同步拜占庭容錯(ABFT)的,並用Coq證明進行了計算機校驗。此外,它在面對節點成員和這些節點的利害關係的變化時具有彈性,因此不脆弱。節點會加入和退出,這些節點向協商共識所佔的hbar數量會發生變化,其他帳戶代理這些節點的hbar數量會上升和下降,但是協商共識的決心將適應這種動態,因此不會是脆弱的。為了確定事務的共識順序,節點只需要知道帳戶中hbar的餘額—這與加密貨幣的要求完全相同。重要的是,節點不需要知道網路中節點的數量,就可以確定共識。脆弱性所有分散式分類賬技術(dlt)都要求節點對網路的其餘部分有一定程度的瞭解,以便:1. 向這些節點傳送訊息2. 驗證來自這些節點的訊息
一些dlt還要求節點能夠:3.評估其他節點對達成共識的相對影響如果對協商共識節點集的更改或它們對協商共識的影響能夠導致防止或破壞協商共識,那麼我們可以說DLT是脆弱的。例如,如果在一個節點下降時,其他節點凍結,那麼顯然該系統將是脆弱的。同樣,如果在一個節點改變其利害關係時,現有的節點無法適當地確定這種改變對協商共識意見的影響,那麼這種影響也是脆弱的。HederaHedera的共識模型假設節點知道其他節點的影響,並且這種影響能夠隨時間而改變。儘管網路將在許可的階段啟動,但在一段時間內,任意節點都有可能參與——以特別的方式加入和退出。此外,節點的影響力將與它們的股份成正比,而這將隨著它們使用和接收hbar而上下浮動,或從其他帳戶中損失和獲得代理股份。
如果隨著節點隸屬度或staking的改變,節點的影響力計算不一致,比如Alice和Bob以不同的方式計算Carol的影響力,那麼Hedera將是脆弱的。但與任何為交易提供總順序的權益關係證明分類賬一樣,Hedera允許節點一致地調整其影響力計算,從而考慮到節點成員關係的變化和其他動態因素,從而確保它能夠適應這些動態因素。 hashgraph虛擬投票演算法讓節點檢查它們的本地hashgraph,並在邏輯上代表其他節點投票。對於Hedera,這些投票是基於節點的權益關係進行加權的。因此,所有節點必須能夠計算所有其他節點對協商共識的影響。節點相對影響的計算由以下幾點決定:1. 節點控制的hbar的數量和接近共識的Du注2. 其他參與者代理到該節點的hbar的數量,以達成共識
3.hbar的總數具體來說,我們用股權來衡量影響力的方式有以下幾種:1. 對於給定的事件,我們說時間戳將是社羣中活動成員收到它的時間的加權中值。該集合的成員最先了解該事件的不同時間按最早到最近的順序排列,第50個百分位的時間將是協商共識的時間戳2. 我們透過讓節點投票決定某個給定事件是否“著名”來確定“活動”——這些投票由每個節點的權益關係進行加權。建立這些著名事件的節點被認為是活動的3.當Y(或N)對某一事件的聲望的計數賭注超過總賭注的2/3時,選舉結束,決定是最終的。注意,沒有計算使用節點總數——因為該值與Hedera的hashgraph實現中的共識意見無關。hashgraph演算法本身允許其他標記模型,例如為每個節點精確地指定一個標記單元。這個簡單的標記模型需要知道節點的數量。但是Hedera不這麼做。Hedera使用了完整的hashgraph演算法,其中不同的節點可以有不同的賭注。所以它需要跟蹤的是總權益關係,而不是節點的總數。
因此,在給定的時間點上,為了計算影響(以及共識性),所有節點都需要知道1. 所有節點的Du注2. 總股份Hedera的總股份固定在500億hbar。給定Hedera節點的Du注為:1. 節點的hbar代幣帳戶
2. 代理到該節點的帳戶中的hbar由於在Hedera中沒有繫結,1號將隨著節點從該帳戶花費hbar或從該帳戶接收hbar(來自節點支付和不相關的事務)而改變。類似地,當hbar進出代理標記的帳戶時,或者當新增新的代理帳戶時,或者當現有代理帳戶決定切換到另一個節點時,2也會發生變化。最後,節點的影響將取決於它的權益關係,而權益關係由一組加密貨幣帳戶中的hbar數量決定。因此,計算共識性的Hedera節點的負擔是,在任何時候,都要知道在所有已標記的帳戶中有多少hbar(未標記的帳戶是無關緊要的)。當然,對於加密貨幣來說,這是完全相同的負擔。任何加密貨幣(包括hbar)的基本價值主張都是防止有人花自己不擁有的代幣,比如在賬戶中只有5個hbar時花10個hbar。為了保證這一點,Hedera確保所有節點在任何時候都同意每個帳戶中有多少hbar。任何不能保證這一點的DLT都不是可行的加密貨幣。hashgraph為事務提供了一個總順序(即所有節點都同意所有事務的順序),這一事實允許節點在給定的時間點上就所有節點的確切權益關係達成共識——因此對這些權益關係的變化具有彈性。因此,即使是更改節點股份的事務,也不能阻止社羣就股份達成一致,從而達成共識。例如,如果節點Alice的帳戶中有10個hbar,但其中2個用於購買,那麼網路將授予她10個hbar的影響力,直到購買事務被記錄時為止,然後授予她8個hbar的影響力。因為所有節點都會同意她的2 hbar交易相對於其他所有交易的順序,所以他們會同意她的新股份數量,以及生效的時間,以及她對以後這些交易的一致計算的影響。在實踐中,作為一種最佳化,Hedera節點將每24小時獲取hbar平的快照,並在接下來的24小時中使用這些值。但對於節點來說,不斷調整股權計算以反映實時賬戶餘額流量也同樣具有彈性。
結論Hedera對hashgraph的使用類似於其他賭注證明賬簿,除了沒有透過繫結造成的流動性損失或大多數其他系統中典型的賭注損失風險之外。在Hedera的hashgraph部署中,所有節點都必須能夠計算所有其他節點的影響。要做到這一點,它們只需要任何特定節點擁有的股份(包括擁有的和代理的)和發行的hbar的總數。第一個可以從相關的加密貨幣餘額中獲得,第二個是眾所周知的固定值。計算中的任何一項都不受其他節點加入或退出網路的影響,因此權益關係計算(以及協商共識演算法本身)任何此類流量都具有彈性。更多區塊鏈資訊:www.qukuaiwang.com.cn/news

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;