什么是區(qū)塊鏈的確定性？

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

確定性的類型

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

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

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

CAP 定理與確定性

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

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

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

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

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

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

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

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

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

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

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

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