The Cheater Checking Problem: Why the Verifier’s Dilemma is Harder Than You Think
A common design pattern in blockchain systems is to have one party do some work and escrow a bond for correct behavior, then invite others to verify the work and take the bond if they catch…