Computer Science > Cryptography and Security
[Submitted on 24 Nov 2021 (v1), revised 28 Jan 2022 (this version, v2), latest version 18 May 2022 (v3)]
Title:Securing Proof-of-Stake Nakamoto Consensus Under Bandwidth Constraint
View PDFAbstract:Satoshi Nakamoto's Proof-of-Work (PoW) longest chain (LC) protocol was a breakthrough for Internet-scale open-participation consensus. Many Proof-of-Stake (PoS) variants of Nakamoto's protocol such as Ouroboros or Snow White aim to preserve the advantages of LC by mimicking PoW LC closely, while using PoS for Sybil resistance. Previous works have proven these PoS LC protocols secure assuming all network messages are delivered within a bounded delay. However, this assumption is not compatible with PoS when considering bandwidth constraints in the underlying communication network, because PoS enables the adversary to spam the network with equivocating blocks, which is impossible in PoW. The bandwidth constraint necessitates that nodes choose carefully which blocks to spend their limited download budget on. We show that `download along the longest header chain', a natural download rule for PoW LC, emulated by PoS variants, is insecure for PoS LC. Instead, we propose `download towards the freshest block' and prove that PoS LC with this download rule is secure in bandwidth-constrained networks. In experiments, we validate our claims and showcase the behavior of these download rules under attack. By composing multiple instances of our PoS LC protocol in parallel, we obtain a PoS consensus protocol with improved worst-case throughput, even in the presence of a spamming adversary. Our result can be viewed as a first step towards the co-design of consensus and network layer protocols.
Submission history
From: Srivatsan Sridhar [view email][v1] Wed, 24 Nov 2021 08:29:34 UTC (217 KB)
[v2] Fri, 28 Jan 2022 03:09:29 UTC (350 KB)
[v3] Wed, 18 May 2022 00:05:34 UTC (360 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.