Taiko Secures Its Based Rollup with ZK Proofs