Game Model of Three-Layer Verification

Formal Definition of Validator Game

Define the verification game as: G = (N, S, π, u) where:

• N = {v₁, v₂, ..., vₙ} is the validator set

• S = {Accept, Reject, Uncertain} is the strategy space

• π: Evidence → {True, False} is the true state

• u: S × π → ℝ is the utility function

Utility Function Design

For validator vᵢ, the utility function is:

u(sᵢ, π, s₋ᵢ) = {
  R          if sᵢ = majority(S) ∧ majority(S) = π
  -α·Stake   if sᵢ ≠ majority(S) ∧ |deviat| ≥ 3
  0          otherwise
}

Where:

• R is the verification reward (5% of task fee)

• α is the slashing ratio

• deviat is consecutive deviation count