Transaction deserialization of successful transaction fails

[ross-spencer]

As discussed here under PyCardano it seems possible to submit a transaction via cardano-cli but when trying to deserialize it through the CLI it is failing.

The error message:

Failed to decode the ledger's CDDL serialisation format. TextEnvelopeCddl error: tx_claim.signed: TextEnvelopeCDDL CBOR decoding error: DecoderErrorDeserialiseFailure "Shelley Tx" (DeserialiseFailure 3 "expected list len or indef")

Command

cardano-cli debug transaction view --tx-body-file <filename>

Version

cardano-cli 10.11.0.0 - linux-x86_64 - ghc-9.6
git rev ca1ec278070baf4481564a6ba7b4a5b9e3d9f366

Fails

{
    "type": "Witnessed Tx BabbageEra",
    "description": "Ledger Cddl Format",
    "cborHex": "84a500d9010281825820f1bab595d976dcc0c9b9356d10cabd364516f204c417832d7eb7350fa1a17992010182825839002c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d31a000f4240825839002c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d31b0000000253d50bb3021a0002938d031a066c614a081a066c533aa100d9010281825820dcaa0d643fda34e794231ef3bb7b9885bffa13c0a43f83867b1d8f0b21d493bf584079d178b55116a32496922131506330763437d79e2a5271860d92e738f78b0abede43acfe45dd20b92a14f25a28d6ab5b210f8e9481b18f0a02f5655679ef7803f5f6"
}

Published as

https://preprod.cexplorer.io/tx/61fb61071e942d230f8efad20352e1652075b7892b6298262386cfb44c2ad950?tab=overview

Working as a comparison (via Cardano docs)

{
    "type": "Unwitnessed Tx BabbageEra",
    "description": "Ledger Cddl Format",
    "cborHex": "84a30081825820e29e96a012c2443d59f2e53c156503a857c2f27c069ae003dab812559403889100018282581d60b825c32db03b34efd9ff0b385d23aa2ea47dfd955b2df49d6297e31f1a3b9aca008258390062573d3d7e30dc551b41fc1e11a9558cba6d0b7b179057aa55963c4208f121b36abf2bcdd7daa2551c1e6653413a78c419e170d3319924d31b0000000218219e190200a0f5f6"
}

[carbolymer]

I'm able to reproduce using cardano-api code:

x = do
  CBOR.decodeFullAnnotator @(L.Tx (ShelleyLedgerEra BabbageEra))
      (L.eraProtVerLow @(ShelleyLedgerEra BabbageEra))
      "Shelley Tx"
      CBOR.decCBOR
      (LBS.fromStrict bs)
 where
   Right bs = deserialiseFromRawBytesHex "84a500d9010281825820f1bab595d976dcc0c9b9356d10cabd364516f204c417832d7eb7350fa1a17992010182825839002c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d31a000f4240825839002c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d31b0000000253d50bb3021a0002938d031a066c614a081a066c533aa100d9010281825820dcaa0d643fda34e794231ef3bb7b9885bffa13c0a43f83867b1d8f0b21d493bf584079d178b55116a32496922131506330763437d79e2a5271860d92e738f78b0abede43acfe45dd20b92a14f25a28d6ab5b210f8e9481b18f0a02f5655679ef7803f5f6"

-- >>> show x
-- "Left (DecoderErrorDeserialiseFailure \"Shelley Tx\" (DeserialiseFailure 3 \"expected list len or indef\"))"

[carbolymer]

This is a Conway transaction somehow marked as Babbage transaction:

x = do
  CBOR.decodeFullAnnotator @(L.Tx L.ConwayEra)
      (L.eraProtVerLow @L.ConwayEra)
      "Shelley Tx"
      CBOR.decCBOR
      (LBS.fromStrict bs)
 where
   Right bs = deserialiseFromRawBytesHex "84a500d9010281825820f1bab595d976dcc0c9b9356d10cabd364516f204c417832d7eb7350fa1a17992010182825839002c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d31a000f4240825839002c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d31b0000000253d50bb3021a0002938d031a066c614a081a066c533aa100d9010281825820dcaa0d643fda34e794231ef3bb7b9885bffa13c0a43f83867b1d8f0b21d493bf584079d178b55116a32496922131506330763437d79e2a5271860d92e738f78b0abede43acfe45dd20b92a14f25a28d6ab5b210f8e9481b18f0a02f5655679ef7803f5f6"

-- >>> show x
-- "Right (AlonzoTx {atBody = MkConwayTxBody ConwayTxBodyRaw {ctbrSpendInputs = fromList [TxIn (TxId {unTxId = SafeHash \"f1bab595d976dcc0c9b9356d10cabd364516f204c417832d7eb7350fa1a17992\"}) (TxIx {unTxIx = 1})], ctbrCollateralInputs = fromList [], ctbrReferenceInputs = fromList [], ctbrOutputs = StrictSeq {fromStrict = fromList [Sized {sizedValue = (Addr Testnet (KeyHashObj (KeyHash {unKeyHash = \"2c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350\"})) (StakeRefBase (KeyHashObj (KeyHash {unKeyHash = \"abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d3\"}))),MaryValue (Coin 1000000) (MultiAsset (fromList [])),NoDatum,SNothing), sizedSize = 65},Sized {sizedValue = (Addr Testnet (KeyHashObj (KeyHash {unKeyHash = \"2c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350\"})) (StakeRefBase (KeyHashObj (KeyHash {unKeyHash = \"abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d3\"}))),MaryValue (Coin 9996405683) (MultiAsset (fromList [])),NoDatum,SNothing), sizedSize = 69}]}, ctbrCollateralReturn = SNothing, ctbrTotalCollateral = SNothing, ctbrCerts = OSet {osSSeq = StrictSeq {fromStrict = fromList []}, osSet = fromList []}, ctbrWithdrawals = Withdrawals {unWithdrawals = fromList []}, ctbrFee = Coin 168845, ctbrVldt = ValidityInterval {invalidBefore = SJust (SlotNo 107762490), invalidHereafter = SJust (SlotNo 107766090)}, ctbrReqSignerHashes = fromList [], ctbrMint = MultiAsset (fromList []), ctbrScriptIntegrityHash = SNothing, ctbrAuxDataHash = SNothing, ctbrNetworkId = SNothing, ctbrVotingProcedures = VotingProcedures {unVotingProcedures = fromList []}, ctbrProposalProcedures = OSet {osSSeq = StrictSeq {fromStrict = fromList []}, osSet = fromList []}, ctbrCurrentTreasuryValue = SNothing, ctbrTreasuryDonation = Coin 0} (blake2b_256: SafeHash \"61fb61071e942d230f8efad20352e1652075b7892b6298262386cfb44c2ad950\"), atWits = AlonzoTxWitsRaw {atwrAddrTxWits = fromList [WitVKeyInternal {wvkKey = VKey (VerKeyEd25519DSIGN \"dcaa0d643fda34e794231ef3bb7b9885bffa13c0a43f83867b1d8f0b21d493bf\"), wvkSignature = SignedDSIGN (SigEd25519DSIGN \"79d178b55116a32496922131506330763437d79e2a5271860d92e738f78b0abede43acfe45dd20b92a14f25a28d6ab5b210f8e9481b18f0a02f5655679ef7803\"), wvkKeyHash = KeyHash {unKeyHash = \"2c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350\"}}], atwrBootAddrTxWits = fromList [], atwrScriptTxWits = fromList [], atwrDatsTxWits = MkTxDats TxDatsRaw {unTxDatsRaw = fromList []} (blake2b_256: SafeHash \"25777aca9e4a73d48fc73b4f961d345b06d4a6f349cb7916570d35537d53479f\"), atwrRdmrsTxWits = MkRedeemers fromList [] (blake2b_256: SafeHash \"d36a2619a672494604e11bb447cbcf5231e9f2ba25c2169177edc941bd50ad6c\")} (blake2b_256: SafeHash \"fe6a278e6591d200d07c48654218ae76991bb0cfe677e3a8ed0cfe4a4c7e1a26\"), atIsValid = IsValid True, atAuxData = SNothing})"

[carbolymer]

@ross-spencer how did you build this transaction?

[ross-spencer]

okay, thanks both. Closing as you correctly point out the fix is to do the following:

{
    "type": "Witnessed Tx ConwayEra", <-- changed from Babbage.
    "description": "Ledger Cddl Format",
    "cborHex": "84a500d9010281825820f1bab595d976dcc0c9b9356d10cabd364516f204c417832d7eb7350fa1a17992010182825839002c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d31a000f4240825839002c55bc8f20e402d3a5f87d362a653f2b5dec94a37652fea8723ab350abbcbed52f93d9c547a456690b62e448e7bb9e105d0e6f545f9209d31b0000000253d50bb3021a0002938d031a066c614a081a066c533aa100d9010281825820dcaa0d643fda34e794231ef3bb7b9885bffa13c0a43f83867b1d8f0b21d493bf584079d178b55116a32496922131506330763437d79e2a5271860d92e738f78b0abede43acfe45dd20b92a14f25a28d6ab5b210f8e9481b18f0a02f5655679ef7803f5f6"
}

It feels a little brittle, but I am sure we can change a few things our side to account for this.