feat(lottery): spec out basic leader slot check - Githubissues

logos-co / nomos-specs

Nomos related specification and documentation

2 stars 2 forks source link

feat(lottery): spec out basic leader slot check #55

Closed davidrusu closed 8 months ago

davidrusu commented 8 months ago

In this PR:

basic mock VRF for use in the slot leader checks
introduces LedgerState, this holds a snapshot of the ledger state at some block height
introduces EpochState, this holds the various epoch values used in the current epoch
statistical test on the leader slot lottery to ensure it does actually give reasonable results.

I've also added black to the requirements and have run it on the cryptarchia/ directory. We can use this to auto-format our code.