Why is it better

• Faster. Not only does the computation itself can be executed to a result faster (Running a ZKP on it usually renders hundreds of time of more computation cycles). The dispute period can be significantly shorter too because the fraud proof would be cryptographic and not manual.

• Lower resource requirements. Along the same lines, running the optimistic execution requires much lower computation power and thus drops the barrier of hardware requirements significantly. This in turn allows much more end-user owned devices to join the network, which unlocks even more computing power.

• Secure. All supported computation will be retroactively provable by anyone from anywhere. Further more, staked assets should alter the incentive curve, so no malicious behaviors would even be attempting as long as crypto economics are designed well.

This combines the brighter side of both worlds of Optimistic and ZK, where everything is run Optimistically but no one will put their staked assets at risk knowing that their behavior will be auditable via ZK proofs from anyone in the open network.