Ledger Team Update

High level summary

Through some extra testing we've identified and fixed a few benign bugs. We've also identified and implemented another restructure in the ledger state that improves performance and will further simplify LedegrHD implementation. Besides that we've also made further progress on these initiatives:

• CIP-118 - Nested Transactions:

  Two major Ledger rules were defined for processing sub-transactions.

• CIP-165 - Canonical Ledger State:

  Two more namesspaces for canonical ledger state were implemented.

Low level summary

Features

• PR-5575 - Introduce gov/committee/v0 canonical namespace
• PR-5584 - Use AccountId for stake pools
• PR-5566 - Tighten PParam lenses
• PR-5591 - Extras for working with maps
• PR-5595 - Version restriction
• PR-5596 - Remove SUBUTXOS rule
• PR-5579 - Support gov/canonical/pparams/v0 namespace
• PR-5589 - add notes on Praos slot leader election for historic reasons
• PR-5585 - Subsume delegations into active-stake
• PR-5544 - SUBLEDGER implementation

Testing

• PR-5587 - Set scriptIntegrityHash to 0 to match the behavior of Agda in conformance tests
• PR-5590 - Fix nightly nothunks tests for snapshot

Infrastructure and releasing

• PR-5292 - Support ghc 9.14
• PR-5607 - Fix nix builds
• PR-5600 - Fix gen-hie caching