Sobre o HIP-4 e o potencial do @HyperliquidX como uma infra-estrutura de mercado de previsão