Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
933f07e
commit 556d880
Showing
1 changed file
with
76 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,76 @@ | ||
--- | ||
title: Ledger Team Update | ||
slug: 2023-03-31-ledger | ||
authors: JaredCorduan | ||
tags: [ledger] | ||
hide_table_of_contents: false | ||
--- | ||
|
||
## High level summary | ||
|
||
We are still heavily involved in work related to preparing the next release. | ||
The other main thing we have worked on is experimentation about how we will | ||
handle the DRep stake distribution for CIP-1694 in the conway ledger era. | ||
Lastly, we merged a fix for | ||
[node-4826](https://github.com/input-output-hk/cardano-node/issues/4826) | ||
into our main branch (there will be a post-mortem shortly). | ||
|
||
## Low level summary | ||
|
||
### Support for the next release | ||
|
||
* [pull-3363] - Fix problems relating to Arbitrary instances used by consensus. | ||
* [pull-3361] - Remove the alonze genesis from the conway genesis. | ||
* [pull-3360] - Translate bad pointer addresses to valid ones in conway. | ||
* [pull-3357] - Fix a bug relating to zero valued ADA in the script context. | ||
* [pull-3356] - Added needed instances (Arbitrary and Serialization) for conway integration. | ||
* [pull-3345] - Added helper functions for the CLI. | ||
* [pull-3342] - Fix a bug with a CLI helper function (having to do with deposit tracking). | ||
|
||
### Experiments for DRep stake distribution | ||
|
||
Adding another stake distribution to the ledger state presents some new challenges. | ||
We would like to be able to use the current stake distribution at the epoch boundary | ||
for DRep voting so that people can always vote themselves in time for any proposal. | ||
To this end, we have a prototype of an incremental computation based on the incremental | ||
lambda calculus, together with tests and benchmarks (which are very promising). | ||
See [pull-3344]. | ||
|
||
Additionally, more of the ledger state is going to need to be rearranged to accomodate | ||
the new incremental computations. | ||
We have two draft PRs up for possibles solution. | ||
See [pull-3353] and [pull-3364]. | ||
|
||
### Technical debt and bug fixes | ||
|
||
* [pull-3343] - A fix [node-4826](https://github.com/input-output-hk/cardano-node/issues/4826). | ||
* [pull-3333] - Moving more code out of the shelley packages. | ||
* [pull-3347] - Bug fix for the multi-asset generators. | ||
* [pull-3341] - Removal of code duplication. | ||
|
||
### Documentation changes | ||
|
||
* [pull-3354] - Rename "optional datums" with "supplemental datums" in the alonzo spec. | ||
* [pull-3352] - Add a section to the Shelly errata about the individual deposit tracking. | ||
* [pull-3351] - Further clarify the details regarding the script integrity hash. | ||
* [pull-3350] - Some cleanup of the Babbage spec. | ||
|
||
|
||
[pull-3363]: https://github.com/input-output-hk/cardano-ledger/pull/3363 | ||
[pull-3361]: https://github.com/input-output-hk/cardano-ledger/pull/3361 | ||
[pull-3360]: https://github.com/input-output-hk/cardano-ledger/pull/3360 | ||
[pull-3357]: https://github.com/input-output-hk/cardano-ledger/pull/3357 | ||
[pull-3356]: https://github.com/input-output-hk/cardano-ledger/pull/3356 | ||
[pull-3345]: https://github.com/input-output-hk/cardano-ledger/pull/3345 | ||
[pull-3342]: https://github.com/input-output-hk/cardano-ledger/pull/3342 | ||
[pull-3344]: https://github.com/input-output-hk/cardano-ledger/pull/3344 | ||
[pull-3353]: https://github.com/input-output-hk/cardano-ledger/pull/3353 | ||
[pull-3364]: https://github.com/input-output-hk/cardano-ledger/pull/3364 | ||
[pull-3343]: https://github.com/input-output-hk/cardano-ledger/pull/3343 | ||
[pull-3333]: https://github.com/input-output-hk/cardano-ledger/pull/3333 | ||
[pull-3347]: https://github.com/input-output-hk/cardano-ledger/pull/3347 | ||
[pull-3341]: https://github.com/input-output-hk/cardano-ledger/pull/3341 | ||
[pull-3354]: https://github.com/input-output-hk/cardano-ledger/pull/3354 | ||
[pull-3352]: https://github.com/input-output-hk/cardano-ledger/pull/3352 | ||
[pull-3351]: https://github.com/input-output-hk/cardano-ledger/pull/3351 | ||
[pull-3350]: https://github.com/input-output-hk/cardano-ledger/pull/3350 |