麻豆国内精品欧美在线-麻豆国内精品久久久久久-麻豆国产在线观看一区二区-麻豆国产在线观看免费-麻豆国产原创-麻豆国产一区二区在线观看

今天，我刷卡買了一杯爽口的抹茶拿鐵。刷完卡，店家很篤定地為我做了這杯飲料。商戶確信這筆交易已經成功了，錢不會再原路返回到我的卡上，而是妥妥地進入他們的戶頭。換句話說，購買已經終結。不過實際上，信用卡的交易非常復雜，信用卡交易需要在60天時才能最終完成，小額交易商家還可以接受刷卡消費，但大額交易，更愿意接受支票或電匯。只有現金交易可即時實現「終結」。

在區塊鏈的場景中，終結性「finality」是指一旦提交到區塊鏈，所有格式正確的區塊都不會被撤銷。當用戶進行交易時，他們希望一旦其交易通過，交易就不會被任意更改或回滾。因此，在設計區塊鏈共識協議時，終結性就顯得至關重要。

區塊被撤銷可能會帶來數百萬美元的損失，或者對去中心化應用程序中的基本操作造成影響。因此，理解終結性對于構建穩健的區塊鏈平臺、選擇在何種平臺之上開發應用程序至關重要。

在目前基于中本聰共識的系統中，51%攻擊和私下進行的采礦行為有可能允許區塊被撤銷，從而威脅到系統的健康。例如，如果一個惡意行動者能夠積累51%的采礦力量，他可以進行雙花攻擊。有些協議提供了概率上的「終結性」，而其他協議則可以保證絕對的「終結性」。

對「終結性」進行分類

「概率上的終結性」是指，基于區塊鏈的協議提供的終結性，比特幣的中本聰共識就屬于此類。在這種情況下，包含交易的區塊在鏈中下沉越深，交易不被回滾的概率就越大。區塊越深，包含該區塊的分叉越可能是最長的鏈條。這就是為什么在比特幣區塊鏈上，我們會建議等到一個交易獲得六個區塊確認時再確定其真實性，也就是說，等上大約一個小時的時間再完成交易，這樣就能確保交易被回滾的可能性非常低了。

「絕對終結性」是指基于實用拜占庭容錯PBFT的協議提供的終結性，Tendermint是其中的代表。在這種情況下，交易一旦包含在區塊中并添加到區塊鏈上，就會立即被認為已經最終完成。在這種情況下，領先者將提出一個區塊，而驗證委員會需要在批準這個區塊方面達成多數一致。

還有一種「經濟終結性」的概念，在這種概念中，一個區塊的回滾成本會非常高昂。在使用削減機制比如Casper FFG和Tendermint的權益證明PoS系統中，如果一個股權持有人在兩個區塊上雙重標記，他們的整個股權都可能被削減，也要是說，他們要為損害終結性付出極其昂貴的代價。例如，如果一個網絡上有100個股權持有人，每個人都已經投入了100萬美元，那么現有的股份總額就是1億美元。如果在同一高度提出了兩個區塊，比如B和B'，66%的股權持有人投票給B6600萬美元，66%的人投給B'6600萬美元，那么至少33%的股權持有人存有惡意，而這意味著損失至少為3300萬美元。

CAP定理和終結性

雖然看起來絕對終結性比概率上的終結性更可取，但是在進行挑選時，仍然存在一些基本的權衡。

在考慮概率和基于拜占庭容錯BFT的終結性之間進行權衡時，使用Eric Brewer的「CAP定理」很有用。

CAP定理指出，在分區的情況下，分布式系統只能要么保留一致性，要么保留可用性。保留一致性的系統寧可中止，也不會允許不準確的交易通過。而保留可用性的系統會允許不準確的交易通過，自身也會繼續存在。偏好一致性的系統提供拜占庭容錯終結性，而偏好可用性的系統提供概率上的終結性。

左圖：偏好一致性的系統；右圖：偏好可用性的系統

在進行支付時，用戶經常會選擇概率上終結性的協議，這就是為什么許多基于有向無環圖DAG、支持可用性，而非一致性的協議，會把重點放在支持支付上。然而，許多區塊鏈平臺提供的不僅僅是支付功能，還包括由智能合約支持的DApp。不同的DApp在最終性方面可能有不同的偏好：那些需要可用性的DApp，如果交易在哪怕并不準確時也總是能夠通過，會更偏好概率上終結性的方式；傾向于一致性的DApp，在出現不準確的交易時整個應用程序為之中止，這也是可取的，這種應用會更偏好絕對終結性的方式。所以說，終結性從根本上影響用戶體驗。

PoS共識中的終結性

以下是我們對一些主要的PoS平臺進行的分析；

Tendermint

Tendermint實現了絕對終結性。任何在預投票或預提交中得到2/3以上票數的區塊都可實現即時終結。這一過程持續進行下去，直到達1/3或以上的驗證人不再做出積極反應，在這種情況下網絡會暫時中斷，由此可見，Tendermint對一致性的青睞要超過了可用性。在對Tendermint應用PoS削減規則時，該協議也實現了經濟終結性。

Thunderella

Thunderella的快速路徑提供了絕對終結性。任何獲得公證的最大交易序列都可以被視為經過確認的輸出。如果大于3/4的快捷路徑委員會成員誠實且在線，申請人也是誠實的，那么有效交易可即時確認。然而，快速路徑確認不同于整體的終結性，它是一種理想條件下的終結性。交易一旦被記錄在基礎區塊鏈上，就會完全確認，這既可以架設在鏈上，也可以基于BFT算法。Thunderella在快速路徑失敗的情況下會推到基礎區塊鏈，由此可見，它優先考慮可用性。

Algorand

只要攻擊者控制該協議的貨幣價值不足總價值的1/3，Algorand就可以保證分叉的概率可以忽略不計，從而允許協議以強同步方式運行，使得每個區塊達成最終協議。在弱同步中，Algorand可能會分叉，但要使用拜占庭協議BA*來協商選擇哪個分叉。這樣一來，當協議恢復到強同步時，Algorand中的交易會最終確定。Algorand優先考慮一致性而非可用性，在不能接受候選區塊時，寧愿選擇生成空區塊。

Ouroboros Genesis

Genesis可以根據其區塊鏈的選擇規則，實現概率上的終結。這個規則為對于短程最多k個區塊，其中k是安全參數，遵循最長鏈；對于長程超過k個區塊用充分性規則plenituderule，意味著在當前鏈分叉后即時查看時間段，并選擇更高密度的鏈。

Casper FFG

Casper FFG旨在為基于區塊鏈的系統提供絕對/經濟上的終結性，在委員會按股權加權獲得了2/3以上絕對多數，即可簽署區塊。Casper FFG使用這種構建方式，即使攻擊者控制了底層區塊鏈的提案機制，出現沖突的檢查點也不可能最終完成。但是，由于FFG提供了安全性，而提案機制提供了活躍度，因此對手可以拖延共識來阻止Casper最終完成未來的檢查點。FFG優先考慮一致性，因為它不允許在未獲超過2/3的驗證者同意的情況下完成檢查點。FFG還允許通過削減機制實現經濟上的終結。

Casper TFG

Casper TFG通過具有不同容錯閾值的驗證者，實現絕對終結。也就是說，其協議是異步安全的拜占庭容錯，允許驗證者具有不同的容錯閾值。