Optimistic rollups do not provide any cryptographic proof when depositing transactions from the L2 to the L1. Zk rollups provide Zero-knowledge proofs.