2023-03-17 ledger

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