Optimistic Rollup, L2, Blockchain, Oasisnetwork, Oasis Labs.
the challenger may then pick the sub assertion they disagree with. They continue by requesting bisection of the sub assertion, and so on, until they reach an assertion that represents a small enough operation to be executed on-chain. Interactive fraud proofs introduce the complexity of cooperation