Polygon zkEVM: Solving the Trilemma with ZK Rollups