Sobre o HIP-4 e o potencial do @HyperliquidX como uma infraestrutura de mercado de previsões