diff --git a/blog/2023-12-06-ledger.md b/blog/2023-12-06-ledger.md new file mode 100644 index 00000000000..7b1aaae1fcf --- /dev/null +++ b/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 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. Variuous improvements to the +testing tools. Additiong 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