本文介绍了Dispute Games的概念,它是一种通用的争端解决机制,可以用来解决关于信息真实性的争议。文章深入探讨了Bisection Game,这是Dispute Game的一种具体实现,参与者通过不断二分执行轨迹来验证计算的正确性。文章还讨论了Claims、Positions、Chess Clocks以及Bonding等关键概念,并解释了如何在链上执行VM步骤来证明或反驳主张。