Efficient Proof Systems: How PoStake, PoSpace, and VDFs Impact Blockchain Security

This article explores three core adversarial mining strategies in blockchain systems—double spending, short-term selfish mining, and long-term selfish mining. It also delves into efficient proof systems like Proof of Stake, Proof of Space, and Verifiable Delay Functions (VDFs), examining how each protocol handles adversarial threats and what resource thresholds maintain network security.


This content originally appeared on HackerNoon and was authored by EScholar: Electronic Academic Papers for Scholars

Abstract and 1. Introduction

1.1 Related Work

  1. Preliminaries

    2.1 System Model

    2.2 Selfish Mining Objective

    2.3 Markov Decision Processes

  2. Selfish Mining Attack

    3.1 Overview

    3.2 Formal Model

    3.3 Formal Analysis

    3.4 Key Features and Limitations

  3. Experimental Evaluation

  4. Conclusion, Acknowledgments, and References

A. NAS Mining Objectives

B. Efficient Proof Systems

C. Proof of Theorem 3.1

A NAS MINING OBJECTIVES

Adversarial mining strategies in blockchains based on efficient proof systems can be analysed with respect to several adversarial goals. Here, we outline three such goals: double spending, short and long term selfish-mining.

\ The first objective is double spending, where one considers the probability of an adversarial chain overtaking the public, honest chain [8, 29] (see Figure 3). Here the goal of the adversary is to rapidly and secretly grow a sufficiently long private chain such that this private chain eventually overtakes the honest chain, this way removing a presumably confirmed transaction. What “sufficiently” long means depends on the confirmation time in the chain, e.g., in Bitcoin one generally assumes a transaction that is six blocks deep in the chain to be confirmed.

The second objective, “short-term selfish mining”, considered eschews the goal of overtaking the honest chain completely and focuses simply on finding an adversarial mining strategy that is more profitable for the adversary rather than following the stipulated mining protocol [12] (see Figure 4). The profitability of an adversarial mining strategy under this objective is measured by the total number of adversarial blocks on the main chain. Like in the analyses of selfish mining strategies under the first objective, analyses of strategies under this second objective also focus on finding the largest fraction of adversarial resources the blockchain can tolerate in order to be secure under such adversarial strategies.

\

B EFFICIENT PROOF SYSTEMS

Proof of stake. PoStake is a block leader election protocol where a leader is selected with probability proportionate to the amount of stake (i.e., coins) they hold in the ledger at the selection time. Thus, a user with 𝑝 ∈ [0, 1] fraction of stake is elected with probability proportionate to 𝑝. Examples of longest-chain blockchains based on PoStake are Ouroboros [9] and post-merge Ethereum [1].

\ Proofs of space and time. Proof of Space (PoSpace) is a protocol between a prover and a verifier whereby the prover stores some data and, upon a challenge from the verifier, has to return a solution to the challenge that involves reading a small portion of the data. The consensus protocol of blockchains based on PoST [8] use both PoSpace challenges as well as verifiable delay functions [4, 25, 30] (VDFs). VDFs are functions that are inherently sequential to compute but the correctness of computation is efficiently verifiable. As such, the process of mining blocks in such blockchains depends not

\ \ Figure 3: The top chain shows adversarial (red) and honest (green) miners extending the public chain. The bottom chain shows adversarial miners growing a private chain to overtake the public chain.

\ \ \ Figure 4: The chains show the reward of the adversary when following the honest strategy and when growing a private chain to overtake the public chain.

\ \ \ Figure 5: The chains show the reward of the adversary and chain quality of the chain when all users mine honestly and when the adversary grows a private chain.

\ \ only on the amount of space allocated to compute PoSpace challenges, but also on the amount of VDFs to compute VDF challenges.

\

:::info Authors:

(1) Krishnendu Chatterjee, IST Austria, Austria (krishnendu.chatterjee@ist.ac.at);

(2) Amirali Ebrahimzadeh, Sharif University of Technology, Iran (ebrahimzadeh.amirali@gmail.com);

(3) Mehrdad Karrabi, IST Austria, Austria (mehrdad.karrabi@ist.ac.at);

(4) Krzysztof Pietrzak, IST Austria, Austria (krzysztof.pietrzak@ist.ac.at);

(5) Michelle Yeo, National University of Singapore, Singapore (mxyeo@nus.edu.sg);

(6) Ðorđe Žikelić, Singapore Management University, Singapore (dzikelic@smu.edu.sg).

:::


:::info This paper is available on arxiv under CC BY 4.0 DEED license.

:::

\


This content originally appeared on HackerNoon and was authored by EScholar: Electronic Academic Papers for Scholars


Print Share Comment Cite Upload Translate Updates
APA

EScholar: Electronic Academic Papers for Scholars | Sciencx (2025-07-02T12:00:11+00:00) Efficient Proof Systems: How PoStake, PoSpace, and VDFs Impact Blockchain Security. Retrieved from https://www.scien.cx/2025/07/02/efficient-proof-systems-how-postake-pospace-and-vdfs-impact-blockchain-security/

MLA
" » Efficient Proof Systems: How PoStake, PoSpace, and VDFs Impact Blockchain Security." EScholar: Electronic Academic Papers for Scholars | Sciencx - Wednesday July 2, 2025, https://www.scien.cx/2025/07/02/efficient-proof-systems-how-postake-pospace-and-vdfs-impact-blockchain-security/
HARVARD
EScholar: Electronic Academic Papers for Scholars | Sciencx Wednesday July 2, 2025 » Efficient Proof Systems: How PoStake, PoSpace, and VDFs Impact Blockchain Security., viewed ,<https://www.scien.cx/2025/07/02/efficient-proof-systems-how-postake-pospace-and-vdfs-impact-blockchain-security/>
VANCOUVER
EScholar: Electronic Academic Papers for Scholars | Sciencx - » Efficient Proof Systems: How PoStake, PoSpace, and VDFs Impact Blockchain Security. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2025/07/02/efficient-proof-systems-how-postake-pospace-and-vdfs-impact-blockchain-security/
CHICAGO
" » Efficient Proof Systems: How PoStake, PoSpace, and VDFs Impact Blockchain Security." EScholar: Electronic Academic Papers for Scholars | Sciencx - Accessed . https://www.scien.cx/2025/07/02/efficient-proof-systems-how-postake-pospace-and-vdfs-impact-blockchain-security/
IEEE
" » Efficient Proof Systems: How PoStake, PoSpace, and VDFs Impact Blockchain Security." EScholar: Electronic Academic Papers for Scholars | Sciencx [Online]. Available: https://www.scien.cx/2025/07/02/efficient-proof-systems-how-postake-pospace-and-vdfs-impact-blockchain-security/. [Accessed: ]
rf:citation
» Efficient Proof Systems: How PoStake, PoSpace, and VDFs Impact Blockchain Security | EScholar: Electronic Academic Papers for Scholars | Sciencx | https://www.scien.cx/2025/07/02/efficient-proof-systems-how-postake-pospace-and-vdfs-impact-blockchain-security/ |

Please log in to upload a file.




There are no updates yet.
Click the Upload button above to add an update.

You must be logged in to translate posts. Please log in or register.