Ledger Team Update

High level summary

There were a few important performance improvements that had to do with:

• Avoiding redundant computation when constructing context for plutus scripts
• Reduction of memory overhead of some of the governance features
• Removal of a space leak that retained transactions in memory for longer than it was necessary

Other than improving performance we also focused on improving ledger interface and code organization, as well as some minor improvements to the test suite.

Low level summary

Features

• pull-4854 - TxInfo memoization
• pull-4826 - Reduce memory usage with sharing
• pull-4860 - Add CBOR instances for DefaultVote
• pull-4867 - Add CanGetUTxO and CanSetUTxO type classes
• pull-4868 - Organize ledger state
• pull-4872 - Make utxosDeposited field strict.

Testing

• pull-4862 - Bumped the spec to include fixes to SecurityGroup parameters
• pull-4877 - Add genIssuerKeys that can be used in consensus
• pull-4878 - Upgrade cborg dependency
• pull-4879 - Improve mkAddr and mkCred interface

Infrastructure and releasing

• pull-4883 - Remove broken symlink