On the (in)security of Proofs-of-Space based Longest-Chain Blockchains

Mirza Ahad Baig; Krzysztof Pietrzak

Paper 2025/942

On the (in)security of Proofs-of-Space based Longest-Chain Blockchains

Mirza Ahad Baig, ISTA, Austria

Krzysztof Pietrzak, ISTA, Austria

Abstract

The Nakamoto consensus protocol underlying the Bitcoin blockchain uses proof of work as a voting mechanism. Honest miners who contribute hashing power towards securing the chain try to extend the longest chain they are aware of. Despite its simplicity, Nakamoto consensus achieves meaningful security guarantees assuming that at any point in time, a majority of the hashing power is controlled by honest parties. This also holds under ``resource variability'', i.e., if the total hashing power varies greatly over time. Proofs of space (PoSpace) have been suggested as a more sustainable replacement for proofs of work. Unfortunately, no construction of a ``longest-chain'' blockchain based on PoSpace, that is secure under dynamic availability, is known. In this work, we prove that without additional assumptions no such protocol exists. We exactly quantify this impossibility result by proving a bound on the length of the fork required for double spending as a function of the adversarial capabilities. This bound holds for any chain selection rule, and we also show a chain selection rule (albeit a very strange one) that almost matches this bound. Concretely, we consider a security game in which the honest parties at any point control $\phi>1$ times more space than the adversary. The adversary can change the honest space by a factor $1\pm \varepsilon$ with every block (dynamic availability), and ``replotting'' the space (which allows answering two challenges using the same space) takes as much time as $\rho$ blocks. We prove that no matter what chain selection rule is used, in this game the adversary can create a fork of length $\phi^2\cdot \rho / \varepsilon$ that will be picked as the winner by the chain selection rule. We also provide an upper bound that matches the lower bound up to a factor $\phi$. There exists a chain selection rule (albeit a very strange one) which in the above game requires forks of length at least $\phi\cdot \rho / \varepsilon$. Our results show the necessity of additional assumptions to create a secure PoSpace based longest-chain blockchain. The Chia network in addition to PoSpace uses a verifiable delay function. Our bounds show that an additional primitive like that is necessary.

Note: Full version of the paper published at FC'25

Metadata

Available format(s): PDF
Category: Foundations
Publication info: Published elsewhere. Minor revision. Financial Cryptography and Data Security 2025
Keywords: Proof-of-Space Blockchains Impossibility
Contact author(s): mbaig @ ist ac at
pietrzak @ ist ac at
History: 2025-05-23: approved; 2025-05-23: received; See all versions
Short URL: https://ia.cr/2025/942
License: CC BY

BibTeX

@misc{cryptoeprint:2025/942,
      author = {Mirza Ahad Baig and Krzysztof Pietrzak},
      title = {On the (in)security of Proofs-of-Space based Longest-Chain Blockchains},
      howpublished = {Cryptology {ePrint} Archive, Paper 2025/942},
      year = {2025},
      url = {https://eprint.iacr.org/2025/942}
}