IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

36 stars 13 forks source link

Add stake distribution calculations #471

Closed WhatisRT closed 3 months ago

WhatisRT commented 3 months ago

Description

This covers the following:

SNAP
computing the by-credential distribution
computing the by-vdeleg distribution

Closes #456.

Checklist

[x] Commit sequence broadly makes sense and commits have useful messages
[x] Code is formatted according to CONTRIBUTING.md
[x] Self-reviewed the diff

williamdemeo commented 3 months ago

@WhatisRT I'm happy to review this PR, but I'm hoping you will go over it during the ledger model meeting today so I can understand its purpose and how it works.