References & Citations
Computer Science > Cryptography and Security
Title: Selfish Behavior in the Tezos Proof-of-Stake Protocol
(Submitted on 6 Dec 2019 (v1), last revised 8 Apr 2020 (this version, v4))
Abstract: Proof-of-Stake consensus protocols give rise to complex modeling challenges. We analyze the recently-updated Tezos Proof-of-Stake protocol and demonstrate that, under certain conditions, rational participants are incentivized to behave dishonestly. In doing so, we provide a theoretical analysis of the feasibility and profitability of a block stealing attack that we call selfish endorsing, a concrete instance of an attack previously only theoretically considered. We propose and analyze a simple change to the Tezos protocol which significantly reduces the (already small) profitability of this dishonest behavior, and introduce a new delay and reward scheme that is provably secure against length-1 and length-2 selfish endorsing attacks. Our framework provides a template for analyzing other Proof-of-Stake implementations for selfish behavior.
Submission history
From: Michael Neuder [view email][v1] Fri, 6 Dec 2019 02:47:37 GMT (152kb,D)
[v2] Tue, 7 Jan 2020 17:02:13 GMT (152kb,D)
[v3] Mon, 23 Mar 2020 14:45:43 GMT (313kb,D)
[v4] Wed, 8 Apr 2020 01:01:28 GMT (313kb,D)
Link back to: arXiv, form interface, contact.