UTxO RPC Spec - Ledger Module