The second tab shows Optimistic proof systems, in particular the challenge protocol used, the challenge period, whether any additional execution delay is applied before withdrawals, the initial bond that proposers have to stake and how much defenders are protected from economic attacks. Optimistic protocols that also make use of a ZK verifier are also clearly identified.