Is polygon optimistic or zk?

Could you elaborate on the difference between Polygon and ZK-Rollups in terms of their Optimism or pessimism in the context of blockchain scaling solutions? How do these two approaches differ in their assumptions about transaction verification and what implications does this have for the efficiency, security, and decentralization of their respective networks? Additionally, which one do you think has a more promising future in the world of cryptocurrency and finance, and why?