Vitalik: Prediction markets have made significant progress, with Polymarket being a key driver