IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger
Apache License 2.0
36 stars 13 forks source link

Add `REAP` STS #455

Open WhatisRT opened 3 months ago

WhatisRT commented 3 months ago

We have POOLREAP in Shelley, and a lot of the logic for refunding GA deposits is shared with that. So it makes sense to implement that STS, but rename it since it's not just pools anymore. I like REAP, but suggestions are welcome.

We'll do this after the first release of the Conway spec, except if we run out of work before.