High level summary
Major technical debt items have been taken care of during this period:
- We've finalized the adjustment of mechanism of how we retain the original bytes of a transaction during deserialization, which will have positive impact on performance as well as correctness of our transaction deserializers. This was an especially necessary task to handle for the upcoming work on Nested Transactions
- We finished adjusting the representation of
CertState, which is the part of the ledger state responsible for managing the state of entities that are manipulated with transaction certificates. This representation now more accurately reflects the difference between pre vs post-Conway eras. - We did a minor performance improvement of transaction size calculation
- Improved the
MemoBytesinterface to disallow unsafe construction and improved the consistency of transaction related modules. - Did
AccountStatetype rename as preparation for potential promotion of reward accounts to full blown accounts, which might be needed for Leios later down the road.
We've also accomplished a very nice simplification to our constraint based generation framework. Fixed our example Plutus scripts that we use for testing. Got rid of a couple of redundant Byron test packages, which were causing rebuilds of the same code twice and caused unnecessary maintenance overhead. Besides that we also did some other minor quality of life improvements to the Ledger codebase.
Low level summary
Features
- pull-4914 - Add
ConwayCertState - pull-4959 - Improve performance of sizeTxF
- pull-4971 - Rename
AccountStatetoChainAccountState - pull-4973 - Make
MemoBytesinterface safe - pull-4968 - Move annotator to testlib
Testing
- pull-4954 - Add
expectTxSuccesstoShelleyEraImpand use it intrySubmitTx - pull-4958 - Update spec's code location
- pull-4921 - Refactor the constrained generators to get rid of the Fn stuff
- pull-4972 - Fix and bump cardano-ledger-executable-spec
- pull-4923 - Update V3 scripts in plutus-preprocessor to use the new
Dataapi