Optimistic ZK assumes that all state transitions are correct and does not require immediate validity proofs. This design reduces the overall proof costs of ZKP projects while ensuring security through incentives for a decentralized challenger monitoring system and challenging fraudulent behavior.