Add Ledger team update for 2023-11-22

blog/2023-11-22-ledger.md

@@ -0,0 +1,75 @@
+---
+title: Ledger Team Update
+slug: 2023-11-22-ledger
+authors: lehins
+tags: [ledger]
+hide_table_of_contents: false
+---
+
+## High level summary
+
+Last two weeks progress was mainly on testing, bug fixes and improvements to clarity of
+CDDL specification. Important bugfixes include:
+
+* Fix deserialization of `ValueNotConservedUTxO` predicate failure that could not
+  previously report zero ADA.
+* Fix deserialization of `CostModels` in the `PParamsUpdate`. Invalid `CostModels` are no
+  longer allowed, only `CostModels` for unrecognized Plutus versions are allowed starting
+  with Conway
+* Fix returning of Deposits for ProposalProcedures
+
+Testing tooling has been improved and new tests have been implemented for Conway era.
+
+## Low level summary
+
+### Conway
+
+* [pull-3858] - Restructure computing Refunds and Deposits in a TxBody across all eras
+* [pull-3860] - Removed `mock/crypto.cddl`, added optional tag to sets
+* [pull-3864] - Fix Proposal deposits and add deposit tests to imp tests
+* [pull-3859] - Rename ProposalsSnapshot to Proposals
+* [pull-3867] - `MaryValue` fixes
+* [pull-3869] - Indicate that tag 258 is optional for OSet. Fix rational CDDL
+* [pull-3863] - Improve deposits refunds re-usability
+* [pull-3861] - Fail PParamsUpdate deserialization for invalid costmodels in Conway
+* [pull-3875] - Fix cddl spec for CostModels in Conway
+* [pull-3876] - Change 4 PParam fields from EpochNo to EpochInterval
+* [pull-3884] - Relax requirement on the Set tag 258 to be enforced in the next era
+
+### Testing
+
+* [pull-3868] - Improvements to support property tests on Traces with simple Tx with DRep related Certs
+* [pull-3792] - RATIFY and GOV constraint tests
+* [pull-3885] - Added a test for genTxAndNewEpoch
+* [pull-3886] - QuickCheck Imp integration
+
+### Improvements and releasing
+
+* [pull-3854] - Integration work for node 8.7.0
+* [pull-3872] - Fixup ReadTheDocs build
+* [pull-3871] - Bump plutus dep to 1.16
+* [pull-3874] - Post release changes
+* [pull-3880] - Remove generic-monoid dependency
+* [pull-3887] - Add changelog for features that landed in cardano-node-8.7
+
+[pull-3858]: https://github.com/input-output-hk/cardano-ledger/pull/3858
+[pull-3860]: https://github.com/input-output-hk/cardano-ledger/pull/3860
+[pull-3864]: https://github.com/input-output-hk/cardano-ledger/pull/3864
+[pull-3859]: https://github.com/input-output-hk/cardano-ledger/pull/3859
+[pull-3867]: https://github.com/input-output-hk/cardano-ledger/pull/3867
+[pull-3869]: https://github.com/input-output-hk/cardano-ledger/pull/3869
+[pull-3863]: https://github.com/input-output-hk/cardano-ledger/pull/3863
+[pull-3854]: https://github.com/input-output-hk/cardano-ledger/pull/3854
+[pull-3861]: https://github.com/input-output-hk/cardano-ledger/pull/3861
+[pull-3872]: https://github.com/input-output-hk/cardano-ledger/pull/3872
+[pull-3871]: https://github.com/input-output-hk/cardano-ledger/pull/3871
+[pull-3875]: https://github.com/input-output-hk/cardano-ledger/pull/3875
+[pull-3874]: https://github.com/input-output-hk/cardano-ledger/pull/3874
+[pull-3868]: https://github.com/input-output-hk/cardano-ledger/pull/3868
+[pull-3880]: https://github.com/input-output-hk/cardano-ledger/pull/3880
+[pull-3792]: https://github.com/input-output-hk/cardano-ledger/pull/3792
+[pull-3876]: https://github.com/input-output-hk/cardano-ledger/pull/3876
+[pull-3885]: https://github.com/input-output-hk/cardano-ledger/pull/3885
+[pull-3884]: https://github.com/input-output-hk/cardano-ledger/pull/3884
+[pull-3887]: https://github.com/input-output-hk/cardano-ledger/pull/3887
+[pull-3886]: https://github.com/input-output-hk/cardano-ledger/pull/3886