cardano-transaction-lib (CTL)

Breaks after HF

Blocked by

• own gapcardano-transaction-lib-ctlplutus-language
• upstream fixkupoblock-encodingera-identitytransaction-encoding
• upstream fixogmiosprotocol-parameterstransaction-encodingera-identity
• upstream fixblockfrostprotocol-parametersera-identity

Waiting on

• blockfrostno-evidence, no verdicttransaction-encoding
• cardano-data-liteno-evidence, no verdicttransaction-rules

Lead decisions

• confirmed· blockfrostprotocol-parameters

  The Blockfrost backend reads protocol parameters.

  • src/Internal/Contract/Monad.purs:312<$> withErrorOnLeft Blockfrost.getProtocolParameters

• confirmed· blockfrostera-identity

  Slot and time conversion asks the active backend for era summaries; on the Blockfrost backend that is /network/eras.

  • src/Contract/Time.purs:190liftedE $ liftAff $ provider.getEraSummaries

• confirmed· kupoblock-encodingera-identitytransaction-encoding

  The default Kupmios backend serves UTxO queries from Kupo. Kupo cannot index Dijkstra blocks (R2 gap), so its matches stop at the fork.

  • src/Internal/Contract/Monad.purs:265buildCtlBackend { ogmiosConfig, kupoConfig } = do

• confirmed· ogmiosprotocol-parameterstransaction-encodingera-identity

  The Kupmios backend reads protocol parameters and era summaries from Ogmios and submits through it.

  • src/Internal/Contract/Monad.purs:33import Cardano.Kupmios.Ogmios (getProtocolParameters, getSystemStartTime)
  • src/Contract/Backend/Ogmios.purs:9import Cardano.Kupmios.Ogmios (submitTxOgmios) as Ogmios

• undetermined· ogmiosblock-encodingplutus-language

  Script evaluation and any chain following live in the external cardano-kupmios package, not in this repository.

• not-reached· cardano-data-liteera-identityplutus-languageprotocol-parametersstake-pool-registrationtransaction-encoding

  CTL serializes the transactions it builds with cardano-data-lite and decodes only addresses, UTxOs and witness sets from wallets.

  • src/Internal/Wallet/Cip30.purs:155hexStringToAddress = decodeCbor <=< map wrap <<< hexToByteArray

• not-reached· cardano-db-syncblock-encodingera-identityprotocol-parametersstake-pool-registrationtransaction-encoding

  db-sync is only a flake input for the local test runtime.

  • flake.nix:16db-sync.url = "github:intersectmbo/cardano-db-sync/13.6.0.5";