這篇文章主要介紹“區(qū)塊鏈共識的確定性是什么”，在日常操作中，相信很多人在區(qū)塊鏈共識的確定性是什么問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”區(qū)塊鏈共識的確定性是什么”的疑惑有所幫助！接下來，請跟著小編一起來學(xué)習(xí)吧！

創(chuàng)新互聯(lián)建站專注為客戶提供全方位的互聯(lián)網(wǎng)綜合服務(wù)，包含不限于成都做網(wǎng)站、成都網(wǎng)站制作、昆明網(wǎng)絡(luò)推廣、小程序制作、昆明網(wǎng)絡(luò)營銷、昆明企業(yè)策劃、昆明品牌公關(guān)、搜索引擎seo、人物專訪、企業(yè)宣傳片、企業(yè)代運(yùn)營等，從售前售中售后，我們都將竭誠為您服務(wù)，您的肯定，是我們最大的嘉獎；創(chuàng)新互聯(lián)建站為所有大學(xué)生創(chuàng)業(yè)者提供昆明建站搭建服務(wù)，24小時(shí)服務(wù)熱線：13518219792，官方網(wǎng)址：www.cdcxhl.com

在區(qū)塊鏈設(shè)置中，確定性 是保證了所有有效區(qū)塊一旦被提交到區(qū)塊鏈上就不會被撤銷。當(dāng)用戶進(jìn)行交易時(shí)，他們也希望在轉(zhuǎn)賬完成后能夠保證轉(zhuǎn)賬操作不能隨意更改或撤銷。因此，在設(shè)計(jì)區(qū)塊鏈共識協(xié)議時(shí)，確定性變得至關(guān)重要。目前基于中本聰共識的系統(tǒng)中，51％ 攻擊和自私挖礦行為就是因?yàn)樵试S有撤銷區(qū)塊的可能，才會威脅到系統(tǒng)的健全（例如，如果作惡者累積了 51％ 的挖礦能力，他們就可以進(jìn)行雙花攻擊）。這種協(xié)議提供了概率性確定，而其他一些協(xié)議則實(shí)現(xiàn)了絕對性確定。

1

確定性的類型

概率性確定（Probabilistic Finality） 是基于區(qū)塊鏈的協(xié)議提出的確定性類型（例如，比特幣的中本聰共識）。在概率性確定中，包含交易的區(qū)塊在鏈上埋得越深，該交易被撤銷的可能性越低。因?yàn)槟骋粎^(qū)塊后面的區(qū)塊越多，包含該區(qū)塊的（分叉）鏈就越可能是最長的鏈。 這就是為什么建議等到包含交易的區(qū)塊在比特幣區(qū)塊鏈的深度為 6 個區(qū)塊時(shí)才能確認(rèn)交易完成（大約需要 1 小時(shí)），因?yàn)榇藭r(shí)撤銷交易的可能性非常低。

**絕對性確定（Absolute Finality） **是基于拜占庭容錯（PBFT）的協(xié)議（例如 Tendermint）提出的確定性類型。在絕對性確定中，一旦交易被包含在區(qū)塊中并添加到區(qū)塊鏈上，該交易就會被立即視為最終確定。在這種情況下，一個驗(yàn)證者會先提出一個區(qū)塊，而這個區(qū)塊必須獲得委員會中足夠多驗(yàn)證者的認(rèn)可才能提交到區(qū)塊鏈上。

還有一個概念叫經(jīng)濟(jì)確定性（Economic Finality），也就是說撤銷區(qū)塊所需的資金成本非常高。在使用罰沒機(jī)制的權(quán)益證明基礎(chǔ)系統(tǒng)（例如 Casper FFG，Tendermint）中，如果權(quán)益持有者在兩個（校注：相同高度的）區(qū)塊上都簽了名，那么他們所有的權(quán)益都會被沒收，這就是損害確定性的昂貴代價(jià)。例如，一個有 100 位權(quán)益持有者的網(wǎng)絡(luò)，每位權(quán)益持有者持有價(jià)值 100 萬美元的權(quán)益，那么整個網(wǎng)絡(luò)一共有價(jià)值 1 億美元的權(quán)益。 如果有兩個區(qū)塊出現(xiàn)在區(qū)塊鏈的同一高度，命名為 B 和 B'，此時(shí) B 獲得了 66％ 的權(quán)益持有者的投票（6600萬美元），B' 也獲得了 66％ 的投票（6600萬美元），那么 B 和 B' 的交集（至少有 33％ 惡意的權(quán)益持有者）將失去他們所有的權(quán)益（至少 3300 萬美元）。

2

CAP定理和確定性

看起來似乎絕對性確定比概率性確定更可行，但仍有一些基本權(quán)衡表明選擇支持概率性確定的區(qū)塊鏈更好?？紤]如何在概率性確定與拜占庭容錯確定性之間取得適當(dāng)?shù)钠胶鈺r(shí)，Eric Brewer 的 CAP 定理就發(fā)揮了作用。CAP 定理指出，在網(wǎng)絡(luò)分區(qū)的情況下，分布式系統(tǒng)只能滿足一致性或可用性。 滿足一致性的系統(tǒng)會停止運(yùn)行，不讓錯誤的交易通過。而滿足可用性的系統(tǒng)即使允許錯誤的交易通過也會繼續(xù)運(yùn)行 。一致性的系統(tǒng)具備拜占庭容錯確定性（校注：即絕對性確定），而可用性的系統(tǒng)具備概率性確定。

在支付的場景中，用戶通常會選擇概率性確定的區(qū)塊鏈所提供的可用性（這就是為什么許多基于 DAG 的協(xié)議都把重點(diǎn)放在支持支付上，因?yàn)檫@些協(xié)議都是支持可用性而非一致性），然而，許多區(qū)塊鏈平臺提供的不僅僅是支付，還支持以智能合約為基礎(chǔ)的去中心化應(yīng)用程序（DApp）。不同的 DApp 在確定性方面可能有不同的偏好：那些需要可行性的 DApp，哪怕交易信息不準(zhǔn)確也總會讓交易通過，更偏好概率性確定鏈；而傾向于一致性的 DApp，會讓整個應(yīng)用程序停止運(yùn)行以阻止不正確的交易通過，偏好絕對性確定鏈。因此，確定性從根本上影響了用戶體驗(yàn)。

3

權(quán)益證明共識中的確定性

在替代共識協(xié)議的元分析中，我們考量了一些主要的 PoS（權(quán)益證明）平臺對確定性的保證，包括 Tendermint，Thunderella，Algorand，Dfinity，Ouroboros Genesis，Casper FFG 和 Casper CBC。 在這里，我們將簡要概述這些平臺如何實(shí)現(xiàn)確定性，但決定采用哪種協(xié)議更重要的是整體考察，而不是僅僅考慮一個參數(shù)（這里指的是對確定性的保障）。

Tendermint：Tendermint 實(shí)現(xiàn)了絕對性確定。任何得到 ? 或以上的預(yù)投票和預(yù)提交的區(qū)塊都將被最終確定，并且此過程將無限期地繼續(xù)。除非 ? 或以上的驗(yàn)證者不響應(yīng)，導(dǎo)致網(wǎng)絡(luò)停止運(yùn)行。因此，Tendermint 更偏好一致性而非可用性。另外，當(dāng)權(quán)益證明的懲罰規(guī)則應(yīng)用在 Tendermint 時(shí)，Tendermint 協(xié)議還能實(shí)現(xiàn)經(jīng)濟(jì)確定性。

Thunderella：Thunderella 的快速路徑提供了絕對性確定。任何獲得公證的最大交易序列都被視為經(jīng)過完全確認(rèn)的輸出。如果 3/4 的快速路徑委員會是誠實(shí)且在線的，同時(shí)提議者也是誠實(shí)的，那么有效交易就能被即時(shí)確認(rèn)。然而，快速路徑確認(rèn)與一般的確定性不同，它是樂觀性確定。 一旦交易記錄在了基礎(chǔ)區(qū)塊鏈上，該交易就被完全確定，這種情況既可以是基于鏈的，也可以是基于拜占庭容錯的。但當(dāng)快速路徑發(fā)生問題時(shí)，Thunderella 會回退到基礎(chǔ)區(qū)塊鏈，因此 Thunderella 是優(yōu)先考慮可用性。

Algorand：Algorand 實(shí)現(xiàn)了概率性確定。只要攻擊者控制的協(xié)議貨幣價(jià)值低于總價(jià)值的 1/3，Algorand 就可以保證分叉幾乎是不可能的，從而允許協(xié)議以強(qiáng)同步方式運(yùn)行，使得每個區(qū)塊最終保持一致。而在弱同步中，Algorand 可能會發(fā)生分叉，但會使用 BA* 來決定選擇哪個分叉鏈。因此，當(dāng)協(xié)議恢復(fù)強(qiáng)同步時(shí)，Algorand 中的交易最后也能被最終確定。Algorand 優(yōu)先考慮一致性而非可用性，因?yàn)樗鼘幵府a(chǎn)生空白區(qū)塊，也不會犧牲一致性。

Dfinity：Dfinity 實(shí)現(xiàn)了概率性確定，其確定性的概率是隨著鏈上區(qū)塊權(quán)重的增加而增加。假設(shè)每一輪 r 的周期里我們會拒絕接收更多已公證的區(qū)塊。在此周期內(nèi)，我們可以最終確定第 r 輪，因?yàn)槲覀冎赖?r 輪已公證的區(qū)塊包含了第 r 輪之前的所有鏈上的交易。第 r 輪中，只要操作無誤就能保證近乎即時(shí)的確定性，經(jīng)過兩次確認(rèn)加上網(wǎng)絡(luò)傳輸延遲，對觀察者來說在第 r 輪里任何包含在區(qū)塊中的交易都是最終確定的。Dfinity 優(yōu)先考慮一致性，如果網(wǎng)絡(luò)分區(qū)形成大小幾乎相同的兩半，它會自動令隨機(jī)信標(biāo)（random beacon）暫停工作，不允許任何一半網(wǎng)絡(luò)繼續(xù)運(yùn)行。

Ouroboros Genesis：Genesis 協(xié)議可以根據(jù)其如何選取區(qū)塊鏈的規(guī)則實(shí)現(xiàn)概率性確定。具體規(guī)則是對于短距離攻擊（最多 k 個區(qū)塊，其中 k 是安全參數(shù)），則采用最長鏈原則；而對于長程攻擊（超過 k 個區(qū)塊），則采用充裕法則（plenitude rule），也就是說在當(dāng)前鏈發(fā)生分叉后即時(shí)查看時(shí)間段，然后選擇密度較高的鏈。

Casper FFG：Casper FFG 的目標(biāo)是為基于鏈的系統(tǒng)提供絕對/經(jīng)濟(jì)上的確定性，委員會按權(quán)益加權(quán)獲得 ? 大多數(shù)投票后簽署一個區(qū)塊，便能達(dá)到確定性。Casper FFG 的這種構(gòu)建方式，即使攻擊者控制了底層區(qū)塊鏈的提案機(jī)制，出現(xiàn)沖突的檢查點(diǎn)也永遠(yuǎn)無法被最終確定。但是，F(xiàn)FG 提供了安全性并且提案機(jī)制提供了活躍度，因此攻擊者可以通過延遲達(dá)成共識來阻止 Casper 確定未來的檢查點(diǎn)。FFG 是優(yōu)先考慮一致性的，因?yàn)樗辉试S在沒有 ? 驗(yàn)證者同意的情況下對檢查點(diǎn)進(jìn)行最終確定，否則確定無效。此外，F(xiàn)FG 還可以通過罰沒機(jī)制來實(shí)現(xiàn)經(jīng)濟(jì)確定性。

Casper TFG：TFG 通過具有不同容錯閾值的驗(yàn)證者來實(shí)現(xiàn)絕對性確定。也就是說，協(xié)議是異步安全和拜占庭容錯的，允許驗(yàn)證者具有不同的容錯閾值。

撤銷區(qū)塊可能導(dǎo)致數(shù)百萬美元的損失，或者影響到去中心化應(yīng)用的基本運(yùn)行。因此，對于構(gòu)建強(qiáng)健的區(qū)塊鏈平臺以及如何選擇開發(fā)應(yīng)用程序的平臺，確定性起著至關(guān)重要的作用。

到此，關(guān)于“區(qū)塊鏈共識的確定性是什么”的學(xué)習(xí)就結(jié)束了，希望能夠解決大家的疑惑。理論與實(shí)踐的搭配能更好的幫助大家學(xué)習(xí)，快去試試吧！若想繼續(xù)學(xué)習(xí)更多相關(guān)知識，請繼續(xù)關(guān)注創(chuàng)新互聯(lián)網(wǎng)站，小編會繼續(xù)努力為大家?guī)砀鄬?shí)用的文章！