IntersectMBO / formal-ledger-specifications

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

Add reward calculation #453

Open WhatisRT opened 1 month ago

WhatisRT commented 1 month ago

We currently just move all fees directly into the treasury. This is a leftover from when we just wanted to quickly get started with Conway. Now this is a mistake in the PDF and a conformance bug.