It Takes Two: A Peer-Prediction Solution for Blockchain Verifier's Dilemma

Zishuo Zhao,Xi Chen,Yuan Zhou

2024-07-12

Abstract:The security of blockchain systems is fundamentally based on the decentralized consensus in which the majority of parties behave honestly, and the process of content verification is essential to keep the robustness of blockchain systems. However, the phenomenon that a secure blockchain system with few or no cheaters could not provide sufficient incentive for verifiers to honestly perform the costly verification, referred to as the Verifier's Dilemma, could severely undermine the fundamental security of blockchain systems. While existing works have attempted to insert deliberate errors to disincentivize lazy verification, the decentralized environment makes it impossible to judge the correctness of verification or detect malicious verifiers directly. In this paper, we initiate the research that leverages the peer prediction approach towards the design of Bayesian truthful mechanisms for the decentralized verification game among multiple verifiers, incentivizing all verifiers to perform honest verification without access to the ground truth even in the presence of noisy observations in the verification process. With theoretically guaranteed truthfulness of our mechanism for the verification game, our work provides a framework of verification mechanisms that enhances the security and robustness of the blockchain and potentially other decentralized systems.

Cryptography and Security,Computer Science and Game Theory

What problem does this paper attempt to address?

This paper attempts to solve the verifier's dilemma in the blockchain system. That is, in a secure blockchain system, if there are few or no cheaters, verifiers lack sufficient incentives to honestly perform costly verification work. Specifically, the paper points out that in a decentralized environment, it is impossible to directly judge the correctness of verification or detect malicious verifiers.

### Core Problems of the Paper

1. **Verifier's Dilemma**:
- If a mechanism is secure for strategic provers, then rational provers will not cheat.
- If no prover cheats and verification has a non - zero computational cost, then the optimal strategy for verifiers is to lazily report "success" without actually performing verification.
- If all verifiers are rational and do not actually verify, the security of the system will no longer hold.

2. **Existing Solutions and Their Limitations**:
- Existing methods attempt to prevent lazy verification by inserting deliberate errors, but in a decentralized environment, it is impossible to directly judge the correctness of verification or detect malicious verifiers.
- Traditional punishment mechanisms (such as "slashing") can only reduce but not eliminate the cheating rate.

### Proposed Solution

The paper proposes a method based on peer prediction and designs Bayesian truthful mechanisms to encourage multiple verifiers to honestly perform verification in the absence of true results. This method utilizes the idea of peer prediction to ensure that verifiers perform verification honestly in the decentralized verification game.

### Main Contributions

- **Theoretical Framework**: Established the theoretical framework of the Decentralized Verification Game (DVG).
- **CTF - PP Mechanism**: Proposed the "Capture - The - Flag Peer Prediction (CTF - PP)" mechanism, which combines flags and peer prediction techniques and can simultaneously satisfy the following properties in only one stage:
- **Uniquely Incentive - Compatible (UniIC)**: Given that other verifiers act honestly, a verifier can maximize its expected utility by reporting truthfully after observation, otherwise the expected utility is non - positive.
- **Individual Rationality (IR)**: Given that other verifiers act honestly, a verifier obtains a non - negative expected utility when acting honestly.
- **No - Free - Lunch (NFL)**: Given that other verifiers act honestly, any strategy without actual verification cannot obtain a positive expected utility.

### Experimental Results

The paper demonstrates the existence and feasibility of the CTF - PP mechanism through a linear programming (LP) model and verifies the effectiveness of this mechanism through numerical experiments. The experimental results show that under reasonable parameter settings, the CTF - PP mechanism can encourage verifiers to perform verification honestly and can achieve a pure - strategy Nash equilibrium even when there are no cheating provers.

### Summary

This paper aims to solve the verifier's dilemma in the blockchain system by introducing peer prediction techniques and flag mechanisms, thereby enhancing the security and robustness of the blockchain system.