HIP-4と予測市場インフラとしての@HyperliquidXの可能性について