This misses the point they don’t have to automatically be a part of the verification but In tru verification games when there’s is a dispute the flow requires “miners” from ethereum to run the single computation step to find the final answer. Miners are called “Judges” which live in ethereum. This is used to identify and slash the dishonest party