diff --git a/blog/2023-03-17-ledger.md b/blog/2023-03-17-ledger.md new file mode 100644 index 0000000000..583bb8088a --- /dev/null +++ b/blog/2023-03-17-ledger.md @@ -0,0 +1,69 @@ +--- +title: Ledger Team Update +slug: 2023-03-17-ledger +authors: JaredCorduan +tags: [ledger] +hide_table_of_contents: false +--- + +## High level summary + +We made further progress on the conway ledger era. +In particular, we expanded the ledger API significantly, including lots of governance features. +We also made progress on the specification and corresponding work in the Haskell implementation. + +We also continued to integrate the latest ledger packages into cardano node and addressed +technical debt. + +## Low level summary + +### Expanded ledger API + +The ledger API was significantly expanded to include: +* a lot of protocol parameter support +* versioning support (type level ledger eras and protocol versions) +* auxiliary data support +* many new lenses +* support for witnesses +* support for conway governance + +See [pull-3328]. + +### Conway ledger rules + +We have made progress on the formal ledger specification for the Conway era. +Moreover, the corresponding Haskell updates were also completed: + +* See [pull-3339] +* See [pull-3326] +* See [pull-3330] + +### Incremental SPO/DRep stake distribution computation + +We have a working (and correct) proof of concept for how to use the incremental lambda calculus +to maintain several of the stake distributions incrementally. +For the per-SPO distribution, this is a performance improvement. +For the (conway) per-DRep distribution, this is will allow those who have delegated their votes +to a DRep to have time to react to any votes that they disapprove of. +(Sorry, no code to share just yet, more to come.) + +### Technical debt + +* Improved CBOR testing facilities [pull-3332] +* GitHub actions improvement [pull-3320] +* Move ToJSON orphans from cardano-node [pull-3323] [pull-3338] +* Minor OCert improvements [pull-3327] +* Remove duplication [pull-3341] +* Enforce unique elements in CBOR sets [pull-3331] + +[pull-3320]: https://github.com/input-output-hk/cardano-ledger/pull/3320 +[pull-3323]: https://github.com/input-output-hk/cardano-ledger/pull/3323 +[pull-3326]: https://github.com/input-output-hk/cardano-ledger/pull/3326 +[pull-3327]: https://github.com/input-output-hk/cardano-ledger/pull/3327 +[pull-3328]: https://github.com/input-output-hk/cardano-ledger/pull/3328 +[pull-3330]: https://github.com/input-output-hk/cardano-ledger/pull/3330 +[pull-3331]: https://github.com/input-output-hk/cardano-ledger/pull/3331 +[pull-3332]: https://github.com/input-output-hk/cardano-ledger/pull/3332 +[pull-3338]: https://github.com/input-output-hk/cardano-ledger/pull/3338 +[pull-3339]: https://github.com/input-output-hk/cardano-ledger/pull/3339 +[pull-3341]: https://github.com/input-output-hk/cardano-ledger/pull/3341