Taiko enabled Unzen on mainnet, making a ZK proof mandatory for every block. No single proof system can finalize the chain on its own going forward — Validity Proofs are enforced at the protocol level, giving the rollup verifiable and always-on ZK security that runs on mainnet today.