Sur HIP-4 et le potentiel de @HyperliquidX en tant qu'infrastructure de marché de prédiction