Ledger Team Update

High level summary

As part of tackling tech dept we have worked on improving the entrypoint interface that consensus uses to interact with ledger. Besides that we worked on restructuring some parts of the ledger state representation to make a more type safe distinction for changes introduced in Conway era. We have also implemented an alternative way of deserializing types that live on chain, which once intergrated into downstream components will allow us to have faster and more accurate decoders.

Low level summary

Features

• pull-4907 - Remove no longer needed workarounds
• pull-4890 - Invert mempool
• pull-4861 - Convert CertState to a type family
• pull-4846 - Non-Annotator DecCBOR instances
• pull-4903 - Switch to using TxCert type family
• pull-4889 - Change ApplyBlock interface
• pull-4905 - Move EraGov interface into cardano-ledger-core
• pull-4895 - Add ToCBOR/FromCBOR instances for Genesis config types

Testing

• pull-4865 - Enable Imp conformance for GOV
• pull-4887 - Add Imp fixup for collateral return txout
• pull-4897 - Rename ImpTest helpers
• pull-4908 - Add type parameter to KeySpace and GenEnv

Infrastructure and releasing

• pull-4894 - Fix link to haddocks in README
• pull-4904 - Improve TxSeq decoders
• pull-4909 - Better formatting of PR template