3.1 隨機過程與法定人數形成
節點發現工作量證明解（「投票」）被建模為一個速率為 $\lambda$ 的泊松過程。在時間間隔 $\Delta$ 內，發現的解的數量遵循泊松分佈。「法定人數」被定義為在特定窗口內找到解的節點集合。這個法定人數的大小是一個隨機變數 $Q$。
1. 簡介
比特幣的中本聰共識雖然具有革命性，但卻在包容性（允許任何參與者加入）和安全性（防止惡意行為者控制網路）之間引入了根本性的緊張關係。這種衝突體現在缺乏最終性——即交易的不可逆確認。像比特幣這樣的傳統工作量證明區塊鏈僅提供機率性的最終一致性，交易的確認隨著時間推移而變得更加確定，但永遠不是絕對最終的。這種限制阻礙了它們在高價值、時間敏感的應用中的使用。
HotPoW 解決了這個核心問題。它提出了一種在中本聰式共識（無許可、基於工作量證明）和拜占庭容錯共識（提供快速最終性但需要已知參與者）之間的新穎橋樑。該協定透過一個新的理論建構來實現這一點：工作量證明法定人數。
2. 包容性與安全性衝突及其解決方案
本文指出了一個核心困境：為了具有包容性，協定必須允許輕鬆進入（低女巫攻擊抵抗力），但為了安全，它必須使協調攻擊成本高昂。中本聰共識使用計算工作量證明作為新身份的速率限制器，創建了一個隨機的領導者選舉。然而，這個過程很慢，並且只提供機率性的安全性。
HotPoW 的解決方案是不僅將工作量證明用於領導者選舉，而是用於形成臨時的、隨機的法定人數。這些法定人數是在特定時間窗口內證明了計算工作量的節點群組。關鍵的洞見是，對於給定的安全參數，從泊松過程（模擬工作量證明解發現）中抽樣出的足夠大的法定人數將是實質上唯一的。這種唯一性使得法定人數能夠作為一個可信賴的投票委員會，用於拜占庭容錯風格的最終性回合，而無需預先註冊的身份。
核心洞見
將女巫攻擊抵抗力與共識最終性解耦。工作量證明提供抗女巫攻擊的委員會形成，而在該委員會之上運行的流水線式拜占庭容錯協定則提供快速、確定性的最終性。
3. 工作量證明法定人數理論
本節將從隨機過程中產生的法定人數概念形式化。
3.2 隨機唯一性與安全參數
該理論證明，對於目標法定人數大小 $k$ 和安全參數 $\epsilon$，兩個獨立抽樣的大小 $\geq k$ 的法定人數不相交的機率以 $\epsilon$ 為界。這就是隨機唯一性特性。它保證了攻擊者無法輕易透過為同一時隙創建一個競爭性的、有效的法定人數來分叉鏈，因為組建一個足夠大且不與誠實法定人數重疊的法定人數的機率可以忽略不計。參數 $k$ 是從 $\lambda$、$\Delta$ 和所需安全等級推導出來的。
4. HotPoW 協定
HotPoW 將該理論實例化為一個可運作的協定。
4.1 協定設計與三階段提交
HotPoW 採用了來自 HotStuff 拜占庭容錯的流水線式三階段提交（準備、預提交、提交）。然而，投票者不是一個靜態委員會，而是每個階段的投票者是該紀元的工作量證明法定人數的成員。一個領導者提出一個區塊。為準備、預提交和提交階段順序形成的工作量證明法定人數的成員對該提案進行投票。一旦一個區塊獲得了提交階段法定人數的超級多數票，它就會被立即最終化。這提供了可預測的、快速的最終性，不同於最長鏈規則中不斷增長的確認深度。
4.2 擴展性與無許可運作
該協定保持無許可。任何人都可以透過解決工作量證明難題來參與。法定人數的形成會根據網路參與情況自動調整。通訊複雜度在法定人數大小上是線性的（$O(k)$），類似於區塊鏈傳播，並且比二次方的拜占庭容錯協定更具擴展性。它避免了基於側鏈的最終性解決方案的複雜性和開銷。
5. 模擬與評估結果
本文透過模擬評估了 HotPoW 在網路延遲、節點變動（節點加入/離開）和針對性攻擊下的表現。
- 延遲容忍度：在現實的網路延遲模型下，該協定保持了一致性和活性，因為法定人數抽樣窗口 $\Delta$ 可以調整以適應傳播時間。
- 攻擊韌性：針對旨在分裂法定人數的敵對策略（例如，延遲訊息）的模擬顯示，HotPoW 的最終性安全性在機率上成立，失敗機率以安全參數 $\epsilon$ 為界。
- 開銷：儲存和通訊開銷僅略高於普通的中本聰共識，主要是由於在區塊旁邊儲存法定人數投票，但顯著低於分層側鏈方法。
圖 1 分析（概念性）：該 PDF 圖對比了多數派/少數派陣營的指數分佈與伽瑪分佈。HotPoW 的法定人數抽樣類似於伽瑪過程（右側面板），隨著時間推移，在誠實多數派和攻擊者形成有效法定人數的機率之間創造了更清晰的區隔，提供了「安全邊際」。這優於基本工作量證明中使用的簡單指數模型（左側），後者的尾部重疊更多，導致最終性保證較弱。
6. 技術細節與數學框架
安全性分析依賴於泊松過程的特性。設 $N(t)$ 為誠實節點在時間 $t$ 之前發現的工作量證明解（投票）數量，速率為 $\lambda_h$。攻擊者的速率為 $\lambda_a < \lambda_h$（誠實多數假設）。
攻擊者能夠在時間 $\Delta$ 內創建一個大小為 $k$ 且不與大小為 $m$ 的誠實法定人數重疊的法定人數的機率，以泊松分佈的尾部為界：
$P(\text{攻擊者唯一法定人數} \geq k) \leq \sum_{i=k}^{\infty} \frac{e^{-\lambda_a \Delta}(\lambda_a \Delta)^i}{i!} \cdot F(m, i)$
其中 $F(m,i)$ 是一個代表零重疊機率的組合項。透過適當設定 $k$、$m$ 和 $\Delta$，可以使這個機率呈指數級小（$\epsilon$）。然後，流水線式的 HotStuff 邏輯確保如果形成了一個唯一的提交法定人數，該區塊就是最終的。
7. 分析框架與案例示例
比較最終性機制的框架：
- 最終性來源：是機率性的（中本聰）還是確定性的（拜占庭容錯）？HotPoW 是在法定人數形成後確定性的。
- 委員會形成：靜態的（實用拜占庭容錯）、選舉的（委託權益證明）還是隨機的（HotPoW）。HotPoW 使用基於工作量證明的隨機形成。
- 女巫攻擊抵抗機制：身份（許可制）、質押（權益證明）、工作量（工作量證明）。HotPoW 使用工作量證明。
- 通訊複雜度：$O(n^2)$（經典拜占庭容錯）對比 $O(n)$（區塊鏈，HotPoW）。
案例示例 - 攻擊情境：一個擁有 30% 算力的攻擊者試圖進行雙花攻擊。在比特幣中，他們嘗試進行深度重組。在 HotPoW 中，他們必須要么 1) 主導工作量證明競爭以控制準備、預提交、提交的連續法定人數（在算力 <50% 的情況下非常困難），要么 2) 創建一個單獨的、足夠大的提交法定人數，且不與誠實法定人數重疊。隨機唯一性理論顯示 (2) 的機率可以忽略不計（$\epsilon$）。因此，攻擊失敗，原始交易在一個提交階段後保持最終性。
8. 應用前景與未來方向
潛在應用：
- 高價值結算：需要在幾秒內具有法律約束力最終性的金融資產結算。
- 跨鏈橋：為鏈間最小化信任的橋提供安全、最終化的檢查點。
- 受監管的去中心化金融：需要清晰、不可逆的交易狀態以符合監管要求的協定。
未來研究方向：
- 能源效率：探索混合模型，其中用於法定人數形成的工作量證明比傳統挖礦強度低。
- 動態參數調整：根據觀察到的網路算力和延遲自動調整 $\Delta$ 和 $k$ 的演算法。
- 形式化驗證：對結合隨機法定人數和拜占庭容錯提交邏輯的全面形式化模型和驗證。
- 與其他機制的整合：探索工作量證明法定人數如何與權益證明或資料可用性取樣互動。
9. 參考文獻
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Yin, M., Malkhi, D., Reiter, M. K., Gueta, G. G., & Abraham, I. (2019). HotStuff: BFT Consensus with Linearity and Responsiveness. Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC '19).
- Garay, J., Kiayias, A., & Leonardos, N. (2015). The Bitcoin Backbone Protocol: Analysis and Applications. EUROCRYPT 2015.
- Buterin, V., & Griffith, V. (2017). Casper the Friendly Finality Gadget. arXiv preprint arXiv:1710.09437.
- Buchman, E. (2016). Tendermint: Byzantine Fault Tolerance in the Age of Blockchains. PhD Thesis.
- Keller, P., & Böhme, R. (2020). HotPoW: Finality from Proof-of-Work Quorums. arXiv:1907.13531v3 [cs.CR].
- Pass, R., & Shi, E. (2017). The Sleepy Model of Consensus. ASIACRYPT 2017.
- Baird, L., Harmon, M., & Madsen, P. (2019). Hedera Hashgraph: A Fair, Fast, Secure Distributed Ledger. Whitepaper.
10. 專家分析與批判性評論
核心洞見：HotPoW 不僅僅是另一個共識調整；它是對無許可系統中信任平面的根本性重新架構。本文正確地診斷了中本聰共識核心的「包容性 vs. 安全性」癌症——這種權衡迫使開發者必須在比特幣的堅固去中心化和像 Diem（前 Libra）所依賴的許可制拜占庭容錯鏈的快速最終性之間做出選擇。他們的解決方案，隨機工作量證明法定人數，在智力上是優雅的。它不將工作量證明本身視為一種共識機制，而是將其視為形成臨時拜占庭容錯委員會的密碼學抽籤工具。這反映了在 Algorand 的權益證明抽籤中看到的哲學轉變，但將其建立在經過實戰考驗、抗 ASIC（如果不節能的話）的工作量證明世界中。與 HotStuff 流水線式拜占庭容錯的連接是務實的天才之舉，它提升了一個經過驗證的、線性複雜度的最終性引擎，並將其置於動態生成的、抗女巫攻擊的基礎之上。
邏輯流程：論證以引人注目的清晰度進行：1) 識別最終性差距，2) 提出一個計算工作換取委員會成員資格的理論，3) 證明這個委員會是唯一可信賴的（隨機唯一性），4) 將一個現代的拜占庭容錯協定（HotStuff）置於其上。模擬結果雖然不是來自即時網路，但令人信服地顯示了該協定在壓力下保持穩定。與基於側鏈的最終性（如 Bitcoin-NG 或更早的提案）的比較是一個關鍵優勢——HotPoW 實現了相同的目標，而無需管理多個相互交織的鏈的龐大複雜性，這種複雜性一直困擾著像 Cosmos IBC 安全模型這樣的項目，正如他們自己關於跨鏈安全的文件中所指出的那樣。
優勢與缺陷：主要優勢是概念上的統一。它橋接了兩個歷史上分離的研究領域。性能概況——O(n) 通訊、快速最終性——在理論上優於傳統的拜占庭容錯和最長鏈工作量證明。然而，缺陷也很顯著。首先，能源消耗問題被輕描淡寫，但在後 ESG 時代，任何新的工作量證明提案都面臨著艱難的戰鬥。其次，參數敏感性令人擔憂。安全參數 $\epsilon$ 關鍵取決於對誠實與敵對算力（$\lambda_h$，$\lambda_a$）的準確估計。攻擊者可能暫時飆升算力（透過租賃市場進行「閃電攻擊」，如 Eyal 和 Sirer 在「自私挖礦」分析中所討論的），以在關鍵的法定人數形成窗口期間違反誠實多數假設，可能破壞最終性。這比傳統的工作量證明風險更嚴重，在傳統工作量證明中，這種攻擊只影響幾個區塊。第三，低參與度下的活性不明確——如果沒有足夠的節點費心解決工作量證明難題以形成大小為 $k$ 的法定人數，會發生什麼？協定可能會停滯。
可操作的見解：對於研究人員來說，立即的下一步是在像通用可組合性模型這樣的框架中形式化結合隨機/拜占庭容錯的模型，以精確量化其在自適應腐敗下的安全性。對於工程師來說，需要一個測試網實現來驗證現實世界的延遲假設。對於投資者和建設者來說，HotPoW 為一類新的「重型」帳本提供了一個引人注目的藍圖，適用於央行數位貨幣或機構結算，這些應用最終性是不可協商的，但又希望具有無許可的可審計性。然而，它並不是以太坊或比特幣的即插即用替代品。它的利基在於目前依賴複雜的、可信的最終性小工具或聯盟側鏈的應用。最終的考驗將是其優雅的理論能否經受住全球性、敵對性網路的混亂現實——這個現實已經讓許多美麗的區塊鏈設計蒙羞。