Nested Transactions - CIP-118

[lehins]

This is an umbrella ticket that lists all of the milestones for Nested Transactions - CIP-118

Nested Transactions

MS13.1: Preparation work

Description

• - Finalize the proposed CIP-0118 and have it accepted: CIP-0118? | Nested Transactions cardano-foundation/CIPs#862
• - Tackle tech debt preventing us from starting work on Nested Transactions:
  • Move definitions for all eras into a special place in cardano-ledger-core #5069
  • Remove original constrained generators functionality #5068
  • Switch TxBody to a data family #4999
  • Get rid of Pretty interface in favor of ToExpr #4873
  • Replace UMap with a better tailored representation and name #4694
  • Fix COMPLETE for all type class based pattern synonyms #4613
• - Define new blank Ledger era:
  • Create new era named Dijkstra #4955
  • Create Dijkstra era TxBody #5043

Deadline

Q2 2025 - 30 Jun 25

Acceptance

• - CIP-0118 is merged.
• - Necessary tech debt is resolved.
  • Made TxBody a data family #5005
  • Move era definitions to core:internal #5089 and Untaint era definitions, while preserving the safety warning. #5100
  • Remove old version of constrained generators #5083
  • Remove Pretty from cardano-ledger-test #4966
  • Stop using UMap in favor of Accounts type family #5128
• - New Dijkstra era is defined:
  • Added Dijkstra era #5030
  • Dijkstra Era Transition functionality #5104

MS13.2: Transaction definition

• - Implement Transaction type and serialization:
  • Define Dijkstra certificates without the ones that have been deprecated #4963
  • Switch Tx to a data family. #5000
  • Figure out definitions of types and interface for top level vs sub-transactions #5045
  • Rename EraSegWits to EraBlockBody #5121
  • Change to serialization of transaction in a Block Body #5046
• - Define new Plutus Ledger version:
  • Add definition for PlutusV4 language version #5105
• - Coordinate with the Formal Methods team on formal specification implementation in Agda of the Ledger rules

Deadline

Q3 2025 - 30 Sep 24

Acceptance

• - Transaction type is fully defined according to the CIP, serialization and CDDL spec are implemented.
• - PlutusV4 is defined:
  • Add PlutusV4 definition #5111
• - New ledger era is integrated all the way into cardano-node

MS13.3: Ledger rules

• - Work on the Ledger rules

Deadline

Q4 2025 - 31 Dec 25

Acceptance

• - Most of the ledger rules functionality is defined with unit tests and property tests
• - Specification in Agda is mostly complete.

MS13.4: Plutus Context

• - Work with the Plutus team on defining Plutus Context for the transaction.
• - Start work on conformance tests for Dijkstra era

Deadline

Q1 2026 - 31 Mar 26

Acceptance

• - PlutusV4 context is fully defined and it is possible to execute Plutus scripts that are aware of Nested Transactions
• - Ability to execute PlutusV4 script on a testnet.

MS13.5: Testing and Conformance

• - Work on conformance tests, PlutusV4 tests and extend existing tests with more property tests.

Deadline

Q2 2026 - 30 Jun 26

Acceptance

• - Conformance test suite is capable of testing against the Agda specification.
• - Complete implementation, testing and integration.
• - cardano-node release that is fully capable of handling Nested Transactions in the new Dijkstra era

[lehins]

Looks like we'll be able to close the oldest ticket that we have opened today #768, once this issue is taken care of. 🙂