交易排序中完美公平的不可行性
探討康多塞悖論如何揭示區塊鏈共識中完美公平的限制。
在分散系統的研究中，尤其是[拜占庭共識](https://en.wikipedia.org/wiki/Byzantine_fault)和[狀態機複製(SMR)](https://en.wikipedia.org/wiki/State_machine_replication)，幾十年來主要集中於兩個目標：一致性和活躍性。一致性意味著所有節點對相同的交易序列達成共識，而活躍性則確保系統持續添加新的交易。然而，這些特性並不能阻止壞人改變收到的交易順序。
在公共區塊鏈中，傳統共識保證的這一缺口已成為一個嚴重問題。[驗證者](https://cointelegraph.com/explained/what-is-a-blockchain-validator)、[區塊建設者](https://cointelegraph.com/explained/block-size-and-scalability-explained)或[序列器](https://www.bitstamp.net/learn/blockchain/what-are-blockchain-sequencers/)可以利用他們在區塊排序中的特權角色來獲取經濟利益，這種行為被稱為最大可提取價值（[MEV](https://cointelegraph.com/learn/articles/what-is-mev-ethereums-invisible-tax)）。這種操控包括獲利的前置交易、後置交易和夾擊交易。由於交易執行順序決定了去中心化金融（DeFi）應用中的有效性或盈利性，因此交易排序的完整性對於維護公平性和信任至關重要。
為了解決這一關鍵的安全缺口，交易順序公平性被提出作為第三個基本共識特性。[公平排序協議](https://arxiv.org/html/2411.09981v1)確保交易的最終順序取決於外部客觀因素，如到達時間（或接收順序），並抵抗敵對的重新排序。通過限制區塊提議者重新排序交易的權力，這些協議使區塊鏈更接近於透明、可預測和抗MEV的狀態。
康多塞悖論與理想公平性的不可行性
最直觀和強烈的公平性概念是[接收順序公平性（ROF）](https://eprint.iacr.org/2020/269.pdf)。ROF非正式地定義為“先接收、先輸出”，這意味著如果足夠多的交易（_tx_）在大多數節點上比另一個交易（_tx’）更早到達，則系統必須在執行時將_tx_排在_tx’_之前。
然而，除非假設所有節點可以即時通信（即在瞬時同步的外部網絡中運行），否則實現這種普遍接受的“順序公平”是根本不可能的。這一不可行性的結果源於社會選擇理論中的一個驚人聯繫，特別是康多塞悖論。
康多塞悖論表明，即使每個節點都保持交易的傳遞內部排序，系統的集體偏好也可能導致所謂的非傳遞循環。例如，可能大多數節點在交易_A_之前接收到_B_，大多數在_B_之前接收到_C_，而大多數又在_C_之前接收到_A_。因此，這三個主要偏好形成了一個循環（_A_→_B_→_C_→_A_）。這意味著，對於交易A、B和C，永遠不可能滿足所有主要偏好的單一一致排序。
這一悖論展示了在[非同步網絡](https://link.springer.com/chapter/10.1007/978-3-319-56614-6_22)或即使在共享公共時鐘的[同步網絡](https://www.sciencedirect.com/topics/computer-science/synchronization-network)中，如果外部網絡延遲過長，完美實現接收順序公平的目標是不可行的。這一不可行性要求採用較弱的公平性定義，如批次順序公平性。
Hedera Hashgraph與中位時間戳的缺陷
Hedera使用Hashgraph共識算法，旨在近似強接收順序公平性（ROF）。它通過將每個交易的最終時間戳計算為所有節點對該交易的本地時間戳的中位數來實現。
然而，這本質上容易受到操控。單個惡意節點可以故意扭曲其本地時間戳，並顛倒兩個交易的最終排序，即使所有誠實參與者按正確順序接收到它們。
考慮一個簡單的例子，有五個共識節點（A、B、C、D和E），其中節點E惡意行為。兩個交易，tx₁和tx₂，廣播到網絡。所有誠實節點在tx₂之前接收到tx₁，因此預期的最終順序應該是tx₁ → tx₂。
在這個例子中，對手為tx₁分配了一個較晚的時間戳（3），而tx₂則分配了一個較早的時間戳（2）來扭曲中位數。
當協議計算中位數時：
* 對於tx₁，時間戳（1、1、4、4、3）產生的中位數為3。
* 對於tx₂，時間戳（2、2、5、5、2）產生的中位數為2。
由於tx₁的最終時間戳（3）大於tx₂（2），協議輸出tx₂ → tx₁，從而顛倒了所有誠實節點觀察到的真實順序。
這個簡單的例子展示了一個關鍵缺陷：中位數函數雖然看似中立，但實際上是造成不公平的根本原因，因為即使是單個不誠實的參與者也可以利用它來偏向最終交易順序。
因此，Hashgraph所宣稱的“公平時間戳”實際上是一種相當脆弱的公平概念。Hashgraph共識未能保證接收順序公平，而是依賴於授權的驗證者集，而不是基於密碼學的保證。
實現實際保證
然而，為了繞過康多塞所展示的理論不可能性，實際的公平排序方案必須以某種方式放寬公平性的定義。
[Aequitas協議](https://eprint.iacr.org/2020/269.pdf)引入了[區塊順序公平性（BOF）](https://eprint.iacr.org/2020/269.pdf)或批次順序公平性。BOF規定，如果足夠多的節點在另一個交易tx’之前接收到交易tx，則tx必須在tx’之前或同時在一個區塊中交付，這意味著沒有誠實節點可以在tx之後的區塊中交付tx’。這將規則從“必須在之前交付”（ROF的要求）放寬到“必須不遲於交付”。
考慮三個共識節點（A、B和C）和三個交易：tx₁、tx₂和tx₃。如果至少三個節點（多數）首先觀察到某個交易，則該交易被視為“更早接收”。
如果我們應用多數投票來確定全局順序：
* tx₁ → tx₂（A和C同意）
* tx₂ → tx₃（A和B同意）
* tx₃ → tx₁（B和C同意）
這些偏好創造了一個循環：tx₁ → tx₂ → tx₃ → tx₁。在這種情況下，沒有單一的順序可以同時滿足每個人的觀點，這意味著嚴格的ROF是不可能實現的。
BOF通過將所有衝突的交易分組到同一批次或區塊中來解決這一問題，而不是強迫一個交易在另一個交易之前。協議簡單地輸出：
區塊B₁ = {tx₁, tx₂, tx₃}
這意味著，從協議的角度來看，所有三個交易被視為同時發生。在區塊內，確定性的決策者（如哈希值）決定它們的執行順序。這樣，BOF確保了每對交易的公平性，並保持最終交易日誌對每個人都是一致的。每個交易的處理不遲於前一個交易。
這一小但重要的調整使協議能夠處理交易排序衝突的情況，通過將這些衝突的交易分組到同一區塊或批次中。重要的是，這不會導致部分排序，因為每個節點仍然必須就一個單一的線性交易序列達成一致。每個區塊內的交易仍然按照固定順序執行。在沒有此類衝突的情況下，協議仍然實現了更強的ROF特性。
雖然Aequitas成功實現了BOF，但它面臨著重大限制，特別是它的通信複雜性非常高，並且只能保證弱活躍性。弱活躍性意味著只有在整個康多塞循環完成後，交易的交付才有保證。如果循環“鏈接在一起”，這可能需要任意長的時間。
[Themis協議](https://dl.acm.org/doi/pdf/10.1145/3576915.3616658)被引入以強制執行相同的強BOF屬性，但改善了通信複雜性。Themis通過三種技術實現這一點：批次解開、延遲排序和更強的內部批次保證。
在其標準形式中，Themis要求每個參與者與網絡中大多數其他節點交換消息。所需的通信量隨著網絡參與者數量的平方增長。然而，在其優化版本SNARK-Themis中，節點使用簡潔的密碼證明來驗證公平性，而不需要直接與每個其他參與者通信。這減少了通信負擔，使其僅隨著線性增長，從而使Themis在大型網絡中高效擴展。
假設五個節點（A–E）參與共識，接收到三個交易：tx₁、tx₂和tx₃。由於網絡延遲，它們的本地順序不同：
如同Aequitas，這些偏好創造了一個康多塞循環。但Themis並不等待整個循環的解決，而是使用批次解開的方法來保持系統運行。它識別出所有參與循環的交易，並將它們分組為一個集合，稱為強連通組件（SCC）。在這種情況下，所有三個交易都屬於同一SCC，Themis將其輸出為一個進行中的批次，標記為批次B₁ = {tx₁, tx₂, tx₃}。
通過這樣做，Themis允許網絡在Batch B₁的內部順序仍在最終確定的同時繼續處理新交易。這確保了系統保持活躍，避免停滯。
概述：
交易排序中的完美公平性概念似乎很簡單。誰的交易首先到達網絡，誰就應該首先被處理。然而，正如康多塞悖論所示，這一理想在現實的分散系統中無法成立。不同的節點以不同的順序看到交易，當這些觀點衝突時，沒有協議能夠在不妥協的情況下建立一個單一的、普遍“正確”的序列。
Hedera的Hashgraph試圖用中位時間戳來近似這一理想，但這種方法更多地依賴於信任而非證明。單個不誠實的參與者可以扭曲中位數並翻轉交易順序，揭示“公平時間戳”並不真正公平。
像Aequitas和Themis這樣的協議推進了討論，承認了可以實現和不能實現的目標。它們不再追求不可能的理想，而是以某種方式重新定義公平性，仍然在真實網絡條件下保持順序完整性。所產生的不是對公平的拒絕，而是其進化。這一進化清晰地劃分了感知公平與可證明公平之間的界限。它表明，在去中心化系統中，真正的交易順序完整性不能依賴於聲譽、驗證者信任或授權控制，而必須來自於嵌入協議本身的密碼學驗證。
這篇文章不包含投資建議或推薦。每一項投資和交易行為都涉及風險，讀者在做出決策時應進行自己的研究。
這篇文章僅供一般信息用途，並不打算作為法律或投資建議。這裡表達的觀點、思想和意見僅代表作者本人，並不一定反映或代表Cointelegraph的觀點和意見。
Cointelegraph不支持本文的內容或提到的任何產品。讀者在對任何提到的產品或公司採取行動之前應進行自己的研究，並對自己的決策承擔全部責任。
以上文章由特價GPT API KEY所翻譯及撰寫。而圖片則由FLUX根據內容自動生成。
