From b17dc25ad43d0e0271946871673b459a067f56c0 Mon Sep 17 00:00:00 2001
From: Alexey Kuleshevich <alexey.kuleshevich@iohk.io>
Date: Mon, 16 Oct 2023 12:03:21 +0100
Subject: [PATCH] Add Ledger team update for 2023-10-13 (#270)

---
 blog/2023-10-13-ledger.md | 49 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 blog/2023-10-13-ledger.md

diff --git a/blog/2023-10-13-ledger.md b/blog/2023-10-13-ledger.md
new file mode 100644
index 0000000000..36ada69823
--- /dev/null
+++ b/blog/2023-10-13-ledger.md
@@ -0,0 +1,49 @@
+---
+title: Ledger Team Update
+slug: 2023-10-13-ledger
+authors: lehins
+tags: [ledger]
+hide_table_of_contents: false
+---
+
+## High level summary
+
+The Ledger team has been shifting focus from implementing Conway related features to
+testing. For this reason there is a very little amount features that are reported this
+time aorund. Notable Conway related changes are a specialized ledger query for getting
+Constitutional Committee state and prevention of submitting proposal procedures that have
+no valid path to enactment.
+
+Testing related work was mainly on a constraint base system as well as on roundtrip
+serialization. As a result of this extra testing a bug in Conway Genesis serialization
+was eliminated.
+
+## Low level summary
+
+### Conway era
+
+* [pull-3768] - Fail proposal on invalid prevGovActionId
+* [pull-3781] - CommitteeState query
+
+### Integration and releasing
+
+* [pull-3774] - Bump urllib3 from 1.26.10 to 1.26.17 in /doc
+* [pull-3770] - cabal.project: Bump index states
+* [pull-3778] - Bump plutus to 1.14
+
+### Testing
+
+* [pull-3769] - Add roundtrip testing by validating FlatTerm
+* [pull-3783] - Update TranslationInstance.hs
+* [pull-3775] - Refactor and improve constraint based STS tests
+* [pull-3793] - Fix sums with negative RHS.
+
+[pull-3774]: https://github.com/input-output-hk/cardano-ledger/pull/3774
+[pull-3770]: https://github.com/input-output-hk/cardano-ledger/pull/3770
+[pull-3778]: https://github.com/input-output-hk/cardano-ledger/pull/3778
+[pull-3769]: https://github.com/input-output-hk/cardano-ledger/pull/3769
+[pull-3768]: https://github.com/input-output-hk/cardano-ledger/pull/3768
+[pull-3781]: https://github.com/input-output-hk/cardano-ledger/pull/3781
+[pull-3783]: https://github.com/input-output-hk/cardano-ledger/pull/3783
+[pull-3775]: https://github.com/input-output-hk/cardano-ledger/pull/3775
+[pull-3793]: https://github.com/input-output-hk/cardano-ledger/pull/3793