BAR Nash Equilibrium and Application to Blockchain Design

Maxime Reynouard,Rida Laraki,Olga Gorelkina

2024-01-31

Abstract:This paper presents a novel solution concept, called BAR Nash Equilibrium (BARNE) and apply it to analyse the Verifier's dilemma, a fundamental problem in blockchain. Our solution concept adapts the Nash equilibrium (NE) to accommodate interactions among Byzantine, altruistic and rational agents, which became known as the BAR setting in the literature. We prove the existence of BARNE in a large class of games and introduce two natural refinements, global and local stability. Using this equilibrium and its refinement, we analyse the free-rider problem in the context of byzantine consensus. We demonstrate that by incorporating fines and forced errors into a standard quorum-based blockchain protocol, we can effectively reestablish honest behavior as a globally stable BARNE.

Computer Science and Game Theory

What problem does this paper attempt to address?

This paper attempts to solve the Verifier's Dilemma problem in blockchain design. Specifically, the paper introduces a new solution concept - BAR Nash Equilibrium (BARNE) to adapt to the interactions among three types of agents: Byzantine, Altruistic, and Rational, and applies it to analyze the Verifier's Dilemma in the blockchain.

### Verifier's Dilemma
The Verifier's Dilemma refers to the fact that in the blockchain, multiple agents need to verify and confirm transactions to maintain the integrity of the blockchain. Since the verification process is costly for a single agent, rational agents may choose to rely on the verification efforts of others without performing verification, resulting in the "free - rider problem". This behavior will weaken the security of the system because if most agents choose not to verify, invalid blocks may be accepted, thus undermining the integrity and reputation of the blockchain.

### BAR Model
To better understand and solve this problem, the paper proposes a model that includes three types of agents:
- **Byzantine agents**: Can deviate from the protocol arbitrarily.
- **Altruistic agents**: Always follow the protocol.
- **Rational agents**: Maximize their own benefits.

### BAR Nash Equilibrium (BARNE)
BARNE is an extension of Nash equilibrium and is applicable to the situation where the above three types of agents co - exist. The paper proves the existence of BARNE in a large class of games and introduces two natural improvements: local stability and global stability.

### Solutions
By analyzing the existing Quorum - Based Consensus Protocols (QBCP), the paper finds that acting according to the standard protocol is almost never BARNE, while the "free - rider" strategy is a globally stable BARNE. To solve this problem, the paper proposes two corrective measures:
1. **Penalty mechanism**: Impose a monetary penalty on behavior that deviates from the protocol, making honest verification a locally stable BARNE.
2. **Injecting errors**: In addition to the penalty, mandatory errors are also introduced, making honest verification a globally stable BARNE.

These corrective measures effectively re - establish honest behavior as a globally stable BARNE, thus solving the Verifier's Dilemma and ensuring the security and efficiency of the blockchain system.

### Formula presentation
Some of the formulas involved in the paper are as follows:

- The payoff function of rational agents:
\[
u = /BDAccepted( /BDEndorsed r_e - /BDInvalid L) - /BDChecked c_c
\]
where:
- \(L\) represents the huge loss caused by invalid blocks;
- \(r_e\) represents the rewards for verifiers;
- \(c_c\) represents the cost of verifying blocks.

Through these corrective measures, the paper provides a theoretical framework to ensure that the blockchain system can remain stable and secure in the presence of different types of agents.