Protocol
Arbitrum
Execution asserted off-chain, with a window in which a fraud proof can challenge it.
Paper and network
The design is an assertion and a challenge. Data publication and who may challenge are the questions to keep.
Compare it on the same questions as the others: who may produce a block, when it is final, what is published, and the smallest coalition that can break the claim.