Los mercados de predicción sobre el TVL del protocolo DeFi serían geniales