From 98d050c1a9f35aa5aa8dc53cf8c21e96e76e39cf Mon Sep 17 00:00:00 2001 From: Alexey Kuleshevich Date: Wed, 11 Sep 2024 17:02:40 -0600 Subject: [PATCH] Add Ledger team update for 2024-09-11 --- blog/2024-09-11-ledger.md | 87 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 87 insertions(+) create mode 100644 blog/2024-09-11-ledger.md diff --git a/blog/2024-09-11-ledger.md b/blog/2024-09-11-ledger.md new file mode 100644 index 0000000000..674c177608 --- /dev/null +++ b/blog/2024-09-11-ledger.md @@ -0,0 +1,87 @@ +--- +title: Ledger Team Update +slug: 2024-09-11-ledger +authors: lehins +tags: [ledger] +hide_table_of_contents: false +--- + +## High level summary + +One specific Conway feature that received a lot of debate has finally been implemented, +namely disallowing stake credentials from withdrawing rewards, that are backed by a key +hash and have not delegated to any DRep. This feature will go into effect after the +bootstrap phase. + +A whole lot more tests were added and few minor bug fixes have been implemented as well. +In particular `GovInfoEvent` ledger event has been fixed, which is unlikely to affect +anyone, but it is worth pointing out. Ledger state deserialization bug was fixed that was +necessary for the `cardano-node-9.1.1` release. Some tech dept was taken care of, like +cleanup of unnecessary predicate failures and fixing some flaky tests from Byron and +Alonzo eras. + +## Low level summary + +### Features + +* [pull-4218] - Remove `maxMajorPV` from `Globals` +* [pull-4589] - Fix deserialization of bad `Ptr`s in `IncrementalStake` +* [pull-4555] - Disallow withdrawals to non-delegated keyhashes post-bootstrap +* [pull-4600] - Stop reporting invalid refund when stake credential is not registered +* [pull-4604] - Fix enacted `Set` in `GovInfoEvent` +* [pull-4616] - Change `ConwayWdrlNotDelegatedToDRep` to wrap `KeyHash`es +* [pull-4609] - Removed `DRepAlreadyRegisteredForStakeKeyDELEG` + +### Testing + +* [pull-4565] - ENACT conformance +* [pull-4541] - Fix failing tests in `cardano-ledger-alonzo-test` +* [pull-4585] - Fixes a property test "Ran out of tries on suchThatT" +* [pull-4543] - Increased the probability of generating the same hash more than once +* [pull-4574] - Byron: Force startTime in genesis data to be strict +* [pull-4596] - fix both reproduceable failures +* [pull-4586] - Byron: Fix failing ts_prop_elaboratedCertsValid test by moving mainnet-genesis.json to the appropriate path +* [pull-4584] - Sort Proposals when translating to SpecRep +* [pull-4546] - Ts additions prime spec cert steps +* [pull-4607] - Refactor debug tracing of QuickCheck discards +* [pull-4597] - DELEG Imp spec + +### Infrastructure and releasing + +* [pull-4578] - Stop generation of haddock for internal modules +* [pull-4611] - Fix haddock: remove --show-all to test +* [pull-4569] - Fix `fourmolu` version for `pre-commit` shell +* [pull-4587] - docs: update README.md +* [pull-4591] - cardano-node-9.1 backport: Implement a fix for inability to deserialize pointers in Conway +* [pull-4590] - cardano-node-9.2 backport: Implement a fix for inability to deserialize pointers in Conway +* [pull-4593] - Plutus 1.33 +* [pull-4614] - Changelog for cardano-node-9.2 +* [pull-4608] - Remove dependency bounds on `QuickCheck` + +[pull-4578]: https://github.com/IntersectMBO/cardano-ledger/pull/4578 +[pull-4569]: https://github.com/IntersectMBO/cardano-ledger/pull/4569 +[pull-4565]: https://github.com/IntersectMBO/cardano-ledger/pull/4565 +[pull-4218]: https://github.com/IntersectMBO/cardano-ledger/pull/4218 +[pull-4541]: https://github.com/IntersectMBO/cardano-ledger/pull/4541 +[pull-4585]: https://github.com/IntersectMBO/cardano-ledger/pull/4585 +[pull-4543]: https://github.com/IntersectMBO/cardano-ledger/pull/4543 +[pull-4587]: https://github.com/IntersectMBO/cardano-ledger/pull/4587 +[pull-4574]: https://github.com/IntersectMBO/cardano-ledger/pull/4574 +[pull-4589]: https://github.com/IntersectMBO/cardano-ledger/pull/4589 +[pull-4591]: https://github.com/IntersectMBO/cardano-ledger/pull/4591 +[pull-4590]: https://github.com/IntersectMBO/cardano-ledger/pull/4590 +[pull-4593]: https://github.com/IntersectMBO/cardano-ledger/pull/4593 +[pull-4596]: https://github.com/IntersectMBO/cardano-ledger/pull/4596 +[pull-4586]: https://github.com/IntersectMBO/cardano-ledger/pull/4586 +[pull-4584]: https://github.com/IntersectMBO/cardano-ledger/pull/4584 +[pull-4546]: https://github.com/IntersectMBO/cardano-ledger/pull/4546 +[pull-4607]: https://github.com/IntersectMBO/cardano-ledger/pull/4607 +[pull-4555]: https://github.com/IntersectMBO/cardano-ledger/pull/4555 +[pull-4600]: https://github.com/IntersectMBO/cardano-ledger/pull/4600 +[pull-4611]: https://github.com/IntersectMBO/cardano-ledger/pull/4611 +[pull-4614]: https://github.com/IntersectMBO/cardano-ledger/pull/4614 +[pull-4604]: https://github.com/IntersectMBO/cardano-ledger/pull/4604 +[pull-4608]: https://github.com/IntersectMBO/cardano-ledger/pull/4608 +[pull-4597]: https://github.com/IntersectMBO/cardano-ledger/pull/4597 +[pull-4616]: https://github.com/IntersectMBO/cardano-ledger/pull/4616 +[pull-4609]: https://github.com/IntersectMBO/cardano-ledger/pull/4609