Sobre HIP-4 y el potencial de @HyperliquidX como infraestructura de mercado de predicción