Add Ledger team update for 2023-12-06 (#302)

blog/2023-12-06-ledger.md

@@ -0,0 +1,61 @@
+---
+title: Ledger Team Update
+slug: 2023-12-06-ledger
+authors: lehins
+tags: [ledger]
+hide_table_of_contents: false
+---
+
+## High level summary
+
+This period we reached a major milestone, namely we now have an initial version of Conway
+conformance testing working. We are now able to generate random valid data with the help
+of constraint based testing framework, apply that data to Conway Ledger rules and verify
+that the output matches to the one produced by the executable version of the Formal Ledger
+Specification, when it is applied to the same random data.
+
+We also had a couple of Conway bugs fixed and a few new predicate check implemented. Get
+Constitutional Committee query is complete and tested. Various improvements to the
+testing tools. Addition of more test cases.
+
+## Low level summary
+
+### Conway
+
+* [pull-3888] - Add checks for valid ProtVer when a proposal is a HardFork
+* [pull-3902] - Fix pvCanFollow usage in Conway and improve clarity in Shelley
+* [pull-3855] - Remove unreachable proposals
+* [pull-3903] - Add lenient decoder for `Addr`
+* [pull-3878] - Committee query - implement  next epoch change
+
+### Testing
+
+* [pull-3893] - Move `tree-diff` dependency to tests together with all instances
+* [pull-3896] - Fix Brute force failure
+* [pull-3904] - New ListWhere Pred added to the Constrained Solver.
+* [pull-3907] - cardano-ledger-conformance: Remove CHANGELOG.md from cabal file
+* [pull-3883] - Committee QuerySpec Imp Test
+* [pull-3909] - Make `impAnn` a bit more useful, by making the logs scoped by `impAnn`
+* [pull-3908] - Use upstream testing instances for very basic types
+* [pull-3912] - Removed call to tail, and the 'watchPulser' test
+* [pull-3852] - Added constrained generators to conformance tests - Part 1
+
+### Improvements and releasing
+
+* [pull-3891] - Bump plutus to 1.17
+
+[pull-3891]: https://github.com/input-output-hk/cardano-ledger/pull/3891
+[pull-3888]: https://github.com/input-output-hk/cardano-ledger/pull/3888
+[pull-3893]: https://github.com/input-output-hk/cardano-ledger/pull/3893
+[pull-3896]: https://github.com/input-output-hk/cardano-ledger/pull/3896
+[pull-3855]: https://github.com/input-output-hk/cardano-ledger/pull/3855
+[pull-3904]: https://github.com/input-output-hk/cardano-ledger/pull/3904
+[pull-3907]: https://github.com/input-output-hk/cardano-ledger/pull/3907
+[pull-3903]: https://github.com/input-output-hk/cardano-ledger/pull/3903
+[pull-3902]: https://github.com/input-output-hk/cardano-ledger/pull/3902
+[pull-3883]: https://github.com/input-output-hk/cardano-ledger/pull/3883
+[pull-3878]: https://github.com/input-output-hk/cardano-ledger/pull/3878
+[pull-3909]: https://github.com/input-output-hk/cardano-ledger/pull/3909
+[pull-3908]: https://github.com/input-output-hk/cardano-ledger/pull/3908
+[pull-3852]: https://github.com/input-output-hk/cardano-ledger/pull/3852
+[pull-3912]: https://github.com/input-output-hk/cardano-ledger/pull/3912