Su HIP-4 e il potenziale di @HyperliquidX come infrastruttura per mercati di previsione