-
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-04-24
- Loading branch information
Showing
1 changed file
with
80 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,80 @@ | ||
| --- | ||
| title: Ledger Team Update | ||
| slug: 2024-04-24-ledger | ||
| authors: lehins | ||
| tags: [ledger] | ||
| hide_table_of_contents: false | ||
| --- | ||
|
|
||
| ## High level summary | ||
|
|
||
| Ability to specify `CostModel` for `PlutusV3` in the genesis file was implemented, which | ||
| will allow us to execute `PlutusV3` as soon as we enter `Conway` era, which is essential | ||
| for guardrails script. Important bugs that have been fixed: | ||
|
|
||
| * Invalid reporting of `InsufficientCollateral` and `ValueNotConservedUTxO` predicate | ||
| failures. In case of validation failure a confusing deserialization was reported instead | ||
| of those predicate failures. | ||
| * Calculation of votes for Constitutional Committee Members did not consider expired | ||
| members correctly. | ||
| * Useful function `redeemerPointer` was deprecated without good justification. | ||
|
|
||
| Besides bugfixes there was a lot of work done on the testing side. Constraint based data | ||
| generation is receiving continuous improvements. More unit and property tests for Conway | ||
| era functionality. | ||
|
|
||
| ## Low level summary | ||
|
|
||
| ### Conway | ||
|
|
||
| * [pull-4259] - Undeprecate redeemerPointer and expose it in cardano-ledger-api | ||
| * [pull-4252] - Add PlutusV3 CostModel to UpgradeConwayPParams | ||
| * [pull-4247] - Change the balance in `InsufficientCollateral` to `DeltaCoin` | ||
| * [pull-4267] - Expand TxAuxData interface | ||
| * [pull-4265] - Inline UTxO and UTxOW `PredFailure` for `Conway` | ||
| * [pull-4281] - Discount expired CC from CC-size calculation | ||
| * [pull-4290] - Add `NoThunks` instance for UTxO pred failures | ||
| * [pull-4288] - Fix burning tokens predicate failure | ||
|
|
||
| ### Testing | ||
|
|
||
| * [pull-4241] - Add fixup combinators to ImpTest framework | ||
| * [pull-4229] - Shrinking for `constrained-generators` | ||
| * [pull-4244] - Imptests: CommitteeMinSize affects in-flight props | ||
| * [pull-4269] - Fix generation bug for sums of positive member spec | ||
| * [pull-4266] - Add imptest to propose and enact unknown costmodels | ||
| * [pull-4261] - `constrained-generators` cleanup for hackage | ||
| * [pull-4279] - `constrained-generators`: Fix bug in toPreds for maps + add additional tests | ||
| * [pull-4272] - simplify foldMap interface to higher order syntax | ||
| * [pull-4283] - `constrained-generators`: add new test to test suite | ||
| * [pull-4286] - `constrained-generators`: refactor `reify` to reduce the number of binding sites + delay simplification more to avoid variable capture in higher order syntax | ||
|
|
||
| ### Infrastructure and releasing | ||
|
|
||
| * [pull-4260] - Bump idna from 3.3 to 3.7 in /doc | ||
| * [pull-4277] - Fixed formatting in `HowToProfileLedger.md` | ||
| * [pull-4282] - Bump plutus deps to 1.26 | ||
| * [pull-4294] - Avoid cancelling scheduled CI when a new merge happens on master | ||
|
|
||
| [pull-4241]: https://github.com/IntersectMBO/cardano-ledger/pull/4241 | ||
| [pull-4229]: https://github.com/IntersectMBO/cardano-ledger/pull/4229 | ||
| [pull-4260]: https://github.com/IntersectMBO/cardano-ledger/pull/4260 | ||
| [pull-4259]: https://github.com/IntersectMBO/cardano-ledger/pull/4259 | ||
| [pull-4247]: https://github.com/IntersectMBO/cardano-ledger/pull/4247 | ||
| [pull-4244]: https://github.com/IntersectMBO/cardano-ledger/pull/4244 | ||
| [pull-4252]: https://github.com/IntersectMBO/cardano-ledger/pull/4252 | ||
| [pull-4269]: https://github.com/IntersectMBO/cardano-ledger/pull/4269 | ||
| [pull-4267]: https://github.com/IntersectMBO/cardano-ledger/pull/4267 | ||
| [pull-4266]: https://github.com/IntersectMBO/cardano-ledger/pull/4266 | ||
| [pull-4261]: https://github.com/IntersectMBO/cardano-ledger/pull/4261 | ||
| [pull-4265]: https://github.com/IntersectMBO/cardano-ledger/pull/4265 | ||
| [pull-4279]: https://github.com/IntersectMBO/cardano-ledger/pull/4279 | ||
| [pull-4272]: https://github.com/IntersectMBO/cardano-ledger/pull/4272 | ||
| [pull-4277]: https://github.com/IntersectMBO/cardano-ledger/pull/4277 | ||
| [pull-4283]: https://github.com/IntersectMBO/cardano-ledger/pull/4283 | ||
| [pull-4286]: https://github.com/IntersectMBO/cardano-ledger/pull/4286 | ||
| [pull-4281]: https://github.com/IntersectMBO/cardano-ledger/pull/4281 | ||
| [pull-4290]: https://github.com/IntersectMBO/cardano-ledger/pull/4290 | ||
| [pull-4282]: https://github.com/IntersectMBO/cardano-ledger/pull/4282 | ||
| [pull-4294]: https://github.com/IntersectMBO/cardano-ledger/pull/4294 | ||
| [pull-4288]: https://github.com/IntersectMBO/cardano-ledger/pull/4288 |