-
Notifications
You must be signed in to change notification settings - Fork 16
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add Ledger team update for 2024-09-11
- Loading branch information
Showing
1 changed file
with
87 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 |