search

IntersectMBO / formal-ledger-specifications

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

Add stake distribution calculation #456

Closed WhatisRT closed 2 weeks ago

WhatisRT commented 1 month ago

Since the stake distribution changes a little bit with Conway, we should define the stakeDistr function (or some variant thereof) here. Ideally we'd link it up with everything depending on how much time we have.