IntersectMBO / IntersectMBO/cardano-ledger

Test that deposits/refunds from certificates for Dijkstra

Open
#5,901 0 comments 0 reactions 0 assignees View on GitHub
:detective: testing DijkstraEra
Dominant language
Haskell
Stars
295
Forks
179
Avg merge
4d 7h
Merged PRs (30d)
29

Description

In order to ensure correct `consumed == produces` property in presence of Nested Transactions we cannot rely on the update of the state in order to properly calculate refunds that span from DRep and Account unregistration.
Thankfully we do not need to duplicate the logic of the state update for the purpose of `consumed == produced` computation and we can rely on the values included in the certificates themselves, since they will be validated by their individual rules.

We need to test that indeed correct refunds and deposits are being collected at both level, sub-transaction and top-level

Contributor guide

Open the contributing guide

Research direction

No file or test path is named. Start by locating existing tests for nested transactions and the consumed == produces property, then trace how DRep and account unregistration certificates contribute deposits and refunds at sub-transaction and top-level scope. Done means tests cover both levels and verify the property without relying on state updates.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
blockchain, testing
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.