[论文解读] Cryptocurrencies without Proof of Work

Iddo Bentov, Ariel Gabizon+1 more|arXiv (Cornell University)|Jun 22, 2014

Blockchain Technology Applications and Security参考文献 17被引用 16

一句话总结

本文提出了新型純權益證明（PoS）加密貨幣協定——CoA 與 Dense-CoA，完全消除耗能巨大的工作量證明（PoW）之同時，提升安全性與穩定性。透過將幣券發行與 PoW 採礦分離，並引入最小 PoW 區塊間隔的固定成本鑄幣機制，協定確保了可預測的通貨膨脹與穩定的匯率，降低現有 PoS 系統中常見的免費模擬攻擊等風險。

ABSTRACT

We study decentralized cryptocurrency protocols in which the participants do not deplete physical scarce resources. Such protocols commonly rely on Proof of Stake, i.e., on mechanisms that extend voting power to the stakeholders of the system. We offer analysis of existing protocols that have a substantial amount of popularity. We then present our novel pure Proof of Stake protocols, and argue that they help in mitigating problems that the existing protocols exhibit.

研究动机与目标

• 解決現有純權益證明（PoS）加密貨幣在僅依賴權益共識下所面臨的安全性與穩定性不足的問題。
• 設計一種去中心化的加密貨幣協定，避免如比特幣等 PoW 系統般耗盡電力與硬體等實體稀缺資源。
• 提出一種初始幣券發行機制，確保公平且穩定的分配，無需依賴 PoW 或燃燒證明。
• 提升對策略性攻擊（如免費模擬與自私權益攻擊）的韌性，此類攻擊在現有 PoS 設計中常見。
• 形式化並分析純 PoS 系統中檢查點機制的必要性，此機制在純 PoS 系統中比在 PoW 系統中更為關鍵，原因在於缺乏計算工作作為安全基準。

提出的方法

• 提出 CoA（幣券年齡）協定，其中區塊創建機率與持幣金額及持有時間的乘積成正比，確保公平分配並降低集中化誘因。
• 引入固定難度 PoW 機制用於初始幣券發行，並設立最小平均區塊間隔（例如 1 分鐘），以穩定鑄幣成本並防止通貨膨脹過快。
• 實施埋葬要求（n > 100 個區塊），即新鑄造的 PoW 幣券須在 CoA 鏈上等待超過 100 個 PoW 區塊後方可使用，以確保安全並防止搶跑攻擊。
• 設計 Dense-CoA 作為變體，透過時間鎖定的權益承諾，允許更頻繁的區塊創建，同時維持安全性，進而提升公平性與效率。
• 採用混合發行模式，僅在初始階段使用 PoW，主鏈則完全運行於純 PoS 模式，不再進行後續 PoW 採礦。
• 在純 PoS 系統中對帳本歷史實施檢查點機制，主張此舉在純 PoS 系統中比在 PoW 系統中更為關鍵，原因在於缺乏計算工作作為安全基準。

实验结果

研究问题

• RQ1 去中心化的加密貨幣能否在不消耗電力與硬體等實體稀缺資源的情況下維持安全性？
• RQ2 在純 PoS 系統中，如何設計穩定且可預測的幣券發行機制，以避免比特幣等 PoW 系統中常見的價格波動？
• RQ3 現有純 PoS 協定的弱點為何？如何透過創新共識機制加以緩解？
• RQ4 為何檢查點機制在純 PoS 系統中比在 PoW 系統中更為關鍵？又應如何實施？
• RQ5 能否設計出以 PoW 為發行階段的機制，確保初始分配的公平與穩定，同時不損害主鏈的純 PoS 性質？

主要发现

• CoA 協定確保區塊創建機率與幣券年齡成正比，相較於簡單 PoS，降低集中化風險並提升公平性。
• 透過固定 PoW 難度並強制執行最小區塊間隔（例如 1 分鐘），協定穩定了鑄造新幣的成本，防止比特幣動態難度系統中常見的劇烈價格波動。
• 要求新鑄造的 PoW 幣券須在 CoA 鏈上經由 n > 100 個 PoW 區塊的埋葬期後方可使用，強化安全性並防止搶跑攻擊。
• CoA 系統透過將 PoW 發行與主 PoS 共識分離，避免了 PPCoin 中常見的免費模擬攻擊，使攻擊者無法在無實體資源成本的情況下模擬長鏈。
• Dense-CoA 透過允許更頻繁的區塊創建提升效率，同時透過時間鎖定的權益承諾維持安全性，提供速度與公平性之間的權衡。
• 檢查點機制在純 PoS 系統中至關重要，因為缺乏計算工作使帳本更容易遭受重組織攻擊，特別是在理性或串通的權益持有者存在時。