New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ts tell rewards #2615
Ts tell rewards #2615
Conversation
bcfa475
to
567d29d
Compare
looks great, just needs some tests |
15b87b2
to
147ea6f
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks awesome @TimSheard ! I only had some trivial comments to add. Thanks for cleaning up the provenance! And I'm glad we kept the old total reward event too.
d02a9b3
to
48a084f
Compare
…ses. This way there are many small reward events, rather than one big reward event. This is much more suitable for DB-Sync. Removed provenance from the reward pulser. Added the Trace operations GetEvents and splitTrace, and the Property forEachEpochTrace
48a084f
to
3eb3684
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
We have added incremental telling of reward updates. On every pulse we tell the member rewards we computed in that pulse. We still compute the accumulated rewards so that we can apply them to the LedgerState. But the telling should help the DB-Synch folks.
We maintain and test an invariant that the two ways of doing things compute the same result.
We develop a new testing framework to run property tests on Traces for a single epoch extracted from bigger traces.