素材來源：Matthieu Rambaud, Télécom Paris

改編作者：佚名，幣界網(wǎng)

報告摘要

本報告探討了區(qū)塊鏈共識協(xié)議的發(fā)展現(xiàn)狀，重點分析了異步拜占庭容錯狀態(tài)機復制（BFT SMR）協(xié)議的最新進展。當前最為快速的異步協(xié)議是2-chain VABA，但由于其存在漏洞，使得其9.5δ的預期延遲未能實現(xiàn)。因此，sMVBA成為目前最快的異步MVBA協(xié)議，預期延遲為10δ。報告還提出了兩種新的協(xié)議設計，即2PAC（2階段異步共識）和超快速流水線區(qū)塊，展現(xiàn)了在吞吐量和延遲方面的顯著改進。

區(qū)塊鏈技術作為一種去中心化的分布式賬本技術，通過共識機制確保數(shù)據(jù)的完整性和一致性。共識機制是區(qū)塊鏈系統(tǒng)的核心，其性能直接影響區(qū)塊鏈的可擴展性和安全性。異步拜占庭容錯（BFT）共識機制在應對網(wǎng)絡延遲和部分節(jié)點失效方面具有獨特優(yōu)勢，因此成為研究的重點。

模型與定義

在異步BFT模型中，系統(tǒng)由n = 3f + 1個進程組成，其中f個進程可能被對手惡意破壞。這些進程通過異步通道相互通信，消息的傳遞延遲由對手控制。每個進程擁有一對公私鑰用于簽名和驗證，確保消息的真實性和完整性。

區(qū)塊鏈共識

區(qū)塊鏈共識協(xié)議旨在使得所有誠實節(jié)點就區(qū)塊鏈的狀態(tài)達成一致。具體來說，每個節(jié)點不斷接收新的交易，并將其打包成區(qū)塊，通過共識協(xié)議確保這些區(qū)塊在所有誠實節(jié)點上達成一致。區(qū)塊鏈共識協(xié)議需要滿足以下幾個基本要求：

活性（Liveness）：在無限執(zhí)行中，存在一條無限長的已決定區(qū)塊鏈。

一致性（Consistency）：如果存在兩條已決定區(qū)塊鏈，則其中一條必須是另一條的前綴。

P質(zhì)量（P-Quality）：在已決定區(qū)塊鏈中，由誠實節(jié)點輸入的交易占比至少為p。

當前異步共識協(xié)議的挑戰(zhàn)

當前最為快速的異步共識協(xié)議是2-chain VABA，其預期延遲為9.5δ。然而，我們發(fā)現(xiàn)該協(xié)議存在多種攻擊方式，破壞了其一致性和活性。例如，缺乏檢查認證導致的攻擊，利用提升策略阻礙活性的攻擊，以及放寬領導者認證定義導致的一致性攻擊等。盡管2-chain VABA引入了一些新的機制，如多平行實例并行運行，但仍未能完全解決這些問題。

新協(xié)議設計：2PAC（2階段異步共識）

基于對現(xiàn)有協(xié)議的分析，我們提出了2PAC協(xié)議。該協(xié)議通過簡化和優(yōu)化共識過程，顯著提高了性能。具體包括兩個變種：

2PAClean：

實現(xiàn)了+90%的吞吐量和9.5δ的預期延遲，消息復雜度為O(n2)。

通過消除不必要的交互和計算開銷，提高了協(xié)議的效率。

2PACBIG：

是目前消息復雜度為O(n3)的最快區(qū)塊鏈共識協(xié)議。

無故障的單次MVBA運行時間為4δ，極大地降低了延遲。

超快速流水線區(qū)塊

我們提出了一種新的流水線區(qū)塊設計，顯著減少了流水線區(qū)塊的延遲。通過引入快速路徑機制，在公平調(diào)度器下，流水線區(qū)塊的決策時間甚至比非流水線區(qū)塊還要小。該機制在所有執(zhí)行中都能保證快速路徑的延遲，并且不受故障進程的行為影響。

量化結(jié)果

通過理論分析和實際測試，2PAClean在最壞情況下的預期延遲為9.5δ，而在良好情況下（無故障且調(diào)度器半公平）則為6δ。相比之下，sMVBA的預期延遲為10δ，良好情況下為6δ。因此，2PAClean在保持相同良好情況延遲的前提下，將最壞情況延遲減少了0.5δ。此外，2PAClean的吞吐量相比鏈式sMVBA提高了80%至100%，主要歸因于新設計中避免了不必要的區(qū)塊丟棄和計算開銷。

2PACBIG作為消息復雜度為O(n3)的協(xié)議，其單次MVBA運行時間為4δ，比現(xiàn)有的所有協(xié)議都更快。此外，超快速流水線區(qū)塊設計使得s2PAClean和s2PACBIG分別實現(xiàn)了4δ和3δ的流水線區(qū)塊決策時間，進一步提升了協(xié)議的性能。

計算評估

為了驗證新協(xié)議的性能，我們進行了廣泛的計算評估。結(jié)果顯示，2PAClean和2PACBIG在各種網(wǎng)絡條件下都表現(xiàn)出優(yōu)異的性能，特別是在高延遲和高故障率的環(huán)境中。具體來說，2PAClean在消息傳遞延遲和計算復雜度之間實現(xiàn)了良好的平衡，而2PACBIG則通過并行化和優(yōu)化投票過程，實現(xiàn)了更低的延遲。

隨著區(qū)塊鏈技術的不斷發(fā)展，異步BFT共識協(xié)議將在保障安全性和提高性能方面發(fā)揮越來越重要的作用。2PAC和超快速流水線區(qū)塊的設計展示了未來區(qū)塊鏈共識協(xié)議的發(fā)展方向，即通過簡化協(xié)議結(jié)構和優(yōu)化共識過程，實現(xiàn)更高的吞吐量和更低的延遲。

未來的研究可以進一步探索以下幾個方向：

協(xié)議優(yōu)化：進一步簡化和優(yōu)化協(xié)議結(jié)構，減少不必要的消息傳遞和計算開銷。

安全性分析：深入分析新協(xié)議在各種攻擊場景下的安全性，確保其在實際應用中的可靠性。

實際應用：將新協(xié)議應用于實際的區(qū)塊鏈系統(tǒng)中，驗證其在真實網(wǎng)絡環(huán)境中的性能。

本報告詳細分析了當前異步區(qū)塊鏈共識協(xié)議的優(yōu)缺點，并提出了兩種新的協(xié)議設計，即2PAC和超快速流水線區(qū)塊。新設計在提高吞吐量和減少延遲方面表現(xiàn)出顯著優(yōu)勢，為未來的區(qū)塊鏈技術發(fā)展提供了重要參考。這些新協(xié)議不僅在理論上證明了其優(yōu)越性，還在實際測試中展示了卓越的性能，為實現(xiàn)高效、安全的區(qū)塊鏈共識協(xié)議提供了新的思路。

通過不斷的研究和優(yōu)化，我們有理由相信，區(qū)塊鏈技術將在未來的數(shù)字經(jīng)濟中發(fā)揮更加重要的作用，而新一代的共識協(xié)議將為這一技術的發(fā)展提供堅實的基礎。